| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@konecny.aow.cz |
Data.Number.ER.ExtendedInteger
Description
An arbitrary sized integer type with additional +infinity and -infinity.
To be imported qualified, usually with prefix EI.
- data ExtendedInteger
- isInfinite :: ExtendedInteger -> Bool
- binaryLog :: ExtendedInteger -> ExtendedInteger
- take :: ExtendedInteger -> [a] -> [a]
Documentation
data ExtendedInteger Source
Constructors
| MinusInfinity | |
| Finite Integer | |
| PlusInfinity |
binaryLog :: ExtendedInteger -> ExtendedIntegerSource
the smallest integer i for which 2^i <= abs n
take :: ExtendedInteger -> [a] -> [a]Source