module Test.Data.Either where

import Test.QuickCheck (TestGroup(..), TestResult, quickCheck)
import Prelude

l1 :: Either Integer Integer
l1 = Left 1

r1 :: Either Integer Integer
r1 = Right 1

l2 :: Either Integer Integer
l2 = Left 2

test :: TestGroup (Integer -> IO TestResult)
test = Exe [ quickCheck "eq1" (l1 == l1)
           , quickCheck "eq2" (r1 == r1)
           , quickCheck "eq3" (l1 /= r1)
           , quickCheck "eq4" (l1 /= l2)
           , quickCheck "show1" (show l1 == "Left 1")
           , quickCheck "show2" (show r1 == "Right 1")
           , quickCheck "ord1" (l2 < r1)
           , quickCheck "ord2" (l2 > l1)
           ]