Documentation
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 |
(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)Source
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)Source