Type Members

1.  final case class ::(head: PathPart, tail: Path) extends Path with Product with Serializable
2.  case class Context[+A](path: Path, value: A) extends Product with Serializable
3.  case class FailValidator[F[_], E, A](m: dupin.MessageBuilder[A, E], ms: dupin.MessageBuilder[A, E]*)(implicit A: Applicative[F]) extends Validator[F, E, A] with Product with Serializable
4.  case class FieldPart(value: String) extends PathPart with Product with Serializable
5.  case class IndexPart(index: String) extends PathPart with Product with Serializable
6.  sealed abstract class Path extends AbstractSeq[PathPart] with LinearSeq[PathPart]
7.  trait PathPart extends AnyRef
8.  case class SuccessValidator[F[_], E, A]()(implicit A: Applicative[F]) extends Validator[F, E, A] with Product with Serializable

   It is often being used as a partially applied constructor for Validator

9.  class Validator[F[_], E, A] extends AnyRef
10.  trait ValidatorComposeK[F[_], AF[_]] extends AnyRef
11.  trait ValidatorInstances extends AnyRef