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

Equivalence (a -> a -> Boolean)

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.

Modules: Data.Comparison; Data.Decidable; Data.Decide; Data.Divide; Data.Divisible; Data.Equivalence; Data.Functor.Contravariant; Data.Op; Data.Predicate