final case class Cond[-R, -O, -S, +E](permit: (ROS[R, O, S]) ⇒ Or[E, Boolean]) extends AnyVal with Product with Serializable
- Self Type
- Cond[R, O, S, E]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Cond
- Serializable
- Serializable
- Product
- Equals
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mapE[A](f: (E) ⇒ A): Cond[R, O, S, A]
- def mapOS[A, B](f: (A) ⇒ O, g: (B) ⇒ S): Cond[R, A, B, E]
- def mapR[A](f: (A) ⇒ R): Cond[A, O, S, E]
- def modS[OO <: O, SS <: S, EE >: E](m: (OO) ⇒ (SS) ⇒ Or[EE, SS]): Cond[R, OO, SS, EE]
- val permit: (ROS[R, O, S]) ⇒ Or[E, Boolean]
- def pmapO[A, EE >: E](f: (A) ⇒ Or[EE, O]): Cond[R, A, S, EE]
- def pmapR[A, EE >: E](f: (A) ⇒ Or[EE, R]): Cond[A, O, S, EE]
- def skip(ros: ROS[R, O, S]): Or[E, Boolean]
- def |+|[RR <: R, OO <: O, SS <: S, EE >: E](next: Cond[RR, OO, SS, EE]): Cond[RR, OO, SS, EE]