Validator

dupin.core.Validator$
See theValidator companion class

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case class PartiallyAppliedCombineP[F[_], E, A, AA](iv: Validator[F, E, A], p: Path, f: A => AA)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class PartiallyAppliedCombinePC[F[_], E, A, AA](iv: Validator[F, E, A], p: Path, f: A => AA)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class PartiallyAppliedCombinePR[F[_], E, A, AA](iv: Validator[F, E, A], p: Path, f: A => AA)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class PartiallyAppliedCombinePRF[F[_], E, A, AA](iv: Validator[F, E, A], p: Path, f: A => AA)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

Implicits

Inherited implicits

final implicit def validatorContravariantMonoidal[F[_] : Applicative, E]: ContravariantMonoidal[[_] =>> Validator[F, E, _$2]]

Attributes

Inherited from:
ValidatorInstances
final implicit def validatorLiftedToTraverseP[F[_], E, A, G[_]](implicit v: Validator[F, E, A], F: Applicative[F], G: Traverse[G]): Validator[F, E, G[A]]

Attributes

Inherited from:
ValidatorInstances
final implicit def validatorMonoidK[F[_] : Applicative, E]: MonoidK[[_] =>> Validator[F, E, _$5]]

Attributes

Inherited from:
ValidatorInstances