Reference API
Notebooks
Extra
The category of Python functions with tuple as monoidal product.
Ty
alias of tuple[type, ...]
tuple
type
Function
A function is a callable inside with a pair of types dom and cod.
inside
dom
cod
Functions
exp
The exponential of a tuple of Python types by another.
tuplify
Turns anything into a tuple, do nothing if it is already.
untuplify
Takes the element out of a tuple if it has length 1, otherwise do nothing.
is_tuple
Whether a given type is tuple or a paramaterised tuple.