- h : Nonempty α
Instances For
@[inline]
Instances For
@[inline]
def
ST.Ref.set
{σ : Type}
{m : Type → Type}
[MonadLiftT (ST σ) m]
{α : Type}
(r : ST.Ref σ α)
(a : α)
:
m Unit
Instances For
@[inline]
def
ST.Ref.swap
{σ : Type}
{m : Type → Type}
[MonadLiftT (ST σ) m]
{α : Type}
(r : ST.Ref σ α)
(a : α)
:
m α
Instances For
@[inline]
unsafe def
ST.Ref.take
{σ : Type}
{m : Type → Type}
[MonadLiftT (ST σ) m]
{α : Type}
(r : ST.Ref σ α)
:
m α
Instances For
@[inline]
def
ST.Ref.modify
{σ : Type}
{m : Type → Type}
[MonadLiftT (ST σ) m]
{α : Type}
(r : ST.Ref σ α)
(f : α → α)
:
m Unit
Instances For
def
ST.Ref.toMonadStateOf
{σ : Type}
{m : Type → Type}
[MonadLiftT (ST σ) m]
{α : Type}
(r : ST.Ref σ α)
:
MonadStateOf α m