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 LowPrioritySizeableInstances extends AnyRef
8.  sealed abstract class Message extends AnyRef
9.  trait MessageConstructors extends AnyRef
10.  trait MessageInstances extends AnyRef
11.  trait MessageSyntax extends AnyRef
12.  type Messages = NonEmptyList[Message]
13.  final case class PField (head: String, tail: Path = PNil) extends Path with Product with Serializable
14.  final case class PIndex (head: Int, tail: Path = PNil) extends Path with Product with Serializable
15.  sealed abstract class Path extends AnyRef
16.  trait PathInstances extends AnyRef
17.  final case class PathPrefix [A](func: (A, Path) ⇒ Path) extends Product with Serializable
18.  trait PropertyRules extends AnyRef

    Rules that test a property of an existing value.

19.  sealed abstract class Rule [A, B] extends AnyRef

    A Rule validates/sanitizes a value of type A producing a type B inside an Ior[NonEmptyList[Messages], B]

    A Rule validates/sanitizes a value of type A producing a type B inside an Ior[NonEmptyList[Messages], B]

    A

    The type to be validated

    B

    The type to be produced

20.  type Rule1[A] = Rule[A, A]
21.  trait Rule1Syntax extends AnyRef
22.  trait RuleInstances extends AnyRef

    Type class instances for Rule

23.  class RuleMacros extends AnyRef
24.  trait Sizeable [A] extends AnyRef
25.  trait SizeableInstances extends LowPrioritySizeableInstances
26.  trait SizeableSyntax extends AnyRef
27.  abstract class ToMessage [A] extends AnyRef
28.  final case class WarningMessage (text: String, path: Path = PNil) extends Message with Product with Serializable