mikeizbicki/ifcxt
1
1
Fork 0
mirror of https://github.com/mikeizbicki/ifcxt.git synced 2024-10-03 18:37:19 +03:00
Code Issues Projects Releases Wiki Activity

Added tests which use looked-up <= functions

Browse Source
This commit is contained in:
Chris Warburton 2016-02-03 16:10:38 +00:00
parent 437c2f536f
commit cf466b3d60
1 changed files with 23 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
test/Main.hs
View File

@ -19,6 +19,10 @@ main = defaultMain $ testGroup "All tests" [
, testProperty "Get Ord for [Int]" haveOrdListInt
, testProperty "Can't get Ord for (Int -> Int)" noOrdFuncInt
, testProperty "Can't get Ord for [Int -> Int]" noOrdListFuncInt
, testProperty "Can use Ord for Int" usableOrdInt
, testProperty "Can use Ord for [Int]" usableOrdListInt
, testProperty "Can use Ord for (Int -> Int)" unusableOrdFuncInt
, testProperty "Can use Ord for [Int -> Int]" unusableOrdListFuncInt
]
-- Tests
@ -28,14 +32,28 @@ findOrdListInt = ifCxt (Proxy :: Proxy (Ord [Int])) True False
notFoundOrdFuncInt = ifCxt (Proxy :: Proxy (Ord (Int -> Int))) False True
notFoundOrdListFuncInt = ifCxt (Proxy :: Proxy (Ord [Int -> Int])) False True
haveOrdInt = isJust $ getLTE (Proxy :: Proxy Int)
haveOrdListInt = isJust $ getLTE (Proxy :: Proxy [Int])
noOrdFuncInt = isNothing $ getLTE (Proxy :: Proxy (Int -> Int))
noOrdListFuncInt = isNothing $ getLTE (Proxy :: Proxy [Int -> Int])
haveOrdInt = isJust $ getLTE (Proxy :: Proxy (Ord Int))
haveOrdListInt = isJust $ getLTE (Proxy :: Proxy (Ord [Int]))
noOrdFuncInt = isNothing $ getLTE (Proxy :: Proxy (Ord (Int -> Int)))
noOrdListFuncInt = isNothing $ getLTE (Proxy :: Proxy (Ord [Int -> Int]))
usableOrdInt (x :: Int) y = usableLTE x y
usableOrdListInt (x :: [Int]) y = usableLTE x y
unusableOrdFuncInt (x :: Int) y = unusableLTE (+x) (*y)
unusableOrdListFuncInt = unusableLTE ([] :: [Int -> Int]) []
-- Helpers
getLTE :: forall proxy a. (IfCxt (Ord a)) => proxy a -> Maybe (a -> a -> Bool)
getLTE :: forall proxy a. IfCxt (Ord a) => proxy (Ord a) -> Maybe (a -> a -> Bool)
getLTE _ = ifCxt (Proxy :: Proxy (Ord a))
(Just (<=))
Nothing
useLTE :: (IfCxt (Ord a)) => a -> a -> Maybe Bool
useLTE x y = getLTE (Proxy :: Proxy (Ord a)) <*> pure x <*> pure y
usableLTE :: (IfCxt (Ord a), Ord a) => a -> a -> Bool
usableLTE x y = useLTE x y == Just (x <= y)
unusableLTE :: (IfCxt (Ord a)) => a -> a -> Bool
unusableLTE x y = useLTE x y == Nothing