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