morphisms-functors-0.1.3: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Basic.Constant

Documentation

newtype Constant a b Source #

Constructors

Constant a 
Instances
Contravariant (Constant a :: * -> *) Source # 
Instance details

Defined in Control.Functor.Basic.Constant

Methods

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

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

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

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

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

Covariant (Constant a :: * -> *) Source # 
Instance details

Defined in Control.Functor.Basic.Constant

Methods

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

comap :: (a0 -> b) -> Constant a a0 -> Constant a b Source #

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

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

void :: Constant a a0 -> Constant a () Source #

Traversable (Constant a :: * -> *) Source # 
Instance details

Defined in Control.Functor.Basic.Constant

Methods

(->>) :: (Pointable u, Applicative u) => Constant a a0 -> (a0 -> u b) -> (u :.: Constant a) b Source #

traverse :: (Pointable u, Applicative u) => (a0 -> u b) -> Constant a a0 -> (u :.: Constant a) b Source #

sequence :: (Pointable u, Applicative u) => (Constant a :.: u) a0 -> (u :.: Constant a) a0 Source #