chickadee » generalized-arrays » array-transducible

array-transducibleconstant
reverse-array-transducibleconstant

Transducible type-classes over the lexicographic and reverse-lexicographic transducer operations over arrays.