Ty

class discopy.feedback.Ty(*inside, dom=None, cod=None, _scan=True, **kwargs)

Bases: discopy.monoidal.Ty

A feedback type is a monoidal type with delay, head and tail.

Parameters:

• inside (str | cat.Ob) –

• dom (C0) –

• cod (C0) –

• _scan (bool) –

generator_factory

alias of Ob

delay(n_steps=1)

The delay of a feedback type by n_steps.

property head

The head of a feedback type, see HeadOb.

property tail

The tail of a feedback type, see TailOb.

property d

delay.

Type:

Syntactic sugar for meth

factory

alias of Ty