Swap#
- class discopy.symmetric.Swap(left, right)[source]#
-
The swap of atomic types
left
andright
.- Parameters:
left – The type on the top left and bottom right.
right – The type on the top right and bottom left.
Important
Swap
is only defined for atomic types (i.e. of length 1). For complex types, useDiagram.swap()
instead.