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

composition

composition

Functions

§
(V 
type
, T 
type
, U 
type
, f Binary V T U, g Unary U T)
 => 
Unary V T
§
(W 
type
, V 
type
, U 
type
, T 
type
, f Binary W V U, g Unary U T)
 => 
Binary W V T
§
 => 
String  
[Inherited from  Any]
§
(W 
type
, V 
type
, T 
type
, U 
type
, f Unary W V, g Binary V T U)
 => 
Binary W T U
§
(D 
type
, C 
type
, B 
type
, A 
type
, f Unary D C, g Unary C B, h Unary B A)
 => 
Unary D A
§
(U 
type
, V 
type
, W 
type
, f Unary U V, g Binary W U V)
 => 
Unary W V
§
(U 
type
, T 
type
, W 
type
, V 
type
, f Unary U T, g Binary W U V)
 => 
Binary W T V
§
(V 
type
, U 
type
, T 
type
, f Unary V U, g Unary U T)
 => 
Unary V T
§
(T 
type
, U 
type
, v T)
 => 
Unary T U
§
(T 
type
, U 
type
, V 
type
, v T)
 => 
Binary T U V
§
(T 
type
, U 
type
)
 => 
Binary T T U
§
(V 
type
, T 
type
, X 
type
, W 
type
, U 
type
, f Unary V T, g Binary X V W, h Unary W U)
 => 
Binary X T U
§
 => 
Type  
[Inherited from  Any]
§
(V 
type
, T 
type
, U 
type
, f Binary V T U)
 => 
Binary V U T
§
(V 
type
, U1 
type
, U2 
type
, T1 
type
, T2 
type
, f Binary V U1 U2, g Unary U1 T1, h Unary U2 T2)
 => 
Binary V T1 T2
§
(V 
type
, U1 
type
, U2 
type
, T1 
type
, T2 
type
, f Binary V U1 U2, g Binary U1 T1 T2, h Binary U2 T1 T2)
 => 
Binary V T1 T2
§
(T 
type
)
 => 
Unary T T
§
(U 
type
, T 
type
, f Binary U T T)
 => 
Unary U T
§
(T 
type
, U 
type
)
 => 
Binary T T U
§
(T 
type
, U 
type
, V 
type
, f0 Unary (Unary V T) (Unary U T), f1 Unary U T)
 => 
Unary V T
§
(T 
type
)
 => 
Unary T T
§
(V 
type
, U 
type
, T 
type
, f Binary V U U, g Unary U T)
 => 
Binary V T T
§
(A 
type
, B 
type
, f Unary A (Unary B A), g Unary B A)
 => 
B
§
 => 
String  
[Inherited from  Any]
§
(T 
type
, U 
type
)
 => 
Binary U T U
§
(T 
type
, U 
type
, V 
type
, x T, f Binary V T U)
 => 
Unary V U
§
(T 
type
, U 
type
, V 
type
, W 
type
, x T, y U, f Function W T U V)
 => 
Unary W V

Type Functions

§
 => 
String  
[Inherited from  Type]

redefines:

§
 => 
Type  
[Inherited from  Type]

redefines:

§
(T 
type
)
 => 
bool  
[Inherited from  Type]
§
 => 
String  
[Inherited from  Type]
§
 => 
String  
[Inherited from  Type]

redefines:

§
 => 
Type  
[Inherited from  Any]