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

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Product

Documentation

data Product a b Source #

Constructors

a :&: b infixr 1 
Instances
Bicovariant Product Source # 
Instance details

Defined in Data.Functor.Product

Methods

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

Covariant (Product a) Source # 
Instance details

Defined in Data.Functor.Product

Methods

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

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

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

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

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

Extractable (Product a) Source # 
Instance details

Defined in Data.Functor.Product

Methods

extract :: Product a a0 -> a0 Source #

Extendable (Product a) Source # 
Instance details

Defined in Data.Functor.Product

Methods

(=>>) :: Product a a0 -> (Product a a0 -> b) -> Product a b Source #

(<<=) :: (Product a a0 -> b) -> Product a a0 -> Product a b Source #

extend :: (Product a a0 -> b) -> Product a a0 -> Product a b Source #

duplicate :: Product a a0 -> (Product a :.: Product a) a0 Source #

(=<=) :: (Product a b -> c) -> (Product a a0 -> b) -> Product a a0 -> c Source #

(=>=) :: (Product a a0 -> b) -> (Product a b -> c) -> Product a a0 -> c Source #

Comonad (Product a) Source # 
Instance details

Defined in Data.Functor.Product

type (:&:) = Product infixr 1 Source #