Validator

object Validator
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Simple[C, A] = Validator[C, A, A]

Implicits

Implicits

implicit def isomorphismConstraint[C, A, A0](implicit constraintOnA: Simple[C, A], iso: Isomorphism[A, A0]): Simple[C, A0]
implicit def iterableLengthConstraint[C[_], A](implicit ev: C[A] <:< Iterable[A]): Simple[Length, C[A]]
implicit def mapLengthConstraint[K, V]: Simple[Length, Map[K, V]]