Data.Functor.Contravariant

Contravariant Functors

class Contravariant f

Operators

(>$<)

(>$$<)

Predicates

data Predicate a

Comparisons

data Comparison a

defaultComparison

Equivalence Relations

data Equivalence a

defaultEquivalence

Dual arrows

data Op a b