sealed abstract
A monad transformer stack yielding (R, S1) => F[(W, A, S2)]
.
- Companion
- object
Value members
Concrete methods
Run, discard the final state, and return the final value in the context of F
Run, discard the final state, and return the final value in the context of F
Calls eval
using Monoid[S].zero
as the initial state
Calls eval
using Monoid[S].zero
as the initial state
Run, discard the final value, and return the final state in the context of F
Run, discard the final value, and return the final state in the context of F
Calls exec
using Monoid[S].zero
as the initial state
Calls exec
using Monoid[S].zero
as the initial state
def flatMap[B, RR <: R, S3](f: A => IndexedReaderWriterStateT[RR, W, S2, S3, F, B])(implicit F: Bind[F], W: Semigroup[W]): IndexedReaderWriterStateT[RR, W, S1, S3, F, B]
def mapT[G[_], B, WU, S2U](f: F[(W, A, S2)] => G[(WU, B, S2U)])(implicit F: Monad[F]): IndexedReaderWriterStateT[R, WU, S1, S2U, G, B]
Calls run
using Monoid[S].zero
as the initial state
Calls run
using Monoid[S].zero
as the initial state