dupin-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
dupin-core/dupin.core/ValidatorBinCompat

ValidatorBinCompat

dupin.core.ValidatorBinCompat
trait ValidatorBinCompat[F[_], E, A]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Validator[F, E, A]
Self type
Validator[F, E, A]

Members list

Concise view

Value members

Concrete methods

inline def comapP[AA](inline f: AA => A): Validator[F, E, AA]

Contravariant map with macros generated path prefix.

Contravariant map with macros generated path prefix.

Attributes

See also:

[comap]

inline def combineP[AA](inline f: A => AA): PartiallyAppliedCombineP[F, E, A, AA]

Combines with field validator using macros generated path.

Combines with field validator using macros generated path.

Attributes

inline def combinePC[AA](inline f: A => AA): PartiallyAppliedCombinePC[F, E, A, AA]

Combines with field validator from context using macros generated path.

Combines with field validator from context using macros generated path.

Attributes

inline def combinePI[AA](inline f: A => AA)(implicit V: Validator[F, E, AA], A: Applicative[F]): Validator[F, E, A]

Combines with implicit field validator using macros generated path

Combines with implicit field validator using macros generated path

Attributes

inline def combinePR[AA](inline f: A => AA): PartiallyAppliedCombinePR[F, E, A, AA]

Combines with field validator passed by separate arguments using macros generated path.

Combines with field validator passed by separate arguments using macros generated path.

Attributes

inline def combinePRF[AA](inline f: A => AA): PartiallyAppliedCombinePRF[F, E, A, AA]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL