Safe Haskell | None |
---|---|
Language | Haskell2010 |
Integral domains
- class Ring a => Integral a where
- class ToInteger a where
- class Ring a => FromInteger a where
- fromIntegral :: (ToInteger a, FromInteger b) => a -> b
Integral
class Ring a => Integral a where Source #
Integral
b == zero || b * (a `div` b) + (a `mod` b) == a
class ToInteger a where Source #
toInteger and fromInteger as per the base Num
instance is problematic for numbers with a Basis
fromIntegral :: (ToInteger a, FromInteger b) => a -> b Source #
This splitting away of fromInteger from the Ring
instance tends to increase constraint boier-plate