Packages

final case class Bound[+F[+_, +_], R, S1, S2, S3, E1, E2, A, B](src: CalcM[F, R, S1, S2, E1, A], continue: Continue[A, E1, S2, CalcM[F, R, S2, S3, E2, B]]) extends CalcM[F, R, S1, S3, E2, B] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, CalcM[F, R, S1, S3, E2, B], CalcMOps[F, R, S1, S3, E2, B], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Bound
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. CalcM
  7. CalcMOps
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Bound(src: CalcM[F, R, S1, S2, E1, A], continue: Continue[A, E1, S2, CalcM[F, R, S2, S3, E2, B]])

Type Members

  1. type MidErr = E1
  2. type MidState = S2
  3. type MidVal = A

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, S3, S3, E1, B])(implicit ev: <:<[B, Nothing]): CalcM[F1, R1, S1, 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, S3, S, E1, B])(implicit ev: <:<[E2, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  5. def <<[F1[+x, +y] >: F[x, y], R1 <: R, E1 >: E2, SO1 >: S3, B](c: ⇒ CalcM[F1, R1, S3, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  6. def <<![F1[+x, +y] >: F[x, y], R1 <: R, E1, S3, B](r: ⇒ CalcM[F1, R1, S3, S3, E1, B])(implicit ev: <:<[B, Nothing]): CalcM[F1, R1, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  7. def <<*[F1[+x, +y] >: F[x, y], R1 <: R, S, B, E1](r: ⇒ CalcM[F1, R1, S3, S, E1, B])(implicit ev: <:<[E2, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def >>[F1[+x, +y] >: F[x, y], R1 <: R, E1 >: E2, SO1 >: S3, B](c: ⇒ CalcM[F1, R1, S3, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  10. def >>=[F1[+x, +y] >: F[x, y], R1 <: R, E1 >: E2, SO1 >: S3, B](f: (B) ⇒ CalcM[F1, R1, S3, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  11. def as[B](b: ⇒ B): CalcM[F, R, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def as_[B](b: B): CalcM[F, R, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  14. def biflatten[F1[+x, +y] >: F[x, y], R1 <: R, S, X, B](implicit evA: <:<[B, CalcM[F1, R1, S3, S, X, B]], evE: <:<[E2, CalcM[F1, R1, S3, S, X, B]]): CalcM[F1, R1, S1, S, X, B]
    Definition Classes
    CalcMOps
  15. def bind[F1[+x, +y] >: F[x, y], R1 <: R, X, S, B](continue: Continue[B, E2, S3, CalcM[F1, R1, S3, S, X, B]]): CalcM[F1, R1, S1, S, X, B]
    Definition Classes
    CalcMOps
  16. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  17. val continue: Continue[A, E1, S2, CalcM[F, R, S2, S3, E2, B]]
  18. def contramapState[SI1](f: (SI1) ⇒ S1): CalcM[F, R, SI1, S3, E2, B]
    Definition Classes
    CalcMOps
  19. def dimapState[SI1, SO1](f: (SI1) ⇒ S1, g: (S3) ⇒ SO1): CalcM[F, R, SI1, SO1, E2, B]
    Definition Classes
    CalcMOps
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def errorAs[X](e: ⇒ X): CalcM[F, R, S1, S3, X, B]
    Definition Classes
    CalcMOps
  22. def errorAs_[X](b: X): CalcM[F, R, S1, S3, X, B]
    Definition Classes
    CalcMOps
  23. def flatMap[F1[+x, +y] >: F[x, y], R1 <: R, SO1 >: S3, E1 >: E2, B](f: (B) ⇒ CalcM[F1, R1, S3, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  24. final def flatMapS[F1[+x, +y] >: F[x, y], R1 <: R, S, E1, B](f: (B) ⇒ CalcM[F1, R1, S3, S, E1, B])(implicit ev: <:<[E2, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  25. def flatTap[F1[+x, +y] >: F[x, y], R1 <: R, SO1 >: S3, E1 >: E2, B](f: (B) ⇒ CalcM[F1, R1, S3, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  26. final def flatTapS[F1[+x, +y] >: F[x, y], R1 <: R, S, E1, B](f: (B) ⇒ CalcM[F1, R1, S3, S, E1, B])(implicit ev: <:<[E2, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  27. def focus[S3, S4](lens: PContains[S3, S4, S1, S3]): CalcM[F, R, S3, S4, E2, B]
    Definition Classes
    CalcMOps
  28. def focusFirst[S]: CalcM[F, R, (S1, S), (S3, S), E2, B]
    Definition Classes
    CalcMOps
  29. def focusSecond[S]: CalcM[F, R, (S, S1), (S, S3), E2, B]
    Definition Classes
    CalcMOps
  30. def foldWith[F1[+x, +y] >: F[x, y], R1 <: R, X, S, B](f: (B) ⇒ CalcM[F1, R1, S3, S, X, B], h: (E2) ⇒ CalcM[F1, R1, S3, S, X, B]): CalcM[F1, R1, S1, S, X, B]
    Definition Classes
    CalcMOps
  31. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  32. def handle[A1 >: B](f: (E2) ⇒ A1): CalcM[F, R, S1, S3, E2, A1]
    Definition Classes
    CalcMOps
  33. def handleWith[F1[+x, +y] >: F[x, y], E1, R1 <: R, SO1 >: S3, A1 >: B](f: (E2) ⇒ CalcM[F1, R1, S3, SO1, E1, A1]): CalcM[F1, R1, S1, SO1, E1, A1]
    Definition Classes
    CalcMOps
  34. def handleWithU[F1[+x, +y] >: F[x, y], R1 <: R, E1, S3, B](f: (E2) ⇒ CalcM[F1, R1, S3, S3, E1, B])(implicit ev: <:<[B, Nothing]): CalcM[F1, R1, S1, S3, E1, B]
    Definition Classes
    CalcMOps
  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. def local[R1](f: (R1) ⇒ R): CalcM[F, R1, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  37. def map[B](f: (B) ⇒ B): CalcM[F, R, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  38. def mapError[E1](f: (E2) ⇒ E1): CalcM[F, R, S1, S3, E1, B]
    Definition Classes
    CalcMOps
  39. def mapK[G[+_, +_]](fk: FunBK[F, G]): CalcM[G, R, S1, S3, E2, B]
    Definition Classes
    Bound → CalcMOps
  40. def mapState[SO1](f: (S3) ⇒ SO1): CalcM[F, R, S1, SO1, E2, B]
    Definition Classes
    CalcMOps
  41. def narrowRead[R1 <: R]: CalcM[F, R1, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  42. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  43. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  44. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  45. def onErrorU[F1[+x, +y] >: F[x, y], R1 <: R, E1, S3, B](f: (E2) ⇒ CalcM[F1, R1, S3, S3, E1, B])(implicit ev: <:<[B, Nothing]): CalcM[F1, R1, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  46. final def productLS[F1[+x, +y] >: F[x, y], R1 <: R, S, B, E1](r: ⇒ CalcM[F1, R1, S3, S, E1, B])(implicit ev: <:<[E2, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  47. final def productRS[F1[+x, +y] >: F[x, y], R1 <: R, S, B, E1](r: ⇒ CalcM[F1, R1, S3, S, E1, B])(implicit ev: <:<[E2, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  48. def provide(r: R): CalcM[F, Any, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  49. def provideSet(r: R, s: S1): CalcM[F, Any, Any, S3, E2, B]
    Definition Classes
    CalcMOps
  50. def provideSome[R1](f: (R1) ⇒ R): CalcM[F, R1, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  51. def result(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, S1]): Either[E2, B]
    Definition Classes
    CalcMOps
  52. def results(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, S1]): (S3, Either[E2, B])
    Definition Classes
    CalcMOps
  53. def run(r: R, init: S1)(implicit runner: CalcRunner[F]): (S3, Either[E2, B])
    Definition Classes
    CalcMOps
  54. def runSuccess(r: R, init: S1)(implicit runner: CalcRunner[F], ev: <:<[E2, Nothing]): (S3, B)
    Definition Classes
    CalcMOps
  55. def runSuccessUnit(init: S1)(implicit runner: CalcRunner[F], ev: <:<[E2, Nothing], evr: <:<[Unit, R]): (S3, B)
    Definition Classes
    CalcMOps
  56. def runTailRec[F1[+x, +y] >: F[x, y]](r: R, init: S1)(implicit F: Bind[F1]): F1[(S3, E2), (S3, B)]
    Definition Classes
    CalcMOps
  57. def runTailRecSingle[F1[+y] >: F[Any, y], E1 >: E2](r: R, init: S1)(implicit F: Monad[F1], ev: <:<[E1, Nothing]): F1[(S3, B)]
    Definition Classes
    CalcMOps
  58. def runUnit(init: S1)(implicit runner: CalcRunner[F], evr: <:<[Unit, R]): (S3, Either[E2, B])
    Definition Classes
    CalcMOps
  59. val src: CalcM[F, R, S1, S2, E1, A]
  60. def step(r: R, init: S1): StepResult[F, S3, E2, B]
    Definition Classes
    CalcMOps
  61. def stepUnit(init: S1)(implicit ev: <:<[Unit, R]): StepResult[F, S3, E2, B]
    Definition Classes
    CalcMOps
  62. def supply(si: ⇒ S1): CalcM[F, R, Any, S3, E2, B]
    Definition Classes
    CalcMOps
  63. def swap: CalcM[F, R, S1, S3, B, E2]
    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: S1)(implicit F: Monad[F1]): F1[(S3, Either[E2, B])]
    Definition Classes
    CalcMOps
  66. def toState[SI1 <: S1, SO1 >: S3, A1 >: B](implicit runner: CalcRunner[F], ev: <:<[E2, Nothing], evr: <:<[Unit, R]): IndexedState[SI1, SO1, A1]
    Definition Classes
    CalcMOps
  67. def trans: TranslatePack[F, R, S1, S3, E2, B]
    Definition Classes
    CalcMOps
  68. def translate[G[+_, +_], R1](translator: ITranslator[F, G, R, R1]): CalcM[G, R1, S1, S3, E2, B]
    Definition Classes
    Bound → CalcM
  69. def translateForget[G[+_, +_], ST, R1](translator: Translator[F, G, ST, R, R1])(implicit evs: <:<[Unit, S1]): CalcM[G, R1, ST, ST, E2, B]
    Definition Classes
    CalcMOps
  70. def translateState[G[+_, +_], ST, R1](translator: Translator[F, G, ST, R, R1]): CalcM[G, R1, (ST, S1), (ST, S3), E2, B]
    Definition Classes
    Bound → CalcM
  71. def value(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, S1], ev: <:<[E2, Nothing]): B
    Definition Classes
    CalcMOps
  72. def values(implicit runner: CalcRunner[F], evr: <:<[Unit, R], evs: <:<[Unit, S1], ev: <:<[E2, Nothing]): (S3, B)
    Definition Classes
    CalcMOps
  73. def void: CalcM[F, R, S1, S3, E2, 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 >: S3 <: S1](b: Boolean): CalcM[F, R, S, S, E2, Any]
    Definition Classes
    CalcMOps
  78. def widenF[F1[+x, +y] >: F[x, y]]: CalcM[F1, R, S1, S3, E2, B]
    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 Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from CalcM[F, R, S1, S3, E2, B]

Inherited from CalcMOps[F, R, S1, S3, E2, B]

Inherited from AnyRef

Inherited from Any

Ungrouped