úηùAn 9 is an equivalence relation on a range of values of some  index type.  4 is an equivalence relation that equates two values L only when they are equal to each other. It is the most discerning such  relation possible. IGets the domain of an equivalence relation, as the ordered pair of index  bounds. ; gives a canonical representative of the equivalence class  containing x:. It is chosen arbitrarily, but is always the same for a  given class and  value. #If you are using this function, you'#re probably doing something wrong.  Please note that: = The representative chosen depends on the order in which the E equivalence relation was built, and is not always the same for / values that represent the same relation. 9 The representative is not particularly stable. Uses of  are " highly likely to change it. B If all you need is some representative of the equivalence class, F you have to provide one as input to the function anyway, so you  may as well use that. JBecause of this, the function may be removed in a future version. Please 4 contact me if you have a compelling use for it. DDetermines if two values are equivalent under the given equivalence  relation. EDetermines if all of the given values are equivalent under the given  equivalence relation. FConstruct the equivalence relation obtained by equating the given two 0 values. This combines equivalence classes. IConstruct the equivalence relation obtained by equating all of the given 0 values. This combines equivalence classes.      persistent-equivalence-0.2Data.Equivalence.Persistent EquivalenceemptyEquivalencedomainreprequiv equivalentequate equateAllranksparents arrayFromref reprHelper