ReaderWriterStateT

object ReaderWriterStateT extends RWSTFunctions
class RWSTFunctions
trait CommonIRWSTConstructors
class Object
trait Matchable
class Any

Value members

Inherited methods

def apply[F[_], E, L, S, A](runF: (E, S) => F[(L, S, A)])(F: Applicative[F]): ReaderWriterStateT[F, E, L, S, A]

Construct a new computation using the provided function.

Construct a new computation using the provided function.

Inherited from
RWSTFunctions
def applyF[F[_], E, L, S, A](runF: F[(E, S) => F[(L, S, A)]]): ReaderWriterStateT[F, E, L, S, A]

Like apply, but using a function in a context F.

Like apply, but using a function in a context F.

Inherited from
RWSTFunctions
def applyS[F[_], E, L, S, A](f: S => F[(L, S, A)])(`evidence$5`: Applicative[F]): IndexedReaderWriterStateT[F, E, L, S, S, A]

Like apply, but using a effectful function from S.

Like apply, but using a effectful function from S.

Inherited from
RWSTFunctions
def ask[F[_], E, L, S](F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, E]

Get the provided environment, without modifying the input state.

Get the provided environment, without modifying the input state.

Inherited from
CommonIRWSTConstructors
def get[F[_], E, L, S](F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, S]

Return the input state without modifying it.

Return the input state without modifying it.

Inherited from
CommonIRWSTConstructors
def inspect[F[_], E, L, S, A](f: S => A)(F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]

Inspect a value from the input state, without modifying the state.

Inspect a value from the input state, without modifying the state.

Inherited from
CommonIRWSTConstructors
def inspectAsk[F[_], E, L, S, A](f: (E, S) => A)(`evidence$1`: Applicative[F], `evidence$2`: Monoid[L]): ReaderWriterStateT[F, E, L, S, A]

Inspect values from the environment and input state, without modifying the state.

Inspect values from the environment and input state, without modifying the state.

Inherited from
CommonIRWSTConstructors
def inspectAskF[F[_], E, L, S, A](f: (E, S) => F[A])(`evidence$3`: Applicative[F], `evidence$4`: Monoid[L]): ReaderWriterStateT[F, E, L, S, A]

Like inspectAsk, but using an effectful function.

Like inspectAsk, but using an effectful function.

Inherited from
CommonIRWSTConstructors
def inspectF[F[_], E, L, S, A](f: S => F[A])(F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]

Like inspect, but using an effectful function.

Like inspect, but using an effectful function.

Inherited from
CommonIRWSTConstructors
def liftF[F[_], E, L, S, A](fa: F[A])(F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]

Return an effectful a and an empty log without modifying the input state.

Return an effectful a and an empty log without modifying the input state.

Inherited from
CommonIRWSTConstructors
def liftK[F[_], E, L, S](F: Applicative[F], L: Monoid[L]): FunctionK[F, [_] =>> IndexedReaderWriterStateT[F, E, L, S, S, _$17]]

Same as liftF, but expressed as a FunctionK for use with mapK

Same as liftF, but expressed as a FunctionK for use with mapK

scala> import cats._, data._, implicits._
scala> val a: OptionT[Eval, Int] = 1.pure[OptionT[Eval, *]]
scala> val b: OptionT[RWST[Eval, Boolean, List[String], String, *], Int] = a.mapK(RWST.liftK)
scala> b.value.runEmpty(true).value
res0: (List[String], String, Option[Int]) = (List(),"",Some(1))
Inherited from
CommonIRWSTConstructors
def listen[F[_], E, L, S, A](rwst: ReaderWriterStateT[F, E, L, S, A])(F: Functor[F]): ReaderWriterStateT[F, E, L, S, (A, L)]
Inherited from
RWSTFunctions
def modify[F[_], E, L, S](f: S => S)(F: Applicative[F], L: Monoid[L]): ReaderWriterStateT[F, E, L, S, Unit]

Modify the input state using f.

Modify the input state using f.

Inherited from
RWSTFunctions
def modifyF[F[_], E, L, S](f: S => F[S])(F: Applicative[F], L: Monoid[L]): ReaderWriterStateT[F, E, L, S, Unit]

Like modify, but using an effectful function.

Like modify, but using an effectful function.

Inherited from
RWSTFunctions
def pure[F[_], E, L, S, A](a: A)(F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]

Return a and an empty log without modifying the input state.

Return a and an empty log without modifying the input state.

Inherited from
CommonIRWSTConstructors
def set[F[_], E, L, S](s: S)(F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]

Set the state to s.

Set the state to s.

Inherited from
CommonIRWSTConstructors
def setF[F[_], E, L, S](fs: F[S])(F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]

Like set, but using an effectful S value.

Like set, but using an effectful S value.

Inherited from
CommonIRWSTConstructors
def tell[F[_], E, L, S](l: L)(F: Applicative[F]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]

Add a value to the log, without modifying the input state.

Add a value to the log, without modifying the input state.

Inherited from
CommonIRWSTConstructors
def tellF[F[_], E, L, S](fl: F[L])(F: Applicative[F]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]

Like tell, but using an effectful L value.

Like tell, but using an effectful L value.

Inherited from
CommonIRWSTConstructors

Deprecated and Inherited methods

@deprecated("Use liftF instead", "1.0.0-RC2")
def lift[F[_], E, L, S, A](fa: F[A])(F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]
Deprecated
Inherited from
CommonIRWSTConstructors