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