haskell-mpfr-0.1: Correctly-rounded arbitrary-precision floating-point arithmetic

Safe HaskellNone
LanguageHaskell2010

Data.Approximate.MPFR.Types

Description

 

Documentation

constf :: Const -> RoundMode -> Precision -> Rounded Source

unary :: Unary -> RoundMode -> Precision -> Rounded -> Rounded Source

unary2 :: Unary2 -> RoundMode -> Precision -> Rounded -> (Rounded, Rounded) Source

unary_ :: Unary_ -> RoundMode -> Precision -> Rounded -> (Rounded, Int) Source

binary :: Binary -> RoundMode -> Precision -> Rounded -> Rounded -> Rounded Source

binary_ :: Binary_ -> RoundMode -> Precision -> Rounded -> Rounded -> (Rounded, Int) Source

ternary :: Ternary -> RoundMode -> Precision -> Rounded -> Rounded -> Rounded -> Rounded Source

cmpf :: Comparison -> Rounded -> Rounded -> Bool Source

rounding :: Rounding -> Precision -> Rounded -> Rounded Source

test :: Test -> Rounded -> Bool Source

rtest :: RTest -> RoundMode -> Rounded -> Bool Source

data Rounded Source

Constructors

Rounded 

Fields

roundedSignPrec :: CSignPrec#
 
roundedExp :: CExp#
 
roundedLimbs :: ByteArray#
 

Instances

Eq Rounded 
Ord Rounded 
Show Rounded 

data RoundMode Source

Constructors

Near 
Zero 
Up 
Down 
AwayFromZero 

Instances

Enum RoundMode 

type Precision = Int Source

type Const = CRounding# -> CPrec# -> RoundedOut# Source

type Unary = CRounding# -> CPrec# -> CSignPrec# -> CExp# -> ByteArray# -> RoundedOut# Source

type Unary2 = CRounding# -> CPrec# -> CSignPrec# -> CExp# -> ByteArray# -> RoundedOut2# Source

type Binary = CRounding# -> CPrec# -> CSignPrec# -> CExp# -> ByteArray# -> CSignPrec# -> CExp# -> ByteArray# -> RoundedOut# Source

type Ternary = CRounding# -> CPrec# -> CSignPrec# -> CExp# -> ByteArray# -> CSignPrec# -> CExp# -> ByteArray# -> CSignPrec# -> CExp# -> ByteArray# -> RoundedOut# Source

type Comparison = CSignPrec# -> CExp# -> ByteArray# -> CSignPrec# -> CExp# -> ByteArray# -> Int# Source

type Rounding = CPrec# -> CSignPrec# -> CExp# -> ByteArray# -> RoundedOut# Source

type Test = CSignPrec# -> CExp# -> ByteArray# -> Int# Source

type RTest = CRounding# -> CSignPrec# -> CExp# -> ByteArray# -> Int# Source

type CExp# = Int# Source

type CPrec# = Int# Source

type CSignPrec# = Int# Source

mode# :: RoundMode -> Int# Source

prec# :: Precision -> Int# Source

type RoundedOut# = (#CSignPrec#, CExp#, ByteArray##) Source

type RoundedOut_# = (#CSignPrec#, CExp#, ByteArray#, Int##) Source

type CRounding# = Int# Source

type Exp = Int64 Source

type CPrecision# = Int# Source

getPrec :: Rounded -> Precision Source