☰
state
state
§(T type, S type, val T, get S, mode oneway_monad_mode.val):oneway_monad T, state T S is [Contains abstract features]
§
(T
type
, S type
, val T, get S, mode oneway_monad_mode.val):
oneway_monad T, state T S is
[Contains abstract features]
Type Parameters
Functions
§(f Unary (state state.T state.S) state.T) => state state.T state.S [Redefinition of monad.infix >>=]
§
(f Unary (state state.T state.S) state.T)
=>
state state.T state.S [Redefinition of monad.infix >>=]
Type Functions
§(R type, e effect.this.type, code Function R, def Unary R effect.this.type) => R [Inherited from effect]
§
(R
type
, e effect.this.type, code Function R, def Unary R effect.this.type) =>
R [Inherited from effect]