checklist

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