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