Control.Functor.Contravariant

Documentation

class Contravariant (t :: * -> *) where

When providing a new instance, you should ensure it satisfies the two laws:
* Identity morphism: contramap identity ≡ identity
* Composition of morphisms: contramap f . contramap g ≡ contramap (g . f)

Minimal complete definition

(>$<)

Methods

(>$<) :: (a -> b) -> t b -> t a infixl 4

Infix version of contramap

contramap :: (a -> b) -> t b -> t a

Prefix version of >$<

(>$) :: b -> t b -> t a infixl 4

Replace all locations in the output with the same value

($<) :: t b -> b -> t a infixl 4

Flipped version of >$

full :: t () -> t a

Fill the input of evaluation

Instances

Contravariant (Opposite a)

Defined in Data.Functor.Arrow.Opposite

Methods

(>$<) :: (a0 -> b) -> Opposite a b -> Opposite a a0

contramap :: (a0 -> b) -> Opposite a b -> Opposite a a0

(>$) :: b -> Opposite a b -> Opposite a a0

($<) :: Opposite a b -> b -> Opposite a a0

full :: Opposite a () -> Opposite a a0

Contravariant (Constant a :: * -> *)

Defined in Data.Functor.Constant

Methods

(>$<) :: (a0 -> b) -> Constant a b -> Constant a a0

contramap :: (a0 -> b) -> Constant a b -> Constant a a0

(>$) :: b -> Constant a b -> Constant a a0

($<) :: Constant a b -> b -> Constant a a0

full :: Constant a () -> Constant a a0

Contravariant (Lan t u b)

Defined in Data.Functor.Extension.Kan

Methods

(>$<) :: (a -> b0) -> Lan t u b b0 -> Lan t u b a

contramap :: (a -> b0) -> Lan t u b b0 -> Lan t u b a

(>$) :: b0 -> Lan t u b b0 -> Lan t u b a

($<) :: Lan t u b b0 -> b0 -> Lan t u b a

full :: Lan t u b () -> Lan t u b a

(Covariant t, Contravariant u) => Contravariant (T Co Contra t u)

Defined in Data.Functor.Composition.T

Methods

(>$<) :: (a -> b) -> T Co Contra t u b -> T Co Contra t u a

contramap :: (a -> b) -> T Co Contra t u b -> T Co Contra t u a

(>$) :: b -> T Co Contra t u b -> T Co Contra t u a

($<) :: T Co Contra t u b -> b -> T Co Contra t u a

full :: T Co Contra t u () -> T Co Contra t u a

(Contravariant t, Covariant u) => Contravariant (T Contra Co t u)

Defined in Data.Functor.Composition.T

Methods

(>$<) :: (a -> b) -> T Contra Co t u b -> T Contra Co t u a

contramap :: (a -> b) -> T Contra Co t u b -> T Contra Co t u a

(>$) :: b -> T Contra Co t u b -> T Contra Co t u a

($<) :: T Contra Co t u b -> b -> T Contra Co t u a

full :: T Contra Co t u () -> T Contra Co t u a

(Covariant t, Covariant u, Contravariant v) => Contravariant (TT Co Co Contra t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Co Co Contra t u v b -> TT Co Co Contra t u v a

contramap :: (a -> b) -> TT Co Co Contra t u v b -> TT Co Co Contra t u v a

(>$) :: b -> TT Co Co Contra t u v b -> TT Co Co Contra t u v a

($<) :: TT Co Co Contra t u v b -> b -> TT Co Co Contra t u v a

full :: TT Co Co Contra t u v () -> TT Co Co Contra t u v a

(Covariant t, Contravariant u, Covariant v) => Contravariant (TT Co Contra Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Co Contra Co t u v b -> TT Co Contra Co t u v a

contramap :: (a -> b) -> TT Co Contra Co t u v b -> TT Co Contra Co t u v a

(>$) :: b -> TT Co Contra Co t u v b -> TT Co Contra Co t u v a

($<) :: TT Co Contra Co t u v b -> b -> TT Co Contra Co t u v a

full :: TT Co Contra Co t u v () -> TT Co Contra Co t u v a

(Contravariant t, Covariant u, Covariant v) => Contravariant (TT Contra Co Co t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Contra Co Co t u v b -> TT Contra Co Co t u v a

contramap :: (a -> b) -> TT Contra Co Co t u v b -> TT Contra Co Co t u v a

(>$) :: b -> TT Contra Co Co t u v b -> TT Contra Co Co t u v a

($<) :: TT Contra Co Co t u v b -> b -> TT Contra Co Co t u v a

full :: TT Contra Co Co t u v () -> TT Contra Co Co t u v a

(Contravariant t, Contravariant u, Contravariant v) => Contravariant (TT Contra Contra Contra t u v)

Defined in Data.Functor.Composition.TT

Methods

(>$<) :: (a -> b) -> TT Contra Contra Contra t u v b -> TT Contra Contra Contra t u v a

contramap :: (a -> b) -> TT Contra Contra Contra t u v b -> TT Contra Contra Contra t u v a

(>$) :: b -> TT Contra Contra Contra t u v b -> TT Contra Contra Contra t u v a

($<) :: TT Contra Contra Contra t u v b -> b -> TT Contra Contra Contra t u v a

full :: TT Contra Contra Contra t u v () -> TT Contra Contra Contra t u v a

(Covariant t, Covariant u, Covariant v, Contravariant w) => Contravariant (TTT Co Co Co Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Co Co Contra t u v w b -> TTT Co Co Co Contra t u v w a

contramap :: (a -> b) -> TTT Co Co Co Contra t u v w b -> TTT Co Co Co Contra t u v w a

(>$) :: b -> TTT Co Co Co Contra t u v w b -> TTT Co Co Co Contra t u v w a

($<) :: TTT Co Co Co Contra t u v w b -> b -> TTT Co Co Co Contra t u v w a

full :: TTT Co Co Co Contra t u v w () -> TTT Co Co Co Contra t u v w a

(Covariant t, Covariant u, Contravariant v, Covariant w) => Contravariant (TTT Co Co Contra Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Co Contra Co t u v w b -> TTT Co Co Contra Co t u v w a

contramap :: (a -> b) -> TTT Co Co Contra Co t u v w b -> TTT Co Co Contra Co t u v w a

(>$) :: b -> TTT Co Co Contra Co t u v w b -> TTT Co Co Contra Co t u v w a

($<) :: TTT Co Co Contra Co t u v w b -> b -> TTT Co Co Contra Co t u v w a

full :: TTT Co Co Contra Co t u v w () -> TTT Co Co Contra Co t u v w a

(Covariant t, Contravariant u, Covariant v, Covariant w) => Contravariant (TTT Co Contra Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Contra Co Co t u v w b -> TTT Co Contra Co Co t u v w a

contramap :: (a -> b) -> TTT Co Contra Co Co t u v w b -> TTT Co Contra Co Co t u v w a

(>$) :: b -> TTT Co Contra Co Co t u v w b -> TTT Co Contra Co Co t u v w a

($<) :: TTT Co Contra Co Co t u v w b -> b -> TTT Co Contra Co Co t u v w a

full :: TTT Co Contra Co Co t u v w () -> TTT Co Contra Co Co t u v w a

(Covariant t, Contravariant u, Contravariant v, Contravariant w) => Contravariant (TTT Co Contra Contra Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Co Contra Contra Contra t u v w b -> TTT Co Contra Contra Contra t u v w a

contramap :: (a -> b) -> TTT Co Contra Contra Contra t u v w b -> TTT Co Contra Contra Contra t u v w a

(>$) :: b -> TTT Co Contra Contra Contra t u v w b -> TTT Co Contra Contra Contra t u v w a

($<) :: TTT Co Contra Contra Contra t u v w b -> b -> TTT Co Contra Contra Contra t u v w a

full :: TTT Co Contra Contra Contra t u v w () -> TTT Co Contra Contra Contra t u v w a

(Contravariant t, Covariant u, Covariant v, Covariant w) => Contravariant (TTT Contra Co Co Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Co Co Co t u v w b -> TTT Contra Co Co Co t u v w a

contramap :: (a -> b) -> TTT Contra Co Co Co t u v w b -> TTT Contra Co Co Co t u v w a

(>$) :: b -> TTT Contra Co Co Co t u v w b -> TTT Contra Co Co Co t u v w a

($<) :: TTT Contra Co Co Co t u v w b -> b -> TTT Contra Co Co Co t u v w a

full :: TTT Contra Co Co Co t u v w () -> TTT Contra Co Co Co t u v w a

(Contravariant t, Covariant u, Contravariant v, Contravariant w) => Contravariant (TTT Contra Co Contra Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Co Contra Contra t u v w b -> TTT Contra Co Contra Contra t u v w a

contramap :: (a -> b) -> TTT Contra Co Contra Contra t u v w b -> TTT Contra Co Contra Contra t u v w a

(>$) :: b -> TTT Contra Co Contra Contra t u v w b -> TTT Contra Co Contra Contra t u v w a

($<) :: TTT Contra Co Contra Contra t u v w b -> b -> TTT Contra Co Contra Contra t u v w a

full :: TTT Contra Co Contra Contra t u v w () -> TTT Contra Co Contra Contra t u v w a

(Contravariant t, Contravariant u, Covariant v, Contravariant w) => Contravariant (TTT Contra Contra Co Contra t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Contra Co Contra t u v w b -> TTT Contra Contra Co Contra t u v w a

contramap :: (a -> b) -> TTT Contra Contra Co Contra t u v w b -> TTT Contra Contra Co Contra t u v w a

(>$) :: b -> TTT Contra Contra Co Contra t u v w b -> TTT Contra Contra Co Contra t u v w a

($<) :: TTT Contra Contra Co Contra t u v w b -> b -> TTT Contra Contra Co Contra t u v w a

full :: TTT Contra Contra Co Contra t u v w () -> TTT Contra Contra Co Contra t u v w a

(Contravariant t, Contravariant u, Contravariant v, Covariant w) => Contravariant (TTT Contra Contra Contra Co t u v w)

Defined in Data.Functor.Composition.TTT

Methods

(>$<) :: (a -> b) -> TTT Contra Contra Contra Co t u v w b -> TTT Contra Contra Contra Co t u v w a

contramap :: (a -> b) -> TTT Contra Contra Contra Co t u v w b -> TTT Contra Contra Contra Co t u v w a

(>$) :: b -> TTT Contra Contra Contra Co t u v w b -> TTT Contra Contra Contra Co t u v w a

($<) :: TTT Contra Contra Contra Co t u v w b -> b -> TTT Contra Contra Contra Co t u v w a

full :: TTT Contra Contra Contra Co t u v w () -> TTT Contra Contra Contra Co t u v w a