Portability | non-portable (FlexibleInstances, DeriveDataTypeable, CPP) |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
This module provides arithmetic over signs (i.e. {-, 0, +}) and set of signs.
For the purpose of abstract interpretation, it might be convenient to use
Lattice
instance. See also lattices package
(http://hackage.haskell.org/package/lattices).
The Sign data type
Signs of real numbers.
Operations over signs
Operations over sets of signs
is equipped with instances of Set
Sign
Num
and Fractional
.
Therefore arithmetic operations can be applied to
.
Set
Sign
Instances of Lattice
and BoundedLattice
are also provided for
the purpose of abstract interpretation.