Data.Functor.Contravariant

Documentation

class Functor f where

Minimal complete definition

gmap

Methods

gmap :: (a -> b) -> f b -> f a

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

Instances

Functor (Proxy *)

Methods

gmap :: (a -> b) -> Proxy * b -> Proxy * a

(>$) :: b -> Proxy * b -> Proxy * a

Functor (Op2 a)

Methods

gmap :: (a -> b) -> Op2 a b -> Op2 a a

(>$) :: b -> Op2 a b -> Op2 a a

Functor (Op1 a)

Methods

gmap :: (a -> b) -> Op1 a b -> Op1 a a

(>$) :: b -> Op1 a b -> Op1 a a

Functor (Const * a)

Methods

gmap :: (a -> b) -> Const * a b -> Const * a a

(>$) :: b -> Const * a b -> Const * a a

Functor f => Functor (Alt * f)

Methods

gmap :: (a -> b) -> Alt * f b -> Alt * f a

(>$) :: b -> Alt * f b -> Alt * f a

Functor f => Functor (Reverse * f)

Methods

gmap :: (a -> b) -> Reverse * f b -> Reverse * f a

(>$) :: b -> Reverse * f b -> Reverse * f a

Functor f => Functor (Backwards * f)

Methods

gmap :: (a -> b) -> Backwards * f b -> Backwards * f a

(>$) :: b -> Backwards * f b -> Backwards * f a

Functor f => Functor (WriterT w f)

Methods

gmap :: (a -> b) -> WriterT w f b -> WriterT w f a

(>$) :: b -> WriterT w f b -> WriterT w f a

Functor f => Functor (StateT s f)

Methods

gmap :: (a -> b) -> StateT s f b -> StateT s f a

(>$) :: b -> StateT s f b -> StateT s f a

Functor f => Functor (ExceptT e f)

Methods

gmap :: (a -> b) -> ExceptT e f b -> ExceptT e f a

(>$) :: b -> ExceptT e f b -> ExceptT e f a

(Functor f, Functor g) => Functor (Sum * f g)

Methods

gmap :: (a -> b) -> Sum * f g b -> Sum * f g a

(>$) :: b -> Sum * f g b -> Sum * f g a

(Functor f, Functor g) => Functor (Product * f g)

Methods

gmap :: (a -> b) -> Product * f g b -> Product * f g a

(>$) :: b -> Product * f g b -> Product * f g a

Functor f => Functor (ReaderT * r f)

Methods

gmap :: (a -> b) -> ReaderT * r f b -> ReaderT * r f a

(>$) :: b -> ReaderT * r f b -> ReaderT * r f a

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

newtype Op1 b a

Constructors

Op1

Fields

• op1 :: a -> b

Instances

Functor (Op1 a)

Methods

gmap :: (a -> b) -> Op1 a b -> Op1 a a

(>$) :: b -> Op1 a b -> Op1 a a

newtype Op2 b a

Constructors

Op2

Fields

• op2 :: a -> a -> b

Instances

Functor (Op2 a)

Methods

gmap :: (a -> b) -> Op2 a b -> Op2 a a

(>$) :: b -> Op2 a b -> Op2 a a