¤ PF, PK


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.


Either a customiser tagged Left or normal input tagged Right


Normal output

See Also

F, Customiser

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