Type Members

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

   Rules that convert one type to another.

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

    Rules that test a property of an existing value.

17.  sealed abstract class Rule [A, B] extends AnyRef
18.  type Rule1[A] = Rule[A, A]
19.  trait Rule1Syntax extends AnyRef
20.  trait RuleInstances extends AnyRef

    Type class instances for Rule

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