Data.Functor.Product

Documentation

data Product a b

Constructors

a :&: b infixr 1

Instances

Bicovariant Product

Defined in Data.Functor.Product

Methods

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

Covariant (Product a)

Defined in Data.Functor.Product

Methods

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

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

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

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

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

Extractable (Product a)

Defined in Data.Functor.Product

Methods

extract :: Product a a0 -> a0

type (:&:) = Product infixr 1