Data.Functor.Contravariant

Contravariant Functors

class Contravariant f

phantom

Operators

(>$<)

(>$$<)

($<)

Predicates

data Predicate a

Comparisons

data Comparison a

defaultComparison

Equivalence Relations

data Equivalence a

defaultEquivalence

comparisonEquivalence

Dual arrows

data Op a b