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

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Constant

Documentation

newtype Constant a b Source #

Constructors

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

Defined in Data.Functor.Constant

Methods

bicomap :: (a -> b) -> (c -> d) -> Constant a c -> Constant b d Source #

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

Defined in Data.Functor.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 Data.Functor.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 Data.Functor.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 #