sealed abstract class CalcM[+F[+_, +_], -R, -SI, +SO, +E, +A] extends CalcMOps[F, R, SI, SO, E, A]

Linear Supertypes
CalcMOps[F, R, SI, SO, E, A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CalcM
  2. CalcMOps
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. 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

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. 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
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. 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
  5. 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
  6. 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
  7. 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
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. 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
  10. 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
  11. def as[B](b: ⇒ B): CalcM[F, R, SI, SO, E, B]
    Definition Classes
    CalcMOps
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def as_[B](b: B): CalcM[F, R, SI, SO, E, B]
    Definition Classes
    CalcMOps
  14. 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
  15. 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
  16. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  17. def contramapState[SI1](f: (SI1) ⇒ SI): CalcM[F, R, SI1, SO, E, A]
    Definition Classes
    CalcMOps
  18. def dimapState[SI1, SO1](f: (SI1) ⇒ SI, g: (SO) ⇒ SO1): CalcM[F, R, SI1, SO1, E, A]
    Definition Classes
    CalcMOps
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  21. def errorAs[X](e: ⇒ X): CalcM[F, R, SI, SO, X, A]
    Definition Classes
    CalcMOps
  22. def errorAs_[X](b: X): CalcM[F, R, SI, SO, X, A]
    Definition Classes
    CalcMOps
  23. 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
  24. 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
  25. 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
  26. 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
  27. def focus[S3, S4](lens: PContains[S3, S4, SI, SO]): CalcM[F, R, S3, S4, E, A]
    Definition Classes
    CalcMOps
  28. def focusFirst[S]: CalcM[F, R, (SI, S), (SO, S), E, A]
    Definition Classes
    CalcMOps
  29. def focusSecond[S]: CalcM[F, R, (S, SI), (S, SO), E, A]
    Definition Classes
    CalcMOps
  30. 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
  31. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  32. def handle[A1 >: A](f: (E) ⇒ A1): CalcM[F, R, SI, SO, E, A1]
    Definition Classes
    CalcMOps
  33. 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
  34. 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
  35. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. def local[R1](f: (R1) ⇒ R): CalcM[F, R1, SI, SO, E, A]
    Definition Classes
    CalcMOps
  38. def map[B](f: (A) ⇒ B): CalcM[F, R, SI, SO, E, B]
    Definition Classes
    CalcMOps
  39. def mapError[E1](f: (E) ⇒ E1): CalcM[F, R, SI, SO, E1, A]
    Definition Classes
    CalcMOps
  40. def mapK[G[+_, +_]](fk: FunBK[F, G]): CalcM[G, R, SI, SO, E, A]
    Definition Classes
    CalcMOps
  41. def mapState[SO1](f: (SO) ⇒ SO1): CalcM[F, R, SI, SO1, E, A]
    Definition Classes
    CalcMOps
  42. def narrowRead[R1 <: R]: CalcM[F, R1, SI, SO, E, A]
    Definition Classes
    CalcMOps
  43. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  45. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  46. 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
  47. 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
  48. 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
  49. def provide(r: R): CalcM[F, Any, SI, SO, E, A]
    Definition Classes
    CalcMOps
  50. def provideSet(r: R, s: SI): CalcM[F, Any, Any, SO, E, A]
    Definition Classes
    CalcMOps
  51. def provideSome[R1](f: (R1) ⇒ R): CalcM[F, R1, SI, SO, E, A]
    Definition Classes
    CalcMOps
  52. def result(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, SI]): Either[E, A]
    Definition Classes
    CalcMOps
  53. def results(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, SI]): (SO, Either[E, A])
    Definition Classes
    CalcMOps
  54. def run(r: R, init: SI)(implicit runner: CalcRunner[F]): (SO, Either[E, A])
    Definition Classes
    CalcMOps
  55. def runSuccess(r: R, init: SI)(implicit runner: CalcRunner[F], ev: <:<[E, Nothing]): (SO, A)
    Definition Classes
    CalcMOps
  56. def runSuccessUnit(init: SI)(implicit runner: CalcRunner[F], ev: <:<[E, Nothing], evr: <:<[Unit, R]): (SO, A)
    Definition Classes
    CalcMOps
  57. def runTailRec[F1[+x, +y] >: F[x, y]](r: R, init: SI)(implicit F: Bind[F1]): F1[(SO, E), (SO, A)]
    Definition Classes
    CalcMOps
  58. 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
  59. def runUnit(init: SI)(implicit runner: CalcRunner[F], evr: <:<[Unit, R]): (SO, Either[E, A])
    Definition Classes
    CalcMOps
  60. def step(r: R, init: SI): StepResult[F, SO, E, A]
    Definition Classes
    CalcMOps
  61. def stepUnit(init: SI)(implicit ev: <:<[Unit, R]): StepResult[F, SO, E, A]
    Definition Classes
    CalcMOps
  62. def supply(si: ⇒ SI): CalcM[F, R, Any, SO, E, A]
    Definition Classes
    CalcMOps
  63. def swap: CalcM[F, R, SI, SO, A, E]
    Definition Classes
    CalcMOps
  64. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  65. def tailrecEither[F1[+y] >: F[Any, y]](r: R, init: SI)(implicit F: Monad[F1]): F1[(SO, Either[E, A])]
    Definition Classes
    CalcMOps
  66. 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
  67. def toString(): String
    Definition Classes
    AnyRef → Any
  68. def trans: TranslatePack[F, R, SI, SO, E, A]
    Definition Classes
    CalcMOps
  69. def translate[G[+_, +_], R1](translator: ITranslator[F, G, R, R1]): CalcM[G, R1, SI, SO, E, A]
  70. 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
  71. def value(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, SI], ev: <:<[E, Nothing]): A
    Definition Classes
    CalcMOps
  72. def values(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, SI], ev: <:<[E, Nothing]): (SO, A)
    Definition Classes
    CalcMOps
  73. def void: CalcM[F, R, SI, SO, E, Unit]
    Definition Classes
    CalcMOps
  74. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  75. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  76. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  77. def when[S >: SO <: SI](b: Boolean): CalcM[F, R, S, S, E, Any]
    Definition Classes
    CalcMOps
  78. def widenF[F1[+x, +y] >: F[x, y]]: CalcM[F1, R, SI, SO, E, A]
    Definition Classes
    CalcMOps

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from CalcMOps[F, R, SI, SO, E, A]

Inherited from AnyRef

Inherited from Any

Ungrouped