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 :: Type -> Type)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor (Op2 a)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor (Op1 a)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor (Const a :: Type -> Type)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor f => Functor (Alt f)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor f => Functor (Reverse f)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor f => Functor (WriterT w f)

Defined in Data.Functor.Contravariant

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)

Defined in Data.Functor.Contravariant

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)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor f => Functor (Backwards f)

Defined in Data.Functor.Contravariant

Methods

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

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

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

Defined in Data.Functor.Contravariant

Methods

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

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

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

Defined in Data.Functor.Contravariant

Methods

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

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

Functor f => Functor (ReaderT r f)

Defined in Data.Functor.Contravariant

Methods

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

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

Functor (s (t m)) => Functor (ComposeT s t m)

Defined in Control.Monad.Trans.Compose

Methods

gmap :: (a -> b) -> ComposeT s t m b -> ComposeT s t m a

(>$) :: b -> ComposeT s t m b -> ComposeT s t m a

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

newtype Op1 b a

Constructors

Op1

Fields

• op1 :: a -> b

Instances

Functor (Op1 a)

Defined in Data.Functor.Contravariant

Methods

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

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

Category Op1

Defined in Data.Functor.Contravariant

Methods

id :: Op1 a a

(.) :: Op1 b c -> Op1 a b -> Op1 a c

Semigroup a => Semigroup (Op1 a b)

Defined in Data.Functor.Contravariant

Methods

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

sconcat :: NonEmpty (Op1 a b) -> Op1 a b

stimes :: Integral b0 => b0 -> Op1 a b -> Op1 a b

(Semigroup a, Monoid a) => Monoid (Op1 a b)

Defined in Data.Functor.Contravariant

Methods

mempty :: Op1 a b

mappend :: Op1 a b -> Op1 a b -> Op1 a b

mconcat :: [Op1 a b] -> Op1 a b

newtype Op2 b a

Constructors

Op2

Fields

• op2 :: a -> a -> b

Instances

Functor (Op2 a)

Defined in Data.Functor.Contravariant

Methods

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

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

Semigroup a => Semigroup (Op2 a b)

Defined in Data.Functor.Contravariant

Methods

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

sconcat :: NonEmpty (Op2 a b) -> Op2 a b

stimes :: Integral b0 => b0 -> Op2 a b -> Op2 a b

(Semigroup a, Monoid a) => Monoid (Op2 a b)

Defined in Data.Functor.Contravariant

Methods

mempty :: Op2 a b

mappend :: Op2 a b -> Op2 a b -> Op2 a b

mconcat :: [Op2 a b] -> Op2 a b