final case class PValidator[F[_], E, A, B](validate: (A) ⇒ F[E], f: (A) ⇒ B)(implicit FF: Traverse[F], M: MonoidK[F]) extends Product with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- PValidator
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def all[M[_], C](f: (A) ⇒ M[C])(that: PValidator[F, E, C, _])(implicit arg0: Traverse[M]): PValidator[F, E, A, B]
- def all2[M[_], C, D](f: (A) ⇒ C, g: (A) ⇒ M[D])(that: PValidator[F, E, (C, D), _])(implicit TM: Traverse[M]): PValidator[F, E, A, B]
- def allIndexed[M[_], C](g: (A) ⇒ M[C])(that: PValidator[F, E, (C, Int), _])(implicit TM: Traverse[M]): PValidator[F, E, A, B]
- def and(that: PValidator[F, E, A, _]): PValidator[F, E, A, B]
- def andThen[C](that: PValidator[F, E, B, C]): PValidator[F, E, A, C]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def at[M[_], C](f: (A) ⇒ M[C], i: Long)(that: PValidator[F, E, Option[C], _])(implicit TM: Traverse[M]): PValidator[F, E, A, B]
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- def contramap[Z](g: (Z) ⇒ A): PValidator[F, E, Z, B]
- def dimap[Z, C](g: (Z) ⇒ A)(h: (B) ⇒ C): PValidator[F, E, Z, C]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val f: (A) ⇒ B
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- def first[M[_], C](f: (A) ⇒ M[C])(that: PValidator[F, E, Option[C], _])(implicit FM: Foldable[M]): PValidator[F, E, A, B]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def has[C](f: (A) ⇒ C)(that: PValidator[F, E, C, _]): PValidator[F, E, A, B]
- def has2[C, D](f: (A) ⇒ C, g: (A) ⇒ D)(that: PValidator[F, E, (C, D), _]): PValidator[F, E, A, B]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def leftMap[EE](g: (E) ⇒ EE): PValidator[F, EE, A, B]
- def map[C](g: (B) ⇒ C): PValidator[F, E, A, C]
- def map2[C, D](that: PValidator[F, E, A, C])(g: (B, C) ⇒ D): PValidator[F, E, A, D]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def optional: PValidator[F, E, Option[A], Option[B]]
- def or[C](that: PValidator[F, E, C, B]): PValidator[F, E, Either[A, C], B]
- def over[M[_]](implicit TM: Traverse[M]): PValidator[F, E, M[A], M[B]]
- def product[C](that: PValidator[F, E, A, C]): PValidator[F, E, A, (B, C)]
- def required(e: F[E]): PValidator[F, E, Option[A], B]
- def run[G[_]](a: A)(implicit A: ApplicativeError[G, F[E]]): G[B]
- def runK[G[_], H[_]](a: A)(g: ~>[F, H])(implicit A: ApplicativeError[G, H[E]]): G[B]
- def runNel[G[_, _]](a: A)(implicit A: ApplicativeError[[β$0$]G[NonEmptyList[E], β$0$], NonEmptyList[E]]): G[NonEmptyList[E], B]
- def runWith[G[_], EE](a: A)(g: (F[E]) ⇒ EE)(implicit A: ApplicativeError[G, EE]): G[B]
- def run_[G[_]](a: A)(implicit A: ApplicativeError[G, Unit]): G[B]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val validate: (A) ⇒ F[E]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )