fields-cats/jap.fields/CatsInterop/DefaultValidatedNecVM

DefaultValidatedNecVM

trait DefaultValidatedNecVM extends ValidatedNecVM[Eval, ValidationError] with CanFailWithValidationError with EvalCanRunSync

Default ValidationModule where:

  • Effect is cats.Eval
  • Validated is Validated[NonEmptyChain[E], Unit]
  • Error is ValidationError
Companion:
object
class Object
trait Matchable
class Any

Type members

Inherited classlikes

object MRule

Convenient accessors makes type inference better

Convenient accessors makes type inference better

Inherited from:
ValidationModule
object Policy
Inherited from:
ValidationModule

Inherited types

type MPolicy[P] = Policy[P]

jap.fields.ValidationPolicy alias. Infers F, V, E

jap.fields.ValidationPolicy alias. Infers F, V, E

Inherited from:
ValidationModule
final type MRule = Rule[F, V, E]

jap.fields.Rule alias. F, V, E infered from jap.fields.ValidationModule Very useful for type inference when building custom validations

jap.fields.Rule alias. F, V, E infered from jap.fields.ValidationModule Very useful for type inference when building custom validations

Inherited from:
ValidationModule
type Policy[P] = ValidationPolicy[P, F, V, E]

jap.fields.ValidationPolicy alias. Infers F, V, E

jap.fields.ValidationPolicy alias. Infers F, V, E

Inherited from:
ValidationModule
type PolicyBuilder[P] = ValidationPolicyBuilder[P, F, V, E]

jap.fields.ValidationPolicyBuilder alias. Infers F, V, E

jap.fields.ValidationPolicyBuilder alias. Infers F, V, E

Inherited from:
ValidationModule

Value members

Inherited methods

def someOrValid(rule: => Option[Rule[Eval, ValidatedAccumulateNec, ValidationError]])(implicit F: Effect[Eval], V: Validated[ValidatedAccumulateNec]): Rule[Eval, ValidatedAccumulateNec, ValidationError]

Unpacks rule from Option if None returns valid

Unpacks rule from Option if None returns valid

Inherited from:
ModuleOptionSyntax

Inherited fields

val MPolicy: Policy.type
Inherited from:
ValidationModule

Extensions

Inherited extensions

extension [P, F[_], V[_], E](builder: ValidationPolicyBuilder[P, F, V, E])
inline def subRule[S1, S2, S3](inline selector1: P => S1, inline selector2: P => S2, inline selector3: P => S3)(rules: (Field[S1], Field[S2], Field[S3]) => Rule[F, V, E]*): ValidationPolicyBuilder[P, F, V, E]

Adds new subrule to builder. Same as subRule but for 3 subrules

Adds new subrule to builder. Same as subRule but for 3 subrules

Inherited from:
PolicySyntax
inline def subRule[S1, S2](inline selector1: P => S1, inline selector2: P => S2)(rules: (Field[S1], Field[S2]) => Rule[F, V, E]*): ValidationPolicyBuilder[P, F, V, E]

Adds new subrule to builder. Same as subRule but for 2 subrules

Adds new subrule to builder. Same as subRule but for 2 subrules

Inherited from:
PolicySyntax
inline def subRule[S](inline selector: P => S)(rules: Field[S] => Rule[F, V, E]*): ValidationPolicyBuilder[P, F, V, E]

Adds new subrule to builder. Uses selector to create jap.fields.Field, rules are applied to that field

Adds new subrule to builder. Uses selector to create jap.fields.Field, rules are applied to that field

Inherited from:
PolicySyntax
extension [P](field: Field[P])
inline def sub[S](inline selector: P => S): Field[S]

Returns subfield using selector function to extract value and as path

Returns subfield using selector function to extract value and as path

Example

scala> val request = Request(User("ann"))
scala> val field = Field.from(request)
val field: jap.fields.Field[Request] = request:Request(User(ann))
scala> field.sub(_.user.name)
val res1: jap.fields.Field[String] = request.user.name:ann
Inherited from:
FieldSyntax
extension (field: Field.type)
inline def from[V](inline value: V): Field[V]

Returns jap.fields.Field that has provided value and infers its jap.fields.FieldPath from field selects

Returns jap.fields.Field that has provided value and infers its jap.fields.FieldPath from field selects

Example:

scala> val request = Request(User("ann"))
val request: Request = Request(User(ann))
scala> val field = Field.from(request.user.name)
val field: jap.fields.Field[String] = request.user.name:ann
Inherited from:
FieldSyntax
inline def sub[V](inline value: V): Field[V]

Similar to Field.from but drops first selector path

Similar to Field.from but drops first selector path

Example:

scala> val request = Request(User("ann"))
val request: Request = Request(User(ann))
scala> val field = Field.sub(request.user.name)
val field: jap.fields.Field[String] = user.name:ann
Inherited from:
FieldSyntax

Implicits

Inherited implicits

implicit val F: Effect[Eval]
Inherited from:
ValidationModule
implicit val V: Validated[ValidatedAccumulateNec]
Inherited from:
ValidationModule
implicit def toEvalRunSync: RunSync[Eval]
Inherited from:
EvalCanRunSync
final implicit def toFieldOps[P](field: Field[P]): FieldOps[P, Eval, ValidatedAccumulateNec, ValidationError]
Inherited from:
ModuleGenericSyntax
final implicit def toMapFieldOps[K, P](field: Field[Map[K, P]]): MapFieldOps[K, P, Eval, ValidatedAccumulateNec, ValidationError]
Inherited from:
ModuleMapSyntax
final implicit def toRuleSequenceOps[F[_], V[_], E](rules: Iterable[Rule[F, V, E]]): RuleSequenceOps[F, V, E]
Inherited from:
RuleSyntax
final implicit def toRuleValidationOps[F[_], V[_], E](rule: Rule[F, V, E]): RuleValidationOps[F, V, E]
Inherited from:
RuleSyntax
final implicit def toValidatedIdOps[E](error: E): ValidatedIdOps[E]
Inherited from:
ValidatedSyntax
final implicit def toValidatedOps[V[_], E](vr: V[E]): ValidatedOps[V, E]
Inherited from:
ValidatedSyntax
final implicit def toValidatedSeqOps[V[_], E](iterable: Iterable[V[E]]): ValidatedSeqOps[V, E]
Inherited from:
ValidatedSyntax