Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal

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]

Type Parameters

Functions

§
 => 
bool  
[Inherited from  effect]
§
 => 
String  
[Inherited from  Any]
§
 => 
unit  
[Inherited from  effect]
§
 => 
Type  
[Inherited from  Any]
§
 => 
unit  
[Inherited from  effect]
§
(R 
type
, code Function R)
 => 
R  
[Inherited from  effect]
§
(f Unary monad.MA monad.A)
 => 
monad.MA  
[Inherited from  monad]
  
[Abstract feature]
§
(B 
type
, MB 
type
, f Unary MB monad.A)
 => 
MB  
[Inherited from  monad]
  
[Abstract feature]
§
(R 
type
, code Function R)
 => 
R  
[Inherited from  effect]
§
 => 
String  
[Inherited from  Any]
§
 => 
unit  
[Inherited from  effect]

Type Functions

§
 => 
void  
[Inherited from  effect]
§
(e effect.this.type)
 => 
void  
[Inherited from  effect]
§
 => 
String  
[Inherited from  Type]

redefines:

§
(e effect.this.type)
 => 
unit  
[Inherited from  effect]
§
 => 
Type  
[Inherited from  Type]

redefines:

§
 => 
effect.this.type  
[Inherited from  effect]
§
(T 
type
)
 => 
bool  
[Inherited from  Type]
§
(E 
type
, e E)
 => 
effect0 E  
[Inherited from  effect]
§
(R 
type
, e effect.this.type, code Function R)
 => 
R  
[Inherited from  effect]
§
(R 
type
, e effect.this.type, code Function R, def Unary R effect.this.type)
 => 
R  
[Inherited from  effect]
§
 => 
bool  
[Inherited from  effect]
§
 => 
String  
[Inherited from  Type]
§
 => 
String  
[Inherited from  Type]

redefines:

§
(e effect.this.type)
 => 
unit  
[Inherited from  effect]
§
 => 
void  
[Inherited from  effect]
§
(a monad.type.A)
 => 
monad.type.MA  
[Inherited from  monad]
  
[Abstract feature]
§
 => 
Type  
[Inherited from  Any]