Data.Contravariant

Definitions

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
Visibility: public export

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

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 4

phantom : Contravariant f => Functor 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
Visibility: public export

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

  This is an infix alias for `contramap`.

Totality: total
Visibility: public export
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
Visibility: public export
Fixity Declaration: infixl operator, level 4

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

  This is `>$` with its arguments flipped.

Totality: total
Visibility: public export
Fixity Declaration: infixl operator, level 4