Integer is:module
Compatibility module for pre-ghc-bignum code.
Deprecated: It is no faster than (^)
Compatibility module for pre ghc-bignum code.
Searching unbounded intervals of integers for the boundary of an
upward-closed set, using a combination of exponential and binary
search.
This module defines the structures used to represent and manipulate
RDF xsd:integer datatyped literals.
Summary
Type-level integers for GHC 7.8+.
We provide type level arithmetic operations. We also provide
term-level arithmetic operations on proxys, and conversion from the
type level to the term level.
Planned Obsolesence
We commit this package to hackage in sure and certain hope of the
coming of glorious GHC integer type literals, when the sea shall give
up her dead, and this package shall be rendered unto obsolescence.
The IntegerLog module provides a fast integer logarithm in base 2.
Current implementation relies in the integer-gmp package.
This module exports functions for manipulating Eisenstein integers,
including computing their prime factorisations.
This module exports functions for manipulating Gaussian integers,
including computing their prime factorisations.