Packages

phi

0.3.5
0.3.6 0.3.5 0.3.1

The Phi Programming Language

HexDocs

Current section

Files

Jump to
Readme
3 Versions
0 Dependencies
Dependants
Files
Activity
phi tests Test Data Either.phi
Raw

tests/Test/Data/Either.phi 

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)

           ]