 | NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes | Contents | Index |
|
|
|
|
|
| Description |
| Define common properties that can be used e.g. for automated tests.
Cf. to Test.QuickCheck.Utils.
|
|
|
| Documentation |
|
| commutative :: Eq a => (b -> b -> a) -> b -> b -> Bool |
|
| associative :: Eq a => (a -> a -> a) -> a -> a -> a -> Bool |
|
| leftIdentity :: Eq a => (b -> a -> a) -> b -> a -> Bool |
|
| rightIdentity :: Eq a => (a -> b -> a) -> b -> a -> Bool |
|
| identity :: Eq a => (a -> a -> a) -> a -> a -> Bool |
|
| leftZero :: Eq a => (a -> a -> a) -> a -> a -> Bool |
|
| rightZero :: Eq a => (a -> a -> a) -> a -> a -> Bool |
|
| zero :: Eq a => (a -> a -> a) -> a -> a -> Bool |
|
| leftInverse :: Eq a => (b -> b -> a) -> (b -> b) -> a -> b -> Bool |
|
| rightInverse :: Eq a => (b -> b -> a) -> (b -> b) -> a -> b -> Bool |
|
| inverse :: Eq a => (b -> b -> a) -> (b -> b) -> a -> b -> Bool |
|
| leftDistributive :: Eq a => (a -> b -> a) -> (a -> a -> a) -> b -> a -> a -> Bool |
|
| rightDistributive :: Eq a => (b -> a -> a) -> (a -> a -> a) -> b -> a -> a -> Bool |
|
| homomorphism :: Eq a => (b -> a) -> (b -> b -> b) -> (a -> a -> a) -> b -> b -> Bool |
|
| rightCascade :: Eq a => (b -> b -> b) -> (a -> b -> a) -> a -> b -> b -> Bool |
|
| leftCascade :: Eq a => (b -> b -> b) -> (b -> a -> a) -> a -> b -> b -> Bool |
|
| Produced by Haddock version 0.7 |