Type Members

1.  implicit final class CalcFixedStateOps[R, S, E, A] extends AnyVal
2.  implicit final class CalcFixedStateSuccessOps[R, S, A] extends AnyVal
3.  implicit final class CalcFixedStateUnsuccessOps[R, S, E] extends AnyVal
4.  class CalcFunctorInstance[R, S, E] extends MonadError[[ε$0$]Calc[R, S, S, E, ε$0$], E] with cats.Defer[[ε$1$]Calc[R, S, S, E, ε$1$]] with StackSafeMonad[[ε$2$]Calc[R, S, S, E, ε$2$]] with Guarantee[[ε$3$]Calc[R, S, S, E, ε$3$]]
5.  sealed trait CalcRes[-R, -S1, +S2, +E, +A] extends Calc[R, S1, S2, E, A]
6.  implicit final class CalcSimpleStateOps[S1, S2, A] extends AnyVal
7.  implicit final class CalcSuccessfullOps[R, S1, S2, A] extends AnyVal
8.  implicit final class CalcUnsuccessfullOps[R, S1, S2, E] extends AnyVal
9.  final case class Cont[R, S1, S2, S3, E1, E2, A, B](src: Calc[R, S1, S2, E1, A], ksuc: (A) ⇒ Calc[R, S2, S3, E2, B], kerr: (E1) ⇒ Calc[R, S2, S3, E2, B]) extends Calc[R, S1, S3, E2, B] with Product with Serializable
10.  final case class Defer[R, S1, S2, E, A](e: () ⇒ Calc[R, S1, S2, E, A]) extends Calc[R, S1, S2, E, A] with Product with Serializable
11.  final case class Get[S]() extends CalcRes[Any, S, S, Nothing, S] with Product with Serializable
12.  final case class Pure[S, +A](a: A) extends CalcRes[Any, S, S, Nothing, A] with Product with Serializable
13.  final case class Raise[S, E](e: E) extends CalcRes[Any, S, S, E, Nothing] with Product with Serializable
14.  final case class Read[S, R]() extends CalcRes[R, S, S, Nothing, R] with Product with Serializable
15.  final case class Set[S](s: S) extends CalcRes[Any, Any, S, Nothing, Unit] with Product with Serializable
16.  implicit final class invariantOps[R, S1, S2, E, A] extends AnyVal