Module

Data.Functor.Product

Package
functors
Repository
purescript/purescript-functors

#Product Source

newtype Product :: forall k. (k -> Type) -> (k -> Type) -> k -> Typenewtype Product f g a

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

Constructors

Instances

#product Source

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

Create a product.

#bihoistProduct Source

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