NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Algebra.Integral
Contents
Properties
Synopsis
propDivMod :: (Eq a, Integral a) => a -> a -> Bool
propCanonical :: (Eq a, Integral a) => a -> a -> a -> Bool
propZero :: (Eq a, Integral a) => a -> Bool
Properties
propDivMod :: (Eq a, Integral a) => a -> a -> Bool
propCanonical :: (Eq a, Integral a) => a -> a -> a -> Bool
propZero :: (Eq a, Integral a) => a -> Bool
Produced by Haddock version 0.7