RuleHList

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def append[C](c: ⇒ C): Rule[A, ::[C, B]]

   

   Adds a new property to the rule builder with an arbitrary value.

   Adds a new property to the rule builder with an arbitrary value.

   C

   The type of the property to be added

   c

   The value of the property to be added

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def build[C](implicit generic: Aux[C, Rev]): Rule[A, C]

   

   Finalizes the rule builder, and produces a more useful class as output, rather than an HList.

   Finalizes the rule builder, and produces a more useful class as output, rather than an HList.

   C

   The desired rule output type

7. def check[C, D, E](path: E, f: (A) ⇒ C)(newRule: Rule[C, D])(implicit arg0: PathPrefix[E]): Rule[A, ::[D, B]]

   

   Adds a new property to the rule builder to be sanitzed and validated

   Adds a new property to the rule builder to be sanitzed and validated

   C

   The raw, unvalidated type which is pulled out of an A

   D

   The validated type, produced by running sanitization/validation provided by a Rule[C, D]

   E

   The type of the provided PathPrefix, usually a String.

   path

   The path to the property specified, for more helpful errors. Usually a String.

   f

   The function which picks a property of A to test

   newRule

   The rule with which to verify the property

8. def check[C, D](f: (A) ⇒ C)(newRule: Rule[C, D]): Rule[A, ::[D, B]]

   

   Adds a new property to the rule builder to be sanitzed and validated.

   Adds a new property to the rule builder to be sanitzed and validated. You usually want to use the overload which lets you specify a path, but if you do not want to specify a path, use this one.

   C

   The raw, unvalidated type which is pulled out of an A

   D

   The validated type, produced by running sanitization/validation provided by a Rule[C, D]

   f

   The function which picks a property of A to test

   newRule

   The rule with which to verify the property

9. def checkAndDrop[C](f: (A) ⇒ C)(rule: Rule[C, _]): Rule[A, B]

   

   Checks a property and discards the result.

   Checks a property and discards the result.

   C

   The raw, unvalidated type which is pulled out of an A

   f

   The function which picks a property of A to test

10. def checkAndDrop[P, C](path: P, f: (A) ⇒ C)(rule: Rule[C, _])(implicit arg0: PathPrefix[P]): Rule[A, B]

    

    Checks a property and discards the result.

    Checks a property and discards the result.

    P

    The type of the provided PathPrefix, usually a String.

    C

    The raw, unvalidated type which is pulled out of an A

    path

    The path to the property specified, for more helpful errors. Usually a String.

    f

    The function which picks a property of A to test

11. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

12. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

15. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

19. final def notify(): Unit

    

    Definition Classes

    AnyRef

20. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

21. def pass[C](f: (A) ⇒ C): Rule[A, ::[C, B]]

    

    Adds a new property to the rule builder, using the provided input type.

    Adds a new property to the rule builder, using the provided input type. Performs no sanitization/validation.

    C

    The type to be pulled from A

    f

    The function for getting a property from A

22. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

23. def toString(): String

    

    Definition Classes

    AnyRef → Any

24. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

25. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

26. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )