PascalsTriangle - 0.1.0

Stdlib.Data.Pair

Definitions

import Stdlib.Data.Pair.Base open public

instance eqProductI {A B} : {{Eq A}} -> {{Eq B}} -> Eq (Pair A B)Source#

instance ordProductI {A B} : {{Ord A}} -> {{Ord B}} -> Ord (Pair A B)Source#

instance showProductI {A B} : {{Show A}} -> {{Show B}} -> Show (Pair A B)Source#