Module

Data.Equivalence

Package
contravariant
Repository
purescript/purescript-contravariant

#Equivalence Source

newtype Equivalence a

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

Constructors

Instances

#defaultEquivalence Source

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

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

#comparisonEquivalence Source

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

An equivalence relation for any Comparison.