Type Members

1.  trait BaseRules extends AnyRef
2.  type Checked[A] = Ior[Messages, A]
3.  trait ConverterRules extends AnyRef

   Rules that convert one type to another.

4.  final case class ErrorMessage (text: String, path: Path = PNil) extends Message with Product with Serializable
5.  trait Indexable [S[_]] extends AnyRef
6.  sealed abstract class Message extends AnyRef
7.  trait MessageConstructors extends AnyRef
8.  type Messages = NonEmptyList[Message]
9.  final case class PField (head: String, tail: Path = PNil) extends Path with Product with Serializable
10.  final case class PIndex (head: Int, tail: Path = PNil) extends Path with Product with Serializable
11.  sealed abstract class Path extends AnyRef
12.  final case class PathPrefix [A](func: (A, Path) ⇒ Path) extends Product with Serializable
13.  trait PropertyRules extends AnyRef

    Rules that test a property of an existing value.

14.  sealed abstract class Rule [A, B] extends AnyRef
15.  type Rule1[A] = Rule[A, A]
16.  trait Rule1Syntax extends AnyRef
17.  trait RuleInstances extends AnyRef

    Type class instances for Rule

18.  class RuleMacros extends AnyRef
19.  abstract class ToMessage [A] extends AnyRef
20.  final case class WarningMessage (text: String, path: Path = PNil) extends Message with Product with Serializable