implicit final class invariantOps[R, S1, S2, E, A] extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- invariantOps
- 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
- def >>[R1 <: R, E1 >: E, B](c: ⇒ Calc[R1, S2, S2, E1, B]): Calc[R1, S1, S2, E1, B]
- def >>=[R1 <: R, E1 >: E, B](f: (A) ⇒ Calc[R1, S2, S2, E1, B]): Calc[R1, S1, S2, E1, B]
- def as[B](b: ⇒ B): Calc[R, S1, S2, E, B]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def cont[R1 <: R, E2, S3, B](f: (A) ⇒ Calc[R1, S2, S3, E2, B], h: (E) ⇒ Calc[R1, S2, S3, E2, B]): Calc[R1, S1, S3, E2, B]
- def flatMap[R1 <: R, E1 >: E, B](f: (A) ⇒ Calc[R1, S2, S2, E1, B]): Calc[R1, S1, S2, E1, B]
- def focus[S3, S4](lens: PContains[S3, S4, S1, S2]): Calc[R, S3, S4, E, A]
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- def handle(f: (E) ⇒ A): Calc[R, S1, S2, E, A]
- def handleWith[E1](f: (E) ⇒ Calc[R, S2, S2, E1, A]): Calc[R, S1, S2, E1, A]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def map[B](f: (A) ⇒ B): Calc[R, S1, S2, E, B]
- def mapError[E1](f: (E) ⇒ E1): Calc[R, S1, S2, E1, A]
-
def
toString(): String
- Definition Classes
- Any