Data.Number.IReal.Scalable

Documentation

class Scalable a where

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

Methods

scale :: a -> Int -> a

Instances

Scalable Double

Scalable Integer

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

Scalable IntegerInterval

Scalable IReal

(Integral a, Bits a) => Scalable (Ratio a)

class VarPrec a where

Minimal complete definition

precB

Methods

prec :: Int -> a -> a

precB :: Int -> a -> a

Instances

VarPrec Double

VarPrec IReal

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

VarPrec a => VarPrec [a]