trait Validated[V[_]] extends AnyRef

Typeclass that represents Validated

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

Type Members

  1. type TypeClass[E] = V[E]

Abstract Value Members

  1. abstract def and[E](va: V[E], vb: V[E]): V[E]

    Combines a and b using AND

  2. abstract def errors[E](v: V[E]): List[E]

    Returns v errors as scala.collection.immutable.List

  3. abstract def invalid[E](e: E): V[E]

    Returns invalid V[E] with given error

  4. abstract def isValid[E](v: V[E]): Boolean

    Checks if v is valid

  5. abstract def map[E, B](v: V[E])(f: (E) => B): V[B]

    Maps v using f function

  6. abstract def strategy: ValidatedStrategy

    Returns this Strategy

  7. abstract def valid[E]: V[E]

    Returns valid V[E]

Concrete 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 andAll[E](list: List[V[E]]): V[E]

    Combiness all list using AND

  5. def asError[E](v: V[E])(error: E): V[E]

    Returns error if v is invalid

  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def asInvalid[E](v: V[E])(invalid: V[E]): V[E]

    Returns invalid if v is invalid

  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  12. def fold[E, B](v: V[E])(fe: (V[E]) => B, fa: => B): B

    Folds V[E] into B using provided functions for valid and invalid cases

  13. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. def isInvalid[E](v: V[E]): Boolean

    Checks if v is invalid

  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. def or[E](va: V[E], vb: V[E]): V[E]

    Combines a and b using OR

  21. def orAll[E](list: List[V[E]]): V[E]

    Combiness all list using OR

  22. def sequence[E](list: List[V[E]]): V[E]

    Combiness all list using AND

  23. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. def traverse[A, E](list: A*)(error: (A) => V[E]): V[E]
  26. def traverse[A, E](list: List[A])(error: (A) => V[E]): V[E]
  27. def unless[E](cond: Boolean)(v: => V[E]): V[E]

    Returns v if cond is false else returns valid

  28. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  29. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  30. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  31. def when[E](cond: Boolean)(v: => V[E]): V[E]

    Returns v if cond is true else returns valid

  32. def whenInvalid[E](v: V[E])(f: (V[E]) => V[E]): V[E]

    Returns f applied to a if a is invalid else returns a

  33. def whenValid[E](va: V[E])(vb: => V[E]): V[E]

    Returns o if a is valid else returns a

Inherited from AnyRef

Inherited from Any

Ungrouped