Packages

o

robots

Validator

object Validator

The companion object for Validator provides a number of functions for constructing simple validators.

Validators for comparisons and equality checking can be constructed for types with Order and Eq instances, respectively.

There are also functions provided for constructing validators which always pass and which always fail.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Validator
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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
    @native() @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
    Annotations
    @native()
  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
    Annotations
    @native()
  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
    Annotations
    @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  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
    @native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped