AERN-Real-0.9.7.1: arbitrary precision interval arithmetic for approximating exact real numbers
Data.Number.ER.PlusMinus
Description
A mini enumeration to represent the sign of different numbers and approximations.
data PlusMinus Source
Constructors
Instances