abstract class FailFastVM[F[_], E] extends ValidationModule[F, FailFast, E]
Base trait for ValidationModule where ValidationResult is FailFast
- Alphabetic
- By Inheritance
- FailFastVM
- ValidationModule
- ValidationResultSyntax
- FieldSyntax
- PolicySyntax
- MapSyntax
- IterableSyntax
- StringSyntax
- OptionSyntax
- NumericSyntax
- EffectValidationResultSyntax
- BooleanSyntax
- FailSyntax
- GenericSyntax
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new FailFastVM()(implicit arg0: ValidationEffect[F])
Type Members
-
type
Policy[P] = ValidationPolicy[P, F, FailFast, E]
- Definition Classes
- ValidationModule
-
type
PolicyBuilder[P] = ValidationPolicyBuilder[P, F, FailFast, E]
Shorthands for Policy
Shorthands for Policy
- Definition Classes
- ValidationModule
-
implicit final
class
PolicyOps[P, F[_], VR[_], E] extends AnyRef
- Definition Classes
- PolicySyntax
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
implicit
val
F: ValidationEffect[F]
- Definition Classes
- ValidationModule
-
implicit
def
Module: ValidationModule[F, FailFast, E]
Syntax classes requires implicit ValidationModule in scope
Syntax classes requires implicit ValidationModule in scope
- Definition Classes
- ValidationModule
-
implicit
val
VR: ValidationResult[FailFast]
- Definition Classes
- ValidationModule
-
def
and(list: List[F[FailFast[E]]]): F[FailFast[E]]
Combine all validations using AND
Combine all validations using AND
- Definition Classes
- ValidationModule
-
def
and(a: F[FailFast[E]], b: F[FailFast[E]]): F[FailFast[E]]
Combines
aandbusing AND.Combines
aandbusing AND. Short-circuits if ValidationResult Strategy supports it.- Definition Classes
- ValidationModule
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
assert[P](field: Field[P], cond: (P) ⇒ Boolean, error: (Field[P]) ⇒ E): F[FailFast[E]]
For given field checks that
condis true or fail with providederrorFor given field checks that
condis true or fail with providederror- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
assertF[P](field: Field[P], cond: (P) ⇒ F[Boolean], error: (Field[P]) ⇒ E): F[FailFast[E]]
For given field checks that
condeffect result is true or fail with providederrorFor given field checks that
condeffect result is true or fail with providederror- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
assertTrue[P](field: Field[P], cond: ⇒ Boolean, error: (Field[P]) ⇒ E): F[FailFast[E]]
For given field checks that
condis true or fail with providederrorFor given field checks that
condis true or fail with providederror- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
check[P](field: Field[P], f: (Field[P]) ⇒ FailFast[E]): F[FailFast[E]]
For given field checks provided
fvalidationFor given field checks provided
fvalidation- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
checkF[P](field: Field[P], f: (Field[P]) ⇒ F[FailFast[E]]): F[FailFast[E]]
For given field checks provided effectful
fvalidationFor given field checks provided effectful
fvalidation- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
combineAll(list: List[F[FailFast[E]]]): F[FailFast[E]]
Alias for and
Alias for and
- Definition Classes
- ValidationModule
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fold(list: List[F[FailFast[E]]], combine: (F[FailFast[E]], F[FailFast[E]]) ⇒ F[FailFast[E]]): F[FailFast[E]]
Combines all validations using provided combine function.
Combines all validations using provided combine function. This has minor optimistions that checks size to handle simple cases.
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
or(list: List[F[FailFast[E]]]): F[FailFast[E]]
Combine all validations using OR
Combine all validations using OR
- Definition Classes
- ValidationModule
-
def
or(a: F[FailFast[E]], b: F[FailFast[E]]): F[FailFast[E]]
Combines
aandbusing OR.Combines
aandbusing OR. Short-circuits ifais valid- Definition Classes
- ValidationModule
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
implicit final
def
toBooleanFieldOps(field: Field[Boolean]): BooleanFieldOps[F, FailFast, E]
- Definition Classes
- BooleanSyntax
-
implicit final
def
toEffectValidationResultOps(a: F[FailFast[E]]): EffectValidationResultOps[F, FailFast, E]
- Definition Classes
- EffectValidationResultSyntax
-
implicit final
def
toEffectValidationResultSequenceOps(iterable: Iterable[F[FailFast[E]]]): EffectValidationResultSequenceOps[F, FailFast, E]
- Definition Classes
- EffectValidationResultSyntax
-
implicit final
def
toFailFieldOps[P](field: Field[P]): FailFieldOps[P, F, FailFast, E]
- Definition Classes
- FailSyntax
-
implicit
def
toFieldFromOps(field: Field.type): FieldFromOps
- Definition Classes
- FieldSyntax
-
implicit final
def
toFieldOps[P](field: Field[P]): FieldOps[P, F, FailFast, E]
- Definition Classes
- GenericSyntax
-
implicit
def
toFieldSubOps[P](field: Field[P]): FieldSubOps[P]
- Definition Classes
- FieldSyntax
-
implicit final
def
toIterableFieldOps[I[_] <: Iterable[_], P](field: Field[I[P]]): IterableFieldOps[I, P, F, FailFast, E]
- Definition Classes
- IterableSyntax
-
implicit final
def
toMapFieldOps[K, V](field: Field[Map[K, V]]): MapFieldOps[K, V, F, FailFast, E]
- Definition Classes
- MapSyntax
-
implicit final
def
toNumericFieldOps[P](field: Field[P]): NumericFieldOps[P, F, FailFast, E]
- Definition Classes
- NumericSyntax
-
implicit final
def
toOptionFieldOps[P](field: Field[Option[P]]): OptionFieldOps[P, F, FailFast, E]
- Definition Classes
- OptionSyntax
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
implicit final
def
toStringFieldOps(field: Field[String]): StringFieldOps[F, FailFast, E]
- Definition Classes
- StringSyntax
-
implicit final
def
toValidationResultIdOps[E](error: E): ValidationResultIdOps[E]
- Definition Classes
- ValidationResultSyntax
-
implicit final
def
toValidationResultOps[VR[_], E](vr: VR[E])(implicit arg0: ValidationResult[VR]): ValidationResultOps[VR, E]
- Definition Classes
- ValidationResultSyntax
-
val
valid: FailFast[E]
Valid VR[E] instance
Valid VR[E] instance
- Definition Classes
- ValidationModule
-
val
validF: F[FailFast[E]]
Valid F[VR[E]] instance
Valid F[VR[E]] instance
- Definition Classes
- ValidationModule
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
object
Policy
- Definition Classes
- ValidationModule