|Maintainer||Anders Claesson <email@example.com>|
Permutation diagrams, or permutations as monads.
The purpose of this data type is to assign labels to the indices of a given permutation.
A permgram consists of a permutation together with a label for each index of the permutation.
Construct a permgram from an underlying permutation and a list of labels.