Function

class discopy.python.function.Function(inside, dom, cod)

Bases: discopy.abc.Category

Python function with sequential composition.

Parameters:

• inside (Callable) – The callable Python object inside the function.

• dom (List[type]) – The domain of the function, i.e. its input type.

• cod (List[type]) – The codomain of the function, i.e. its output type.

Note

The objects are monoidal.List [type], the free monoid on Python’s type: a type or a tuple of types is cast into one.

Summary

id(dom)	The identity function on a given list of types dom.
then(other)	The sequential composition of two functions, called with >>.

factory

alias of Function

classmethod id(dom)

The identity function on a given list of types dom.

Parameters:

dom (type) – The list of types on which to take the identity.

Return type:

Function

then(other)

The sequential composition of two functions, called with >>.

Parameters:

other (Function) – The other function to compose in sequence.

Return type:

Function