 | NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes | Contents | Index |
|
|
|
|
|
|
|
| Documentation |
|
| class C a where |
| | Methods | | up :: a -> a -> a | | | dn :: a -> a -> a |
| |  Instances | |
|
|
| max :: C a => a -> a -> a |
|
| min :: C a => a -> a -> a |
|
| abs :: (C a, C a) => a -> a |
|
| propUpCommutative :: (Eq a, C a) => a -> a -> Bool |
|
| propDnCommutative :: (Eq a, C a) => a -> a -> Bool |
|
| propUpAssociative :: (Eq a, C a) => a -> a -> a -> Bool |
|
| propDnAssociative :: (Eq a, C a) => a -> a -> a -> Bool |
|
| propUpDnDistributive :: (Eq a, C a) => a -> a -> a -> Bool |
|
| propDnUpDistributive :: (Eq a, C a) => a -> a -> a -> Bool |
|
| Produced by Haddock version 0.7 |