python

The category of Python functions with tuple as monoidal product.

Summary

Ty	alias of tuple[type, ...]
Function	A function is a callable inside with a pair of types dom and 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.