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. trait IndexableInstances extends LowPriorityIndexableInstances

   

9. trait IndexableSyntax extends AnyRef

   

10. trait LowPriorityIndexableInstances extends AnyRef

    

11. trait LowPrioritySizeableInstances extends AnyRef

    

12. sealed abstract class Message extends AnyRef

    

13. trait MessageConstructors extends AnyRef

    

14. trait MessageSyntax extends AnyRef

    

15. type Messages = NonEmptyList[Message]

    

16. final case class PField(head: String, tail: Path = PNil) extends Path with Product with Serializable

    

17. final case class PIndex(head: Int, tail: Path = PNil) extends Path with Product with Serializable

    

18. sealed abstract class Path extends AnyRef

    

19. final case class PathPrefix[A](func: (A, Path) ⇒ Path) extends Product with Serializable

    

20. trait PropertyRules extends AnyRef

    

    Rules that test a property of an existing value.

21. 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

22. type Rule1[A] = Rule[A, A]

    

23. trait Rule1Syntax extends AnyRef

    

24. trait RuleInstances extends AnyRef

    

    Type class instances for Rule

25. class RuleMacros extends AnyRef

    

26. trait Sizeable[A] extends AnyRef

    

27. trait SizeableInstances extends LowPrioritySizeableInstances

    

28. trait SizeableSyntax extends AnyRef

    

29. abstract class ToMessage[A] extends AnyRef

    

30. final case class WarningMessage(text: String, path: Path = PNil) extends Message with Product with Serializable