☰
oneway_monad
oneway_monad
§(A type, OMA type:oneway_monad oneway_monad.A oneway_monad.OMA, mode oneway_monad_mode.val):monad A, OMA,effect is [Contains abstract features]
§
(A
type
, OMA type
:oneway_monad oneway_monad.A oneway_monad.OMA, mode oneway_monad_mode.val):
monad A, OMA,effect is
[Contains abstract features]
Type Parameters
Functions
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]