Module

Data.Equivalence

#Equivalence

newtype Equivalence a

An adaptor allowing >$< to map over the inputs of an equivalence relation.

Constructors

Instances

#defaultEquivalence

defaultEquivalence :: forall a. Eq a => Equivalence a

The default equivalence relation for any values with an Eq instance.

#comparisonEquivalence

comparisonEquivalence :: forall a. Comparison a -> Equivalence a

An equivalence relation for any Comparison.

Modules