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

ValidatorInstances

dupin.core.ValidatorInstances
trait ValidatorInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Validator.type

Members list

Concise view

Implicits

Implicits

final implicit def validatorContravariantMonoidal[F[_] : Applicative, E]: ContravariantMonoidal[[_] =>> Validator[F, E, _$2]]
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]]
final implicit def validatorMonoidK[F[_] : Applicative, E]: MonoidK[[_] =>> Validator[F, E, _$5]]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL