state

Type Members

1. type State[S, A] = StateT[Trampoline, S, A]

   

2. abstract class StateFunctions extends AnyRef

   

3. final class StateT[F[_], S, A] extends Serializable

   

   StateT[F, S, A] is similar to Kleisli[F, S, A] in that it takes an S argument and produces an A value wrapped in F.

   StateT[F, S, A] is similar to Kleisli[F, S, A] in that it takes an S argument and produces an A value wrapped in F. However, it also produces an S value representing the updated state (which is wrapped in the F context along with the A value.