final class Validator[F[_], E, A] extends ValidatorBinCompat[F, E, A]

Linear Supertypes
ValidatorBinCompat[F, E, A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Validator
  2. ValidatorBinCompat
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def &&(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]

    Alias for combine with $ operator priority

  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. def apply(a: A)(implicit F: Functor[F]): F[ValidatedNec[E, A]]
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  8. def comap[AA](f: (AA) => A)(implicit F: Functor[F]): Validator[F, E, AA]

    Contravariant map without path changes.

    Contravariant map without path changes. Example:

    scala> case class User(age: Int)
scala> val user = User(1)
scala> val validator = dupin.basic.BasicValidator.failure[Int](c => s"${c.path} is wrong")

scala> validator.comap[User](_.age).validate(user)
res0: cats.Id[cats.data.ValidatedNec[String,User]] = Invalid(Chain(. is wrong))

scala> validator.comapP[User](_.age).validate(user)
res1: cats.Id[cats.data.ValidatedNec[String,User]] = Invalid(Chain(.age is wrong))
  9. macro def comapP[AA](f: (AA) => A)(implicit F: Functor[F]): Validator[F, E, AA]

    Contravariant map with macros generated path prefix.

    Contravariant map with macros generated path prefix. Example:

    scala> case class User(age: Int)
scala> val user = User(1)
scala> val validator = dupin.basic.BasicValidator.failure[Int](c => s"${c.path} is wrong")

scala> validator.comap[User](_.age).validate(user)
res0: cats.Id[cats.data.ValidatedNec[String,User]] = Invalid(Chain(. is wrong))

scala> validator.comapP[User](_.age).validate(user)
res1: cats.Id[cats.data.ValidatedNec[String,User]] = Invalid(Chain(.age is wrong))
    Definition Classes
    ValidatorBinCompat
  10. def comapPE[AA](p: dupin.Path, f: (AA) => A)(implicit F: Functor[F]): Validator[F, E, AA]

    Contravariant map with explicit path prefix

  11. def comapToP[G[_]](implicit C: ValidatorComapToP[F, E, A, G]): Validator[F, E, G[A]]

    Contravariant map that lifts A to higher-kinded type G including path changes

  12. def combine(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]
  13. def combineC(f: (A) => Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]

    Combines with validator from context.

  14. macro def combineP[AA](f: (A) => AA): PartiallyAppliedCombineP[F, E, A, AA]

    Combines with field validator using macros generated path.

    Combines with field validator using macros generated path.

    Definition Classes
    ValidatorBinCompat
  15. macro def combinePC[AA](f: (A) => AA): PartiallyAppliedCombinePC[F, E, A, AA]

    Combines with field validator from context using macros generated path.

    Combines with field validator from context using macros generated path.

    Definition Classes
    ValidatorBinCompat
  16. def combinePE[AA](p: dupin.Path, f: (A) => AA)(v: Validator[F, E, AA])(implicit A: Applicative[F]): Validator[F, E, A]

    Combines with field validator using explicit path.

  17. macro def combinePI[AA](f: (A) => AA)(implicit V: Validator[F, E, AA]): Validator[F, E, A]

    Combines with implicit field validator using macros generated path

    Combines with implicit field validator using macros generated path

    Definition Classes
    ValidatorBinCompat
  18. macro def combinePL[G[_], AA](f: (A) => G[AA]): PartiallyAppliedCombinePL[F, E, A, G, AA]

    Combines with lifted field validator using macros generated path.

    Combines with lifted field validator using macros generated path.

    Definition Classes
    ValidatorBinCompat
  19. macro def combinePR[AA](f: (A) => AA): PartiallyAppliedCombinePR[F, E, A, AA]

    Combines with field validator passed by separate arguments using macros generated path.

    Combines with field validator passed by separate arguments using macros generated path.

    Definition Classes
    ValidatorBinCompat
  20. macro def combinePRF[AA](f: (A) => AA): PartiallyAppliedCombinePRF[F, E, A, AA]
    Definition Classes
    ValidatorBinCompat
  21. def combineR(f: (A) => Boolean, m: dupin.MessageBuilder[A, E])(implicit A: Applicative[F]): Validator[F, E, A]

    Combines with root validator passed by separate arguments.

  22. def combineRF(f: (A) => F[Boolean], m: dupin.MessageBuilder[A, E])(implicit A: Applicative[F]): Validator[F, E, A]
  23. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  25. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  26. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. def handleErrorWith(f: (NonEmptyChain[dupin.MessageBuilder[A, E]]) => ValidatedNec[dupin.MessageBuilder[A, E], A])(implicit F: Functor[F]): Validator[F, E, A]
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. def leftAs[EE](m1: dupin.MessageBuilder[A, EE], ms: dupin.MessageBuilder[A, EE]*)(implicit F: Functor[F]): Validator[F, EE, A]

    Replaces failure messages with supplied values

  31. def leftMap[EE](f: (NonEmptyChain[dupin.MessageBuilder[A, E]]) => NonEmptyChain[dupin.MessageBuilder[A, EE]])(implicit F: Functor[F]): Validator[F, EE, A]
  32. def mapK[G[_]](f: ~>[F, G]): Validator[G, E, A]
  33. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  34. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  35. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  36. def orElse(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]
  37. val runF: (A) => F[ValidatedNec[dupin.MessageBuilder[A, E], A]]
  38. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  39. def toString(): String
    Definition Classes
    AnyRef → Any
  40. def validate(a: A)(implicit F: Functor[F]): F[ValidatedNec[E, A]]
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  44. def ||(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]

    Alias for orElse with | operator priority

Inherited from ValidatorBinCompat[F, E, A]

Inherited from AnyRef

Inherited from Any

Ungrouped