Fields/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.

Source:
BuildInfo.scala
object CatsInterop extends CatsInteropInstances
trait CatsInteropInstances extends CatsInteropInstances0
trait CatsInteropInstances0
object CirceInterop extends FieldsCirceInstances0
trait DefaultAccumulateVM extends AccumulateVM[Sync, ValidationError] with CanFailWithValidationError

Default ValidationModule where:

Default ValidationModule where:

Companion:
object
Source:
ValidationModule.scala
object DefaultAccumulateVM extends DefaultAccumulateVM
trait DefaultFailFastVM extends FailFastVM[Sync, ValidationError] with CanFailWithValidationError

Default ValidationModule where:

Default ValidationModule where:

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

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

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

Companion:
object
Source:
Field.scala
object Field
Companion:
class
Source:
Field.scala
object FieldConversions
object FieldMacro
object FieldMacroMessage
sealed abstract class FieldPart
Companion:
object
Source:
FieldPath.scala
object FieldPart
Companion:
class
Source:
FieldPath.scala
object FieldPartConversions
final case class FieldPath(parts: List[FieldPart]) extends AnyVal

FieldPath contains path parts of the Field.

FieldPath contains path parts of the Field.

Companion:
object
Source:
FieldPath.scala
object FieldPath
Companion:
class
Source:
FieldPath.scala
object FieldPathConversions
trait FieldsCirceInstances0 extends FieldsCirceInstances1
trait FieldsCirceInstances1
final class FieldsCodecOps[T](codec: Codec[T]) extends AnyVal
final class FieldsDecoderOps[T](decoder: Decoder[T]) extends AnyVal
object FoldUtil
object Rule
Source:
Rule.scala
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 ModuleAllSyntax[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[_].

Source:
ValidationModule.scala
trait ValidationPolicy[P, F[_], V[_], E] extends Field[P] => Rule[F, V, E]

Typeclass that defines how to validate given field

Typeclass that defines how to validate given field

Companion:
object
Source:
ValidationPolicy.scala
object ValidationPolicy
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

Source:
ValidationPolicy.scala
trait ZIOEffectInstances
object ZIOInterop extends ZIOEffectInstances
final class ZIOPolicyOps[P, V[_], E](field: Field[P]) extends AnyVal

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.

Source:
package.scala