fields-core/jap.fields

jap.fields

package jap.fields

Type members

Classlikes

abstract class AccumulateVM[F[_], E] extends ValidationModule[F, Accumulate, E]
case object BuildInfo

This object was generated by sbt-buildinfo.

This object was generated by sbt-buildinfo.

trait DefaultAccumulateVM extends AccumulateVM[Sync, ValidationError] with CanFailWithValidationError

Default ValidationModule where:

Default ValidationModule where:

Companion:
object
object DefaultAccumulateVM extends DefaultAccumulateVM
Companion:
class
trait DefaultFailFastVM extends FailFastVM[Sync, ValidationError] with CanFailWithValidationError

Default ValidationModule where:

Default ValidationModule where:

Companion:
object
object DefaultFailFastVM extends DefaultFailFastVM
Companion:
class
abstract class FailFastVM[F[_], E] extends ValidationModule[F, FailFast, E]
final case class Field[+P](path: FieldPath, value: P)

jap.fields.Field is heart of the library and contains jap.fields.FieldPath and its value

jap.fields.Field is heart of the library and contains jap.fields.FieldPath and its value

Companion:
object
object Field
Companion:
class
object FieldConversions
object FieldMacro
object FieldMacroMessage
final case class FieldPath(parts: List[String]) extends AnyVal

jap.fields.FieldPath contains path parts of the Field.

jap.fields.FieldPath contains path parts of the Field.

Companion:
object
object FieldPath
Companion:
class
object FieldPathConversions
object FoldUtil
object Rule
class SelectorMacro[Q <: Quotes](using val q: Q)
@implicitNotFound("ValidationModule[${F}, ${V}, ${E}] not found")
abstract class ValidationModule[F[_], V[_], E](implicit val F: Effect[F], val V: Validated[V]) extends ModuleGenericSyntax[F, V, E] with ModuleBooleanSyntax[F, V, E] with ModuleOrderingSyntax[F, V, E] with ModuleOptionSyntax[F, V, E] with ModuleStringSyntax[F, V, E] with ModuleMapSyntax[F, V, E] with ModuleIterableSyntax[F, V, E] with RuleSyntax with PolicySyntax with FieldSyntax with ValidatedSyntax

God object that provides all validation syntax for choosen Effect - F[_], Validated - V[_] and Error - E Requires user to provide implicit instances of Effect and Validated typeclasses for choosen F[_] and V[_].

God object that provides all validation syntax for choosen Effect - F[_], Validated - V[_] and Error - E Requires user to provide implicit instances of Effect and Validated typeclasses for choosen F[_] and V[_].

trait ValidationPolicy[P, F[_], V[_], E]

Typeclass that defines how to validate given field

Typeclass that defines how to validate given field

Companion:
object
object ValidationPolicy
Companion:
class
case class ValidationPolicyBuilder[P, F[_], V[_], E](rules: List[Field[P] => Rule[F, V, E]])(implicit evidence$1: Effect[F], evidence$2: Validated[V])

Builder class for jap.fields.ValidationPolicy. jap.fields.ValidationModule implicit should be in scope

Builder class for jap.fields.ValidationPolicy. jap.fields.ValidationModule implicit should be in scope

Types

type Rule[+F[_], +V[_], +E] <: Type[F, V, E]

Rule is tagged type alias for F[V[E]] If used this way we do not add any allocations while having separate syntax for Rule. Also we get ability to convert back and forth.

Rule is tagged type alias for F[V[E]] If used this way we do not add any allocations while having separate syntax for Rule. Also we get ability to convert back and forth.