FieldOps
fields.lens.syntax.FieldOps
Attributes
- Source
- GenericSyntax.scala
- Graph
-
- Supertypes
-
class AnyValtrait Matchableclass Any
Members list
Value members
Concrete methods
def !==[C](compared: C)(implicit R: RuleOps[F, V, E], O: Ordering[S], FW: FailWithCompare[E, S], C: CompareShow[S, C], G: GetValue[P, S, C]): (P, F, V) => E
Alias for notEqualTo
def ===[C](compared: C)(implicit R: RuleOps[F, V, E], O: Ordering[S], FW: FailWithCompare[E, S], C: CompareShow[S, C], G: GetValue[P, S, C]): (P, F, V) => E
Alias for equalTo
Combines all validations using AND
Combines all validations using OR
Like RuleK.ensure but for explicit error
Like RuleK.ensureF but for explicit error
def assertParent(test: Assertion2[P, S], error: S => E)(implicit R: RuleOps[F, V, E]): (P, F, V) => E
Attributes
- Source
- GenericSyntax.scala
Returns Suspended Outcome of applying f to field
Returns Defered Outcome of applying f to field
See RuleK.ensure
See RuleK.ensureF
def equalTo[C](compared: C)(implicit R: RuleOps[F, V, E], O: Ordering[S], FW: FailWithCompare[E, S], C: CompareShow[S, C], G: GetValue[P, S, C]): (P, F, V) => E
Validates that fields.Field#value is equal to compared
Validates that fields.Field#value is contained by seq
def notEqualTo[C](compared: C)(implicit R: RuleOps[F, V, E], O: Ordering[S], FW: FailWithCompare[E, S], C: CompareShow[S, C], G: GetValue[P, S, C]): (P, F, V) => E
Validates that fields.Field#value is not equal to compared
Runs validation only if false
def validate(implicit policy: (S, F, V) => E, R: RuleOps[F, V, E], PP: PrependPath[E]): (P, F, V) => E
Validates fields.Field using implicit PolicyK
def validateEither(p: P)(implicit R: RuleOps[F, V, E], P: (P, F, V) => E, E: HasErrors[V]): F[Either[List[E], P]]
Validates fields.Field using implicit PolicyK
Runs validation only if true
See RuleK.when
See RuleK.whenF
Runs rule for subtype PP else is valid
In this article