Module

Data.Functor.Product

Package
purescript-functors
Repository
purescript/purescript-functors

#Product Source

newtype Product f g a

Product f g is the product of the two functors f and g.

Constructors

Instances

#product Source

product :: forall a g f. f a -> g a -> Product f g a

Create a product.

#bihoistProduct Source

bihoistProduct :: forall i h g f. (f ~> h) -> (g ~> i) -> (Product f g) ~> (Product h i)