Idris2Doc : Data.Contravariant

Data.Contravariant

($<) : Contravariant f => f b -> b -> f a

  This is `>$` with its arguments flipped.

Totality: total
Fixity Declaration: infixl operator, level 4

(>$) : Contravariant f => b -> f b -> f a

Totality: total
Fixity Declaration: infixl operator, level 4

(>$<) : Contravariant f => (a -> b) -> f b -> f a

  This is an infix alias for `contramap`.

Totality: total
Fixity Declaration: infixl operator, level 4

(>&<) : Contravariant f => f b -> (a -> b) -> f a

  This is an infix version of `contramap` with the arguments flipped.

Totality: total
Fixity Declaration: infixl operator, level 4

interface Contravariant : (Type -> Type) -> Type

  Contravariant functors

Parameters: f
Methods:

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

Implementation:

Contravariant (Const a)

contramap : Contravariant f => (a -> b) -> f b -> f a

Totality: total

phantom : (Functor f, Contravariant f) => f a -> f b

  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