root/scalaz/IndexedReaderWriterState

IndexedReaderWriterState

object IndexedReaderWriterState extends ReaderWriterStateTInstances with ReaderWriterStateTFunctions
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[R, W, S1, S2, A](f: (R, S1) => (W, A, S2)): IndexedReaderWriterState[R, W, S1, S2, A]

Implicits

Inherited implicits

implicit
def irwstFunctor[R, W, S1, S2, F[_]](implicit F0: Functor[F]): Functor[[_] =>> IndexedReaderWriterStateT[R, W, S1, S2, F, _$6]]
implicit
def irwstPlus[R, W, S1, S2, F[_]](implicit F0: Plus[F]): Plus[[_] =>> IndexedReaderWriterStateT[R, W, S1, S2, F, _$10]]
implicit
def irwstPlusEmpty[R, W, S1, S2, F[_]](implicit F0: PlusEmpty[F]): PlusEmpty[[_] =>> IndexedReaderWriterStateT[R, W, S1, S2, F, _$16]]
implicit
def rwstBind[R, W, S, F[_]](implicit F0: Bind[F], W0: Semigroup[W]): Bind[[_] =>> ReaderWriterStateT[R, W, S, F, _$8]]
implicit
def rwstBindRec[R, W, S, F[_]](implicit F0: BindRec[F], F1: Monad[F], W0: Semigroup[W]): BindRec[[_] =>> ReaderWriterStateT[R, W, S, F, _$12]]
implicit
def rwstContravariantS1[R, W, S2, F[_], A]: IsContravariant[[_] =>> IndexedReaderWriterStateT[R, W, _$28, S2, F, A]]
implicit
def rwstHoist[R, W, S](implicit W0: Monoid[W]): Hoist[[α[_], β] =>> ReaderWriterStateT[R, W, S, α, β]]
implicit
def rwstMonad[R, W, S, F[_]](implicit W0: Monoid[W], F0: Monad[F]): MonadReader[[_] =>> ReaderWriterStateT[R, W, S, F, _$18], R] & MonadState[[_] =>> ReaderWriterStateT[R, W, S, F, _$19], S] & MonadListen[[_] =>> ReaderWriterStateT[R, W, S, F, _$20], W]
implicit
def rwstMonadError[R, W, S, E, F[_]](implicit F0: MonadError[F, E], W0: Monoid[W]): MonadError[[_] =>> ReaderWriterStateT[R, W, S, F, _$14], E]
implicit
def rwstMonadPlus[R, W, S, F[_]](implicit W0: Monoid[W], F0: MonadPlus[F]): MonadPlus[[_] =>> ReaderWriterStateT[R, W, S, F, _$22]]