Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

fork2

composition.fork2

(V 
type
:
Type, U1 
type
:
Type, U2 
type
:
Type, T1 
type
:
Type, T2 
type
:
Type, f Binary V U1 U2, g Binary U1 T1 T2, h Binary U2 T1 T2)
 => 
Binary V T1 T2
Φ1
composition of two unary functions and one binary function
Bird: Pheasant (Hoekstra)
BQN: 3-train?
Haskell: ?

Type Parameters

0.095dev (2025-08-15 12:02:22 GIT hash 301b5b75e77076d091b38f555473f9f0e31e5b5c built by fridi@fzen)