Module

Data.Functor.Product2

Package
purescript-functors
Repository
purescript/purescript-functors

#Product2 Source

data Product2 :: (Type -> Type -> Type) -> (Type -> Type -> Type) -> Type -> Type -> Typedata Product2 f g a b

The product of two types that both take two type parameters (e.g. Either, `Tuple, etc.) where both type parameters are the same.

Product2 (Tuple 4 true) (Right false) :: Product2 Tuple Either Int Boolean
Product2 (Tuple 4 true) (Left      8) :: Product2 Tuple Either Int Boolean

Constructors

Instances