Swap#
- class discopy.monoidal.Swap(left, right)[source]#
Bases:
BinaryBoxConstructor
,Box
Implements the symmetry of atomic types.
- Parameters:
left (monoidal.Ty) – of length 1.
right (monoidal.Ty) – of length 1.
Bases: BinaryBoxConstructor
, Box
Implements the symmetry of atomic types.
left (monoidal.Ty) – of length 1.
right (monoidal.Ty) – of length 1.