Idris2Doc : Data.Contravariant

Data.Contravariant

($<) : Contravariantf => fb -> b -> fa
  This is `>$` with its arguments flipped.

Totality: total
Fixity Declaration: infixl operator, level 4
(>$) : Contravariantf => b -> fb -> fa
Totality: total
Fixity Declaration: infixl operator, level 4
(>$<) : Contravariantf => (a -> b) -> fb -> fa
  This is an infix alias for `contramap`.

Totality: total
Fixity Declaration: infixl operator, level 4
(>&<) : Contravariantf => fb -> (a -> b) -> fa
  This is an infix version of `contramap` with the arguments flipped.

Totality: total
Fixity Declaration: infixl operator, level 4
interfaceContravariant : (Type -> Type) -> Type
  Contravariant functors

Parameters: f
Methods:
contramap : (a -> b) -> fb -> fa
(>$) : b -> fb -> fa
Fixity Declaration: infixl operator, level 4

Implementation: 
Contravariant (Consta)
contramap : Contravariantf => (a -> b) -> fb -> fa
Totality: total
phantom : (Functorf, Contravariantf) => fa -> fb
  If `f` is both `Functor` and `Contravariant` then by the time you factor in the
laws of each of those classes, it can't actually use its argument in any
meaningful capacity.

Totality: total