purescript-0.9.1: examples/passing/EqOrd.purs

module Main where

import Prelude
import Control.Monad.Eff.Console (log, logShow)

data Pair a b = Pair a b

instance ordPair :: (Ord a, Ord b) => Ord (Pair a b) where
  compare (Pair a1 b1) (Pair a2 b2) = case compare a1 a2 of
    EQ -> compare b1 b2
    r -> r

instance eqPair :: (Eq a, Eq b) => Eq (Pair a b) where
  eq (Pair a1 b1) (Pair a2 b2) = a1 == a2 && b1 == b2

main = do
  logShow $ Pair 1.0 2.0 == Pair 1.0 2.0
  log "Done"