Idris2Doc : Data.Contravariant

Data.Contravariant

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

Fixity Declaration: infixl operator, level 4
(>$) : Contravariantf => b -> fb -> fa

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

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

Fixity Declaration: infixl operator, level 4
No documentation for Data.Contravariant.ComposeNo documentation for Data.Contravariant.ComposeCFNo documentation for Data.Contravariant.ComposeFC
Contravariant : (Type -> Type) -> Type
Contravariant functors
Parameters: f
Methods:
contramap : (a -> b) -> fb -> fa
(>$) : b -> fb -> fa

Implementation: 
Contravariant (Consta)
contramap : Contravariantf => (a -> b) -> fb -> fa
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.