ireal-0.2.3: Real numbers and intervals with relatively efficient exact arithmetic.

Safe HaskellSafe
LanguageHaskell98

Data.Number.IReal.Scalable

Synopsis

Documentation

class Scalable a where Source

Scaling. scale x n computes x * 2^n using bit shifts.

Methods

scale :: a -> Int -> a Source

Instances

Scalable Double Source 
Scalable Integer Source

Correctly rounded result for negative n. Rounds upwards when decimal part of unrounded result is .5

Scalable IntegerInterval Source 
(Integral a, Bits a) => Scalable (Ratio a) Source 
Precision k p => Scalable (Rounded k p) Source 

class VarPrec a where Source

Minimal complete definition

precB

Methods

prec :: Int -> a -> a Source

precB :: Int -> a -> a Source

Instances

VarPrec Double Source 
VarPrec IReal Source

prec n x is an interval of width at least 10^(-n) containing x.

VarPrec a => VarPrec [a] Source 
VarPrec a => VarPrec (Dif a) Source 
Precision k p => VarPrec (Rounded k p) Source