Stdlib.Data.Product
Contents
import Stdlib.Data.Product.Base open public
instance eqProductI {A B} : {{Eq A}} -> {{Eq B}} -> Eq (A × B)Source#
instance ordProductI {A B} : {{Ord A}} -> {{Ord B}} -> Ord (A × B)Source#
instance showProductI {A B} : {{Show A}} -> {{Show B}} -> Show (A × B)Source#
