Test.GMap.Utils

Documentation

data Test m1 m2 where

Constructors

SimpleTest :: Testable b => (m1 -> b) -> Test m1 m2

SimpleTest2 :: Testable b => ((m1, m1) -> b) -> Test m1 m2

CompareTest :: (Arbitrary a, Show a, Eq b) => (m1 -> a -> b) -> (m2 -> a -> b) -> Test m1 m2

CompareTest2 :: (Arbitrary a, Show a, Eq b) => ((m1, m1) -> a -> b) -> ((m2, m2) -> a -> b) -> Test m1 m2

Instances

(OrderedMap mp1 k, OrderedMap mp2 k, Show (mp1 a), Show (mp2 a), Arbitrary k, Arbitrary a, Show k, Show a) => Testable (Test (mp1 a) (mp2 a))

compareTest :: (OrderedMap mp1 k, OrderedMap mp2 k, Arbitrary a, Show a, Eq b, Ord k) => (forall mp. (OrderedMap mp k, Eq k, Ord k) => mp e -> a -> b) -> Test (mp1 e) (mp2 e)

compareTest2 :: (OrderedMap mp1 k, OrderedMap mp2 k, Arbitrary a, Show a, Eq b, Ord k) => (forall mp. (OrderedMap mp k, Eq k, Ord k) => (mp e, mp e) -> a -> b) -> Test (mp1 e) (mp2 e)

type Tests m1 m2 = [(Test m1 m2, String)]

runTests :: Testable (Test m1 m2) => Tests m1 m2 -> Int -> IO ()

runAListTest :: (OrderedMap mp k, Testable (Test (mp a) (AList k a))) => mp a -> Tests (mp a) (AList k a) -> Int -> IO ()

runSListTest :: (OrderedMap mp k, Testable (Test (mp a) (SList mp k a))) => mp a -> Tests (mp a) (SList mp k a) -> Int -> IO ()