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 Monoid.phi
Raw

tests/Test/Data/Monoid.phi 

 

module Test.Data.Monoid where





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

import Prelude

import Data.Monoid (mempty)

import Data.Ordering (Ordering(..))



propList :: [Int]->Bool

propList xs = (xs <> mempty) == (mempty <> xs) && (xs <> mempty) == xs



propUnit :: Bool

propUnit  = ((unit <> mempty) == (mempty <> unit)) && (unit <> mempty) == unit



propOrdering1 :: Bool

propOrdering1 = (EQ <> mempty) == (mempty <> EQ) && (EQ <> mempty) == EQ



propOrdering2 :: Bool

propOrdering2 = (LT <> mempty) == (mempty <> LT) && (LT <> mempty) == LT 



propOrdering3 :: Bool

propOrdering3 = (GT <> mempty) == (mempty <> GT) && (GT <> mempty) == GT



test :: TestGroup (Integer -> IO TestResult)

test = Exe [

    quickCheck "list" propList

   ,quickCheck "unit" propUnit

   ,quickCheck "Ordering1" propOrdering1

   ,quickCheck "Ordering2" propOrdering2

   ,quickCheck "Ordering3" propOrdering3 

]