case class Validator[F[_], E, A](run: (A) => F[ValidatedNec[dupin.MessageBuilder[A, E], A]]) extends ValidatorBinCompat[F, E, A] with Product with Serializable
- Alphabetic
- By Inheritance
- Validator
- Serializable
- Product
- Equals
- ValidatorBinCompat
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Validator(run: (A) => F[ValidatedNec[dupin.MessageBuilder[A, E], A]])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def &&(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]
Alias for combine with
$
operator priority - final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def combine(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]
- def combineEP[AA](p: Path, f: (A) => AA)(v: Validator[F, E, AA])(implicit A: Applicative[F]): Validator[F, E, A]
Combines with field validator using explicit path.
- 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
- 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
- macro def combinePK[AF[_], AA](f: (A) => AF[AA]): PartiallyAppliedCombinePK[F, E, A, AF, AA]
Combines with lifted field validator using macros generated path.
Combines with lifted field validator using macros generated path.
- Definition Classes
- ValidatorBinCompat
- 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
- def combineR(f: (A) => F[Boolean], m: dupin.MessageBuilder[A, E])(implicit A: Applicative[F]): Validator[F, E, A]
Combines with root validator passed by separate arguments.
- def compose[AA](f: (AA) => A)(implicit F: Functor[F]): Validator[F, E, AA]
- def composeEP[AA](p: Path, f: (AA) => A)(implicit F: Functor[F]): Validator[F, E, AA]
Composes validator with explicit field path
- def composeK[AF[_]](implicit VC: ValidatorComposeK[F, AF]): Validator[F, E, AF[A]]
- macro def composeP[AA](f: (AA) => A)(implicit F: Functor[F]): Validator[F, E, AA]
Composes validator with macros generated field path
Composes validator with macros generated field path
- Definition Classes
- ValidatorBinCompat
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def handleErrorWith(f: (NonEmptyChain[dupin.MessageBuilder[A, E]]) => ValidatedNec[dupin.MessageBuilder[A, E], A])(implicit F: Functor[F]): Validator[F, E, A]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- 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
- def leftMap[EE](f: (NonEmptyChain[dupin.MessageBuilder[A, E]]) => NonEmptyChain[dupin.MessageBuilder[A, EE]])(implicit F: Functor[F]): Validator[F, EE, A]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def orElse(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- val run: (A) => F[ValidatedNec[dupin.MessageBuilder[A, E], A]]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def validate(a: A)(implicit F: Functor[F]): F[ValidatedNec[E, A]]
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def ||(v: Validator[F, E, A])(implicit A: Applicative[F]): Validator[F, E, A]
Alias for orElse with
|
operator priority
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated