sealed trait CalcMRes[-R, -S1, +S2, +E, +A] extends CalcM[Nothing2T, R, S1, S2, E, A]
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- CalcMRes
- CalcM
- CalcMOps
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
!>>[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, E1, S3, B](r: ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E1, B]
- Definition Classes
- CalcMOps
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
*>>[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, B]
- Definition Classes
- CalcMOps
-
def
<<[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, E1 >: E, SO1 >: S2, B](c: ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, A]
- Definition Classes
- CalcMOps
-
def
<<![F1[+x, +y] >: Nothing2T[x, y], R1 <: R, E1, S3, B](r: ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E, B]
- Definition Classes
- CalcMOps
-
def
<<*[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, A]
- Definition Classes
- CalcMOps
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
>>[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, E1 >: E, SO1 >: S2, B](c: ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S1, SO1, E1, B]
- Definition Classes
- CalcMOps
-
def
>>=[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, E1 >: E, SO1 >: S2, B](f: (A) ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S1, SO1, E1, B]
- Definition Classes
- CalcMOps
-
def
as[B](b: ⇒ B): CalcM[Nothing2T, R, S1, S2, E, B]
- Definition Classes
- CalcMOps
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
as_[B](b: B): CalcM[Nothing2T, R, S1, S2, E, B]
- Definition Classes
- CalcMOps
-
def
biflatten[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, S, X, B](implicit evA: <:<[A, CalcM[F1, R1, S2, S, X, B]], evE: <:<[E, CalcM[F1, R1, S2, S, X, B]]): CalcM[F1, R1, S1, S, X, B]
- Definition Classes
- CalcMOps
-
def
bind[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, X, S, B](continue: Continue[A, E, S2, CalcM[F1, R1, S2, S, X, B]]): CalcM[F1, R1, S1, S, X, B]
- Definition Classes
- CalcMOps
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
def
contramapState[SI1](f: (SI1) ⇒ S1): CalcM[Nothing2T, R, SI1, S2, E, A]
- Definition Classes
- CalcMOps
-
def
dimapState[SI1, SO1](f: (SI1) ⇒ S1, g: (S2) ⇒ SO1): CalcM[Nothing2T, R, SI1, SO1, E, A]
- Definition Classes
- CalcMOps
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
errorAs[X](e: ⇒ X): CalcM[Nothing2T, R, S1, S2, X, A]
- Definition Classes
- CalcMOps
-
def
errorAs_[X](b: X): CalcM[Nothing2T, R, S1, S2, X, A]
- Definition Classes
- CalcMOps
-
def
flatMap[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, SO1 >: S2, E1 >: E, B](f: (A) ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, B]
- Definition Classes
- CalcMOps
-
final
def
flatMapS[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, S, E1, B](f: (A) ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, B]
- Definition Classes
- CalcMOps
-
def
flatTap[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, SO1 >: S2, E1 >: E, B](f: (A) ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, A]
- Definition Classes
- CalcMOps
-
final
def
flatTapS[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, S, E1, B](f: (A) ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, A]
- Definition Classes
- CalcMOps
-
def
focus[S3, S4](lens: PContains[S3, S4, S1, S2]): CalcM[Nothing2T, R, S3, S4, E, A]
- Definition Classes
- CalcMOps
-
def
focusFirst[S]: CalcM[Nothing2T, R, (S1, S), (S2, S), E, A]
- Definition Classes
- CalcMOps
-
def
focusSecond[S]: CalcM[Nothing2T, R, (S, S1), (S, S2), E, A]
- Definition Classes
- CalcMOps
-
def
foldWith[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, X, S, B](f: (A) ⇒ CalcM[F1, R1, S2, S, X, B], h: (E) ⇒ CalcM[F1, R1, S2, S, X, B]): CalcM[F1, R1, S1, S, X, B]
- Definition Classes
- CalcMOps
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
handle[A1 >: A](f: (E) ⇒ A1): CalcM[Nothing2T, R, S1, S2, E, A1]
- Definition Classes
- CalcMOps
-
def
handleWith[F1[+x, +y] >: Nothing2T[x, y], E1, R1 <: R, SO1 >: S2, A1 >: A](f: (E) ⇒ CalcM[F1, R1, S2, SO1, E1, A1]): CalcM[F1, R1, S1, SO1, E1, A1]
- Definition Classes
- CalcMOps
-
def
handleWithU[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, E1, S3, B](f: (E) ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E1, B]
- Definition Classes
- CalcMOps
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
local[R1](f: (R1) ⇒ R): CalcM[Nothing2T, R1, S1, S2, E, A]
- Definition Classes
- CalcMOps
-
def
map[B](f: (A) ⇒ B): CalcM[Nothing2T, R, S1, S2, E, B]
- Definition Classes
- CalcMOps
-
def
mapError[E1](f: (E) ⇒ E1): CalcM[Nothing2T, R, S1, S2, E1, A]
- Definition Classes
- CalcMOps
- def mapK[G[+_, +_]](fk: FunBK[Nothing2T, G]): CalcM[G, R, S1, S2, E, A]
-
def
mapState[SO1](f: (S2) ⇒ SO1): CalcM[Nothing2T, R, S1, SO1, E, A]
- Definition Classes
- CalcMOps
-
def
narrowRead[R1 <: R]: CalcM[Nothing2T, R1, S1, S2, E, A]
- Definition Classes
- CalcMOps
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
def
onErrorU[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, E1, S3, B](f: (E) ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E, B]
- Definition Classes
- CalcMOps
-
final
def
productLS[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, A]
- Definition Classes
- CalcMOps
-
final
def
productRS[F1[+x, +y] >: Nothing2T[x, y], R1 <: R, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, B]
- Definition Classes
- CalcMOps
-
def
provide(r: R): CalcM[Nothing2T, Any, S1, S2, E, A]
- Definition Classes
- CalcMOps
-
def
provideSet(r: R, s: S1): CalcM[Nothing2T, Any, Any, S2, E, A]
- Definition Classes
- CalcMOps
-
def
provideSome[R1](f: (R1) ⇒ R): CalcM[Nothing2T, R1, S1, S2, E, A]
- Definition Classes
- CalcMOps
-
def
result(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, R], evs: <:<[Unit, S1]): Either[E, A]
- Definition Classes
- CalcMOps
-
def
results(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, R], evs: <:<[Unit, S1]): (S2, Either[E, A])
- Definition Classes
- CalcMOps
-
def
run(r: R, init: S1)(implicit runner: CalcRunner[Nothing2T]): (S2, Either[E, A])
- Definition Classes
- CalcMOps
-
def
runSuccess(r: R, init: S1)(implicit runner: CalcRunner[Nothing2T], ev: <:<[E, Nothing]): (S2, A)
- Definition Classes
- CalcMOps
-
def
runSuccessUnit(init: S1)(implicit runner: CalcRunner[Nothing2T], ev: <:<[E, Nothing], evr: <:<[Unit, R]): (S2, A)
- Definition Classes
- CalcMOps
-
def
runTailRec[F1[+x, +y] >: Nothing2T[x, y]](r: R, init: S1)(implicit F: Bind[F1]): F1[(S2, E), (S2, A)]
- Definition Classes
- CalcMOps
-
def
runTailRecSingle[F1[+y] >: Nothing2T[Any, y], E1 >: E](r: R, init: S1)(implicit F: Monad[F1], ev: <:<[E1, Nothing]): F1[(S2, A)]
- Definition Classes
- CalcMOps
-
def
runUnit(init: S1)(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, R]): (S2, Either[E, A])
- Definition Classes
- CalcMOps
-
def
step(r: R, init: S1): StepResult[Nothing2T, S2, E, A]
- Definition Classes
- CalcMOps
-
def
stepUnit(init: S1)(implicit ev: <:<[Unit, R]): StepResult[Nothing2T, S2, E, A]
- Definition Classes
- CalcMOps
-
def
supply(si: ⇒ S1): CalcM[Nothing2T, R, Any, S2, E, A]
- Definition Classes
- CalcMOps
-
def
swap: CalcM[Nothing2T, R, S1, S2, A, E]
- Definition Classes
- CalcMOps
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
tailrecEither[F1[+y] >: Nothing2T[Any, y]](r: R, init: S1)(implicit F: Monad[F1]): F1[(S2, Either[E, A])]
- Definition Classes
- CalcMOps
-
def
toState[SI1 <: S1, SO1 >: S2, A1 >: A](implicit runner: CalcRunner[Nothing2T], ev: <:<[E, Nothing], evr: <:<[Unit, R]): IndexedState[SI1, SO1, A1]
- Definition Classes
- CalcMOps
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
trans: TranslatePack[Nothing2T, R, S1, S2, E, A]
- Definition Classes
- CalcMOps
-
def
translate[G[+_, +_], R1](translator: ITranslator[Nothing2T, G, R, R1]): CalcM[G, R1, S1, S2, E, A]
- Definition Classes
- CalcM
-
def
translateForget[G[+_, +_], ST, R1](translator: Translator[Nothing2T, G, ST, R, R1])(implicit evs: <:<[Unit, S1]): CalcM[G, R1, ST, ST, E, A]
- Definition Classes
- CalcMOps
-
def
value(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, R], evs: <:<[Unit, S1], ev: <:<[E, Nothing]): A
- Definition Classes
- CalcMOps
-
def
values(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, R], evs: <:<[Unit, S1], ev: <:<[E, Nothing]): (S2, A)
- Definition Classes
- CalcMOps
-
def
void: CalcM[Nothing2T, R, S1, S2, E, Unit]
- Definition Classes
- CalcMOps
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
when[S >: S2 <: S1](b: Boolean): CalcM[Nothing2T, R, S, S, E, Any]
- Definition Classes
- CalcMOps
-
def
widenF[F1[+x, +y] >: Nothing2T[x, y]]: CalcM[F1, R, S1, S2, E, A]
- Definition Classes
- CalcMOps
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated