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

handles

handles

§
(T 
type
, X 
type
)
:
oneway_monad X, handles T X
 is
  
[Contains abstract features]
 
[Private constructor]

Type Parameters

Fields

Functions

§
 => 
bool  
[Inherited from  effect]
§
 => 
String  
[Inherited from  Any]
§
 => 
unit  
[Inherited from  effect]
§
 => 
Type  
[Inherited from  Any]
§
 => 
unit  
[Inherited from  effect]
§
(h handle0 handles.T)
 => 
handles.T
§
(R 
type
, code Function R)
 => 
R  
[Inherited from  effect]

redefines:

§
(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]