scalaz-core/scalaz/MonadState

MonadState

object MonadState
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

sealed abstract
class Ast[S, A]

The Free instruction set for MonadState

The Free instruction set for MonadState

final case
class Get[S]() extends Ast[S, S]
final case
class Put[S](s: S) extends Ast[S, Unit]

Value members

Concrete methods

@inline
def apply[F[_], S](implicit F: MonadState[F, S]): MonadState[F, S]
def fromIso[F[_], G[_], E](D: IsoFunctor[F, G])(implicit A: MonadState[G, E]): MonadState[F, E]
def liftF[F[_], S](implicit I: Inject[[_] =>> Ast[S, _$8], F]): MonadState[[_] =>> Free[F, _$9], S] & BindRec[[_] =>> Free[F, _$10]]

Extensible Effect

Extensible Effect