Validator

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 apply[F[_], E, A](validate: (A) ⇒ F[E])(implicit arg0: Traverse[F], M: MonoidK[F]): Validator[F, E, A]

   

   Construct a validator by wrapping up a function A => F[E].

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

8. def eql[F[_], E, A](a: A, e: F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], arg2: Eq[A]): Validator[F, E, A]

   

   Construct a validator for A which validates that the input is equal to the reference value a according to the Eq instance for A.

   Construct a validator for A which validates that the input is equal to the reference value a according to the Eq instance for A.

   If the validation fails the error messages e are returned.

9. def eql[F[_], E, A](a: A, f: (A) ⇒ F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], E: Eq[A]): Validator[F, E, A]

   

   Construct a validator for A which validates that the input is equal to the reference value a according to the Eq instance for A.

   Construct a validator for A which validates that the input is equal to the reference value a according to the Eq instance for A.

   If the validation fails the function f is used to construct validation error messages based upon the input.

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

11. def fail[F[_], E, A](e: F[E])(implicit arg0: Traverse[F], M: MonoidK[F]): Validator[F, E, A]

    

    Construct a validator for A which always fails with the given error messages.

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

14. def gt[F[_], E, A](a: A, e: F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], arg2: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is greater than the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is greater than the reference value a according to the Order instance for A.

    If the validation fails the error messages e are returned.

15. def gt[F[_], E, A](a: A, f: (A) ⇒ F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], O: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is greater than the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is greater than the reference value a according to the Order instance for A.

    If the validation fails the function f is used to construct validation error messages based upon the input.

16. def gteq[F[_], E, A](a: A, e: F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], arg2: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is greater than or equal to the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is greater than or equal to the reference value a according to the Order instance for A.

    If the validation fails the error messages e are returned.

17. def gteq[F[_], E, A](a: A, f: (A) ⇒ F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], O: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is greater than or equal to the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is greater than or equal to the reference value a according to the Order instance for A.

    If the validation fails the function f is used to construct validation error messages based upon the input.

18. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

19. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

20. def lt[F[_], E, A](a: A, e: F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], arg2: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is less than the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is less than the reference value a according to the Order instance for A.

    If the validation fails the error messages e are returned.

21. def lt[F[_], E, A](a: A, f: (A) ⇒ F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], O: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is less than the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is less than the reference value a according to the Order instance for A.

    If the validation fails the function f is used to construct validation error messages based upon the input.

22. def lteq[F[_], E, A](a: A, e: F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], arg2: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is less than or equal to the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is less than or equal to the reference value a according to the Order instance for A.

    If the validation fails the error messages e are returned.

23. def lteq[F[_], E, A](a: A, f: (A) ⇒ F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], O: Order[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is less than or equal to the reference value a according to the Order instance for A.

    Construct a validator for A which validates that the input is less than or equal to the reference value a according to the Order instance for A.

    If the validation fails the function f is used to construct validation error messages based upon the input.

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

    

    Definition Classes

    AnyRef

25. def neq[F[_], E, A](a: A, e: F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], arg2: Eq[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is not equal to the reference value a according to the Eq instance for A.

    Construct a validator for A which validates that the input is not equal to the reference value a according to the Eq instance for A.

    If the validation fails the error messages e are returned.

26. def neq[F[_], E, A](a: A, f: (A) ⇒ F[E])(implicit arg0: Traverse[F], arg1: MonoidK[F], E: Eq[A]): Validator[F, E, A]

    

    Construct a validator for A which validates that the input is not equal to the reference value a according to the Eq instance for A.

    Construct a validator for A which validates that the input is not equal to the reference value a according to the Eq instance for A.

    If the validation fails the function f is used to construct validation error messages based upon the input.

27. final def notify(): Unit

    

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

30. def toString(): String

    

    Definition Classes

    AnyRef → Any

31. def validate[F[_], E, A](implicit arg0: Traverse[F], M: MonoidK[F]): Validator[F, E, A]

    

    Construct a validator for A which always passes.

    Construct a validator for A which always passes. Usually used as the basis for a more complex validator.

32. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )