| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
NumHask.Algebra.Integral
Contents
Description
Integral domains
- class Ring a => Integral a where
- class Integral a => 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
Minimal complete definition
class Integral a => ToInteger a where Source #
toInteger and fromInteger as per the base Num instance is problematic for numbers with a Basis
Minimal complete definition
class Ring a => FromInteger a where Source #
fromInteger
Methods
fromInteger :: Integer -> a Source #
Instances
fromIntegral :: (ToInteger a, FromInteger b) => a -> b Source #
This splitting away of fromInteger from the Ring instance tends to increase constraint boier-plate