object CalcM extends CalcMInstances
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- CalcM
- CalcMInstances
- CalcMInstances1
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- 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
- sealed trait CalcMRes[-R, -S1, +S2, +E, +A] extends CalcM[Nothing2T, R, S1, S2, E, A]
- sealed trait CalcMResStatic[-S1, +S2, +E, +A] extends CalcM[Nothing2T, Any, S1, S2, E, A] with CalcMRes[Any, S1, S2, E, A]
- final case class Defer[+F[+_, +_], -R, -S1, +S2, +E, +A](runStep: () ⇒ CalcM[F, R, S1, S2, E, A]) extends CalcM[F, R, S1, S2, E, A] with Product with Serializable
- final case class Get[S]() extends CalcM[Nothing2T, Any, S, S, Nothing, S] with CalcMResStatic[S, S, Nothing, S] with Product with Serializable
- final case class Provide[+F[+_, +_], R, -S1, +S2, +E, +A](r: R, inner: CalcM[F, R, S1, S2, E, A]) extends CalcM[F, Any, S1, S2, E, A] with ProvideM[F, Any, S1, S2, E, A] with Product with Serializable
- sealed trait ProvideM[+F[+_, +_], R, -S1, +S2, +E, +A] extends CalcM[F, R, S1, S2, E, A]
- final case class Pure[S, +A](a: A) extends CalcM[Nothing2T, Any, S, S, Nothing, A] with CalcMResStatic[S, S, Nothing, A] with Product with Serializable
- final case class Raise[S, E](e: E) extends CalcM[Nothing2T, Any, S, S, E, Nothing] with CalcMResStatic[S, S, E, Nothing] with Product with Serializable
- final case class Read[S, R]() extends CalcM[Nothing2T, R, S, S, Nothing, R] with CalcMRes[R, S, S, Nothing, R] with Product with Serializable
- final case class Set[S](s: S) extends CalcM[Nothing2T, Any, Any, S, Nothing, S] with CalcMResStatic[Any, S, Nothing, S] with Product with Serializable
- abstract class Sub[+F[+_, +_], -S1, +S2, E, A] extends CalcM[F, Any, S1, S2, E, A]
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def apply[S]: CalcM[Nothing2T, Any, S, S, Nothing, S]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
implicit final
def
calcBiContextInstance[F[+_, +_], R, S]: CalcBiContextInstance[F, R, S]
- Definition Classes
- CalcMInstances
-
implicit final
def
calcBindInstance[F[+_, +_], R, S]: CalcBindInstance[F, R, S]
- Definition Classes
- CalcMInstances
-
implicit final
def
calcContextInstance[F[+_, +_], R, S, E]: CalcContextInstance[F, R, S, E]
- Definition Classes
- CalcMInstances
-
implicit final
def
calcFunctorInstance[F[+_, +_], R, S, E]: CalcMonadInstance[F, R, S, E]
- Definition Classes
- CalcMInstances
-
implicit final
def
calcMBitraverse[F[+_, +_], S](implicit arg0: Bitraverse[F]): Bitraverse[[ε$0$, ζ$1$]CalcM[F, Any, Any, S, ε$0$, ζ$1$]]
- Definition Classes
- CalcMInstances1
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
- def defer[F[+_, +_], R, S1, S2, E, A](x: ⇒ CalcM[F, R, S1, S2, E, A]): Defer[[+_, +_]F[_, _], R, S1, S2, E, A]
- def delay[S, A](x: ⇒ A): CalcM[Nothing, Any, S, S, Nothing, A]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def get[S]: CalcM[Nothing2T, Any, S, S, Nothing, S]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lift[F[+_, +_], S, E, A](fea: F[E, A]): CalcM[F, Any, S, S, E, A]
-
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 pure[S, A](a: A): CalcM[Nothing2T, Any, S, S, Nothing, A]
- def raise[S, E](e: E): CalcM[Nothing2T, Any, S, S, E, Nothing]
- def read[S, R]: CalcM[Nothing2T, R, S, S, Nothing, R]
- def roll[F[+_, +_], R, SI, SO, E, A](f: F[CalcM[F, R, SI, SO, E, A], CalcM[F, R, SI, SO, E, A]]): CalcM[F, R, SI, SO, E, A]
- def set[S](s: S): CalcM[Nothing2T, Any, Any, S, Nothing, S]
- def state[S1, S2, A](f: (S1) ⇒ (S2, A)): CalcM[Nothing2T, Any, S1, S2, Nothing, A]
- def stateT[F[+_], S1, S2, A](f: (S1) ⇒ F[(S2, A)]): CalcM[[+x, +y]F[y], Any, S1, S2, Nothing, A]
-
def
step[F[+_, +_], R, S1, S2, E, A](calc: CalcM[F, R, S1, S2, E, A], r: R, init: S1): StepResult[F, S2, E, A]
- Annotations
- @tailrec()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def unit[S]: CalcM[Nothing2T, Any, S, S, Nothing, Unit]
- def update[S1, S2](f: (S1) ⇒ S2): CalcM[Nothing2T, Any, S1, S2, Nothing, S2]
-
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 write[S](s: S)(implicit S: Monoid[S]): CalcM[Nothing2T, Any, S, S, Nothing, S]
- object Sub
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated