Type Members

1.  final case class PValidator[F[_], E, A, B](validate: (A) ⇒ F[E], f: (A) ⇒ B)(implicit FF: Traverse[F], M: MonoidK[F]) extends Product with Serializable

   PValidator wraps up a validation function validate: A => F[E] which validates the input A and returns a structure of error messages F[E].

   PValidator wraps up a validation function validate: A => F[E] which validates the input A and returns a structure of error messages F[E].

   The P in PValidator denotes the fact that this validation is polymorphic, in the sense that its input does not have to be of the same type as its output.

   This may be useful when a successful validation provides some knowledge about the value that is being validated that can be used to refine its type.

   For example, a required validator makes use of the fact that it has ensured that an Option[A] is not empty to safely unwrap the option's inner value.

2.  type Validator[F[_], E, A] = PValidator[F, E, A, A]

   A Validator[F[_], E, A] wraps a validation function A => F[E] and provides functions to accumulate the results of this validation into different structures and to combine validations together so that validations for properties of an object can be combined together to form a validator for the entire object.