constraint-0.1.2.0: Reified constraints

Safe HaskellSafe
LanguageHaskell2010

Data.Constraint.Product

Documentation

class (a, b) => Product a b Source #

Instances
(a, b) => Product a b Source # 
Instance details

Defined in Data.Constraint.Product