Inspect a value from the input state, without modifying the state.
Modify the state (S
) component.
Run with the provided initial state value
Run with the provided initial state value and return the final value (discarding the final state).
Run with S
's empty monoid value as the initial state.
Run with S
's empty monoid value as the initial state and return the final
state (discarding the final value).
Run with S
's empty monoid value as the initial state and return the final
state (discarding the final value).
Run with the provided initial state value and return the final state (discarding the final value).
Like map, but also allows the state (S
) value to be modified.
Like transform, but allows the context to change from F
to G
.
StateT[F, S, A]
is similar toKleisli[F, S, A]
in that it takes anS
argument and produces anA
value wrapped inF
. However, it also produces anS
value representing the updated state (which is wrapped in theF
context along with theA
value.