jap.fields.typeclass

Type members

Classlikes

trait AccumulateLike[V[_]] extends Validated[V]

Base trait for jap.fields.typeclass.Validated that accumulate errors

Base trait for jap.fields.typeclass.Validated that accumulate errors

This strategy will accumulate all errors that occur

This strategy will accumulate all errors that occur

trait Effect[F[_]]

jap.fields.typeclass.Effect is a typeclass that provides ValidationModule with Monad/Defer capabilities.

jap.fields.typeclass.Effect is a typeclass that provides ValidationModule with Monad/Defer capabilities.

Companion:
object
object Effect
Companion:
class
trait FailFastLike[V[_]] extends Validated[V]

Base trait for jap.fields.typeclass.Validated that fail-fast

Base trait for jap.fields.typeclass.Validated that fail-fast

When first error occur validation will short-circuit and will not execute other validations

When first error occur validation will short-circuit and will not execute other validations

@implicitNotFound("Cannot compare ${P} with ${C}")
trait FieldCompare[P, C]

Typeclass that is used to allow using compare syntax with both Field[P] and P itself. Not needed in case Scala 2 support will be dropped in future.

Typeclass that is used to allow using compare syntax with both Field[P] and P itself. Not needed in case Scala 2 support will be dropped in future.

Companion:
object
trait HasErrors[V[_]]

Type class that helps extracting errors as list

Type class that helps extracting errors as list

Companion:
object
object HasErrors
Companion:
class
trait Validated[V[_]]

Typeclass that represents Validated

Typeclass that represents Validated

Companion:
object
object Validated
Companion:
class
sealed trait ValidatedStrategy

Will change behaviour of combining Validated's depending on strategy

Will change behaviour of combining Validated's depending on strategy