¤ PF, PK

Types

type PF p a b = F ((Customiser p) ⊕ a) b

type PK p a b = K ((Customiser p) ⊕ a) b

These are the types used for fudgets and fudget kernels that can be customised dynamically.

Input

Either a customiser tagged Left or normal input tagged Right

Output

Normal output

See Also

F, Customiser

For an example of a fudget that can be customised dynamically, see stringF''.