AERN-Real-0.9.3.1: datatypes and abstractions 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