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
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Pure
- Serializable
- Serializable
- Product
- Equals
- CalcMResStatic
- CalcMRes
- CalcM
- CalcMOps
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new Pure(a: A)
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
!>>[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, E1, S3, B](r: ⇒ CalcM[F1, R1, S, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S, S3, E1, B]
- Definition Classes
- CalcMOps
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
*>>[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S, S, E1, B])(implicit ev: <:<[Nothing, Nothing]): CalcM[F1, R1, S, S, E1, B]
- Definition Classes
- CalcMOps
-
def
<<[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, E1 >: Nothing, SO1 >: S, B](c: ⇒ CalcM[F1, R1, S, SO1, E1, B]): CalcM[F1, R1, S, SO1, E1, A]
- Definition Classes
- CalcMOps
-
def
<<![F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, E1, S3, B](r: ⇒ CalcM[F1, R1, S, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S, S3, Nothing, B]
- Definition Classes
- CalcMOps
-
def
<<*[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S, S, E1, B])(implicit ev: <:<[Nothing, Nothing]): CalcM[F1, R1, S, S, E1, A]
- Definition Classes
- CalcMOps
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
>>[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, E1 >: Nothing, SO1 >: S, B](c: ⇒ CalcM[F1, R1, S, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S, SO1, E1, B]
- Definition Classes
- CalcMOps
-
def
>>=[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, E1 >: Nothing, SO1 >: S, B](f: (A) ⇒ CalcM[F1, R1, S, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S, SO1, E1, B]
- Definition Classes
- CalcMOps
- val a: A
-
def
as[B](b: ⇒ B): CalcM[Nothing2T, Any, S, S, Nothing, B]
- Definition Classes
- CalcMOps
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
as_[B](b: B): CalcM[Nothing2T, Any, S, S, Nothing, B]
- Definition Classes
- CalcMOps
-
def
biflatten[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, S, X, B](implicit evA: <:<[A, CalcM[F1, R1, S, S, X, B]], evE: <:<[Nothing, CalcM[F1, R1, S, S, X, B]]): CalcM[F1, R1, S, S, X, B]
- Definition Classes
- CalcMOps
-
def
bind[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, X, S, B](continue: Continue[A, Nothing, S, CalcM[F1, R1, S, S, X, B]]): CalcM[F1, R1, S, S, X, B]
- Definition Classes
- CalcMOps
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
def
contramapState[SI1](f: (SI1) ⇒ S): CalcM[Nothing2T, Any, SI1, S, Nothing, A]
- Definition Classes
- CalcMOps
- def dimapState[SI1, SO1](f: (SI1) ⇒ S, g: (S) ⇒ SO1): CalcM[Nothing2T, Any, SI1, SO1, Nothing, A]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
errorAs[X](e: ⇒ X): CalcM[Nothing2T, Any, S, S, X, A]
- Definition Classes
- CalcMOps
-
def
errorAs_[X](b: X): CalcM[Nothing2T, Any, S, S, X, A]
- Definition Classes
- CalcMOps
-
def
flatMap[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, SO1 >: S, E1 >: Nothing, B](f: (A) ⇒ CalcM[F1, R1, S, SO1, E1, B]): CalcM[F1, R1, S, SO1, E1, B]
- Definition Classes
- CalcMOps
-
final
def
flatMapS[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, S, E1, B](f: (A) ⇒ CalcM[F1, R1, S, S, E1, B])(implicit ev: <:<[Nothing, Nothing]): CalcM[F1, R1, S, S, E1, B]
- Definition Classes
- CalcMOps
-
def
flatTap[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, SO1 >: S, E1 >: Nothing, B](f: (A) ⇒ CalcM[F1, R1, S, SO1, E1, B]): CalcM[F1, R1, S, SO1, E1, A]
- Definition Classes
- CalcMOps
-
final
def
flatTapS[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, S, E1, B](f: (A) ⇒ CalcM[F1, R1, S, S, E1, B])(implicit ev: <:<[Nothing, Nothing]): CalcM[F1, R1, S, S, E1, A]
- Definition Classes
- CalcMOps
-
def
focus[S3, S4](lens: PContains[S3, S4, S, S]): CalcM[Nothing2T, Any, S3, S4, Nothing, A]
- Definition Classes
- CalcMOps
-
def
focusFirst[S]: CalcM[Nothing2T, Any, (S, S), (S, S), Nothing, A]
- Definition Classes
- CalcMOps
-
def
focusSecond[S]: CalcM[Nothing2T, Any, (S, S), (S, S), Nothing, A]
- Definition Classes
- CalcMOps
-
def
foldWith[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, X, S, B](f: (A) ⇒ CalcM[F1, R1, S, S, X, B], h: (Nothing) ⇒ CalcM[F1, R1, S, S, X, B]): CalcM[F1, R1, S, S, X, B]
- Definition Classes
- CalcMOps
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
handle[A1 >: A](f: (Nothing) ⇒ A1): CalcM[Nothing2T, Any, S, S, Nothing, A1]
- Definition Classes
- CalcMOps
-
def
handleWith[F1[+x, +y] >: Nothing2T[x, y], E1, R1 <: Any, SO1 >: S, A1 >: A](f: (Nothing) ⇒ CalcM[F1, R1, S, SO1, E1, A1]): CalcM[F1, R1, S, SO1, E1, A1]
- Definition Classes
- CalcMOps
-
def
handleWithU[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, E1, S3, B](f: (Nothing) ⇒ CalcM[F1, R1, S, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S, S3, E1, B]
- Definition Classes
- CalcMOps
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def local[R1](f: (R1) ⇒ Any): CalcM[Nothing2T, R1, S, S, Nothing, A]
-
def
map[B](f: (A) ⇒ B): CalcM[Nothing2T, Any, S, S, Nothing, B]
- Definition Classes
- CalcMOps
-
def
mapError[E1](f: (Nothing) ⇒ E1): CalcM[Nothing2T, Any, S, S, E1, A]
- Definition Classes
- CalcMOps
- def mapK[G[+_, +_]](fk: FunBK[Nothing2T, G]): CalcM[G, Any, S, S, Nothing, A]
-
def
mapState[SO1](f: (S) ⇒ SO1): CalcM[Nothing2T, Any, S, SO1, Nothing, A]
- Definition Classes
- CalcMOps
-
def
narrowRead[R1 <: Any]: CalcM[Nothing2T, R1, S, S, Nothing, 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] >: Nothing2T[x, y], R1 <: Any, E1, S3, B](f: (Nothing) ⇒ CalcM[F1, R1, S, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S, S3, Nothing, B]
- Definition Classes
- CalcMOps
-
final
def
productLS[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S, S, E1, B])(implicit ev: <:<[Nothing, Nothing]): CalcM[F1, R1, S, S, E1, A]
- Definition Classes
- CalcMOps
-
final
def
productRS[F1[+x, +y] >: Nothing2T[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S, S, E1, B])(implicit ev: <:<[Nothing, Nothing]): CalcM[F1, R1, S, S, E1, B]
- Definition Classes
- CalcMOps
-
def
provide(r: Any): CalcM[Nothing2T, Any, S, S, Nothing, A]
- Definition Classes
- CalcMOps
-
def
provideSet(r: Any, s: S): CalcM[Nothing2T, Any, Any, S, Nothing, A]
- Definition Classes
- CalcMOps
-
def
provideSome[R1](f: (R1) ⇒ Any): CalcM[Nothing2T, R1, S, S, Nothing, A]
- Definition Classes
- CalcMOps
-
def
result(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, Any], evs: <:<[Unit, S]): Either[Nothing, A]
- Definition Classes
- CalcMOps
-
def
results(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, Any], evs: <:<[Unit, S]): (S, Either[Nothing, A])
- Definition Classes
- CalcMOps
-
def
run(r: Any, init: S)(implicit runner: CalcRunner[Nothing2T]): (S, Either[Nothing, A])
- Definition Classes
- CalcMOps
-
def
runSuccess(r: Any, init: S)(implicit runner: CalcRunner[Nothing2T], ev: <:<[Nothing, Nothing]): (S, A)
- Definition Classes
- CalcMOps
-
def
runSuccessUnit(init: S)(implicit runner: CalcRunner[Nothing2T], ev: <:<[Nothing, Nothing], evr: <:<[Unit, Any]): (S, A)
- Definition Classes
- CalcMOps
-
def
runTailRec[F1[+x, +y] >: Nothing2T[x, y]](r: Any, init: S)(implicit F: Bind[F1]): F1[(S, Nothing), (S, A)]
- Definition Classes
- CalcMOps
-
def
runTailRecSingle[F1[+y] >: Nothing2T[Any, y], E1 >: Nothing](r: Any, init: S)(implicit F: Monad[F1], ev: <:<[E1, Nothing]): F1[(S, A)]
- Definition Classes
- CalcMOps
-
def
runUnit(init: S)(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, Any]): (S, Either[Nothing, A])
- Definition Classes
- CalcMOps
-
def
step(r: Any, init: S): StepResult[Nothing2T, S, Nothing, A]
- Definition Classes
- CalcMOps
-
def
stepUnit(init: S)(implicit ev: <:<[Unit, Any]): StepResult[Nothing2T, S, Nothing, A]
- Definition Classes
- CalcMOps
- def submit[X](r: Any, s1: S, submit: Continue[A, Nothing, S, X]): X
-
def
supply(si: ⇒ S): CalcM[Nothing2T, Any, Any, S, Nothing, A]
- Definition Classes
- CalcMOps
-
def
swap: CalcM[Nothing2T, Any, S, S, A, Nothing]
- Definition Classes
- CalcMOps
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
tailrecEither[F1[+y] >: Nothing2T[Any, y]](r: Any, init: S)(implicit F: Monad[F1]): F1[(S, Either[Nothing, A])]
- Definition Classes
- CalcMOps
-
def
toState[SI1 <: S, SO1 >: S, A1 >: A](implicit runner: CalcRunner[Nothing2T], ev: <:<[Nothing, Nothing], evr: <:<[Unit, Any]): IndexedState[SI1, SO1, A1]
- Definition Classes
- CalcMOps
-
def
trans: TranslatePack[Nothing2T, Any, S, S, Nothing, A]
- Definition Classes
- CalcMOps
-
def
translate[G[+_, +_], R1](translator: ITranslator[Nothing2T, G, Any, R1]): CalcM[G, R1, S, S, Nothing, A]
- Definition Classes
- CalcMResStatic → CalcM
-
def
translateForget[G[+_, +_], ST, R1](translator: Translator[Nothing2T, G, ST, Any, R1])(implicit evs: <:<[Unit, S]): CalcM[G, R1, ST, ST, Nothing, A]
- Definition Classes
- CalcMOps
-
def
translateState[G[+_, +_], ST, R1](translator: Translator[Nothing2T, G, ST, Any, R1]): CalcM[G, R1, (ST, S), (ST, S), Nothing, A]
- Definition Classes
- CalcMResStatic → CalcM
-
def
value(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, Any], evs: <:<[Unit, S], ev: <:<[Nothing, Nothing]): A
- Definition Classes
- CalcMOps
-
def
values(implicit runner: CalcRunner[Nothing2T], evr: <:<[Unit, Any], evs: <:<[Unit, S], ev: <:<[Nothing, Nothing]): (S, A)
- Definition Classes
- CalcMOps
-
def
void: CalcM[Nothing2T, Any, S, S, Nothing, 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 >: S <: S](b: Boolean): CalcM[Nothing2T, Any, S, S, Nothing, Any]
- Definition Classes
- CalcMOps
-
def
widenF[F1[+x, +y] >: Nothing2T[x, y]]: CalcM[F1, Any, S, S, Nothing, A]
- Definition Classes
- CalcMOps
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated