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

fork

composition.fork

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

Type Parameters

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