Data.Equivalence.STT

Equivalence Relation

data Equiv s c a

data Class s c a

leastEquiv

Operations on Equivalence Classes

getClass

combine

combineAll

same

desc

remove

Operations on Elements

equate

equateAll

equivalent

classDesc

removeClass