Recall that StateRefT
is a macro that infers ω
from the m
.
@[inline]
def
StateRefT'.run
{ω : Type}
{σ : Type}
{m : Type → Type}
[Monad m]
[MonadLiftT (ST ω) m]
{α : Type}
(x : StateRefT' ω σ m α)
(s : σ)
:
m (α × σ)
Instances For
@[inline]
def
StateRefT'.run'
{ω : Type}
{σ : Type}
{m : Type → Type}
[Monad m]
[MonadLiftT (ST ω) m]
{α : Type}
(x : StateRefT' ω σ m α)
(s : σ)
:
m α
Instances For
@[inline]
def
StateRefT'.lift
{ω : Type}
{σ : Type}
{m : Type → Type}
{α : Type}
(x : m α)
:
StateRefT' ω σ m α
Instances For
instance
StateRefT'.instMonadStateRefT'
{ω : Type}
{σ : Type}
{m : Type → Type}
[Monad m]
:
Monad (StateRefT' ω σ m)
instance
StateRefT'.instMonadLiftStateRefT'
{ω : Type}
{σ : Type}
{m : Type → Type}
:
MonadLift m (StateRefT' ω σ m)
instance
StateRefT'.instMonadFunctorStateRefT'
{ω : Type}
(σ : Type)
(m : Type → Type)
[Monad m]
:
MonadFunctor m (StateRefT' ω σ m)
instance
StateRefT'.instAlternativeStateRefT'
{ω : Type}
{σ : Type}
{m : Type → Type}
[Alternative m]
[Monad m]
:
Alternative (StateRefT' ω σ m)
@[inline]
def
StateRefT'.get
{ω : Type}
{σ : Type}
{m : Type → Type}
[Monad m]
[MonadLiftT (ST ω) m]
:
StateRefT' ω σ m σ
Instances For
@[inline]
def
StateRefT'.set
{ω : Type}
{σ : Type}
{m : Type → Type}
[Monad m]
[MonadLiftT (ST ω) m]
(s : σ)
:
StateRefT' ω σ m PUnit
Instances For
@[inline]
def
StateRefT'.modifyGet
{ω : Type}
{σ : Type}
{m : Type → Type}
{α : Type}
[Monad m]
[MonadLiftT (ST ω) m]
(f : σ → α × σ)
:
StateRefT' ω σ m α
Instances For
instance
StateRefT'.instMonadStateOfStateRefT'
{ω : Type}
{σ : Type}
{m : Type → Type}
[MonadLiftT (ST ω) m]
[Monad m]
:
MonadStateOf σ (StateRefT' ω σ m)
@[always_inline]
instance
StateRefT'.instMonadExceptOfStateRefT'
{ω : Type}
{σ : Type}
{m : Type → Type}
(ε : Type u_1)
[MonadExceptOf ε m]
:
MonadExceptOf ε (StateRefT' ω σ m)
instance
instMonadControlStateRefT'
(ω : Type)
(σ : Type)
(m : Type → Type)
:
MonadControl m (StateRefT' ω σ m)
instance
instMonadFinallyStateRefT'
{m : Type → Type}
{ω : Type}
{σ : Type}
[MonadFinally m]
[Monad m]
:
MonadFinally (StateRefT' ω σ m)