aern2-mp-0.1.3.1: Multi-precision ball (interval) arithmetic

Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.MP.Float.UseRounded.RoundedAdaptor

Contents

Description

Numeric.Rounded + variable precision

Documentation

data RoundMode #

Constructors

Up 
Down 

getPrec :: Rounded -> Int #

getExp :: Rounded -> Int #

withRoundMode :: (RoundingMode -> t) -> RoundMode -> t #

set :: RoundMode -> Precision -> Rounded -> Rounded #

defaultPrecision :: Precision #

pi :: RoundMode -> Precision -> Rounded #

fromIntegerA :: RoundMode -> Precision -> Integer -> Rounded #

zero :: Rounded #

one :: Rounded #

toDoubleA :: RoundMode -> Rounded -> Double #

fromRationalA :: RoundMode -> Precision -> Rational -> Rounded #

toRationalA :: Rounded -> Rational #

add :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded #

sub :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded #

mul :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded #

div :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded #

atan2 :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded #

neg :: RoundMode -> Precision -> Rounded -> Rounded #

abs :: RoundMode -> Precision -> Rounded -> Rounded #

sqrt :: RoundMode -> Precision -> Rounded -> Rounded #

exp :: RoundMode -> Precision -> Rounded -> Rounded #

log :: RoundMode -> Precision -> Rounded -> Rounded #

sin :: RoundMode -> Precision -> Rounded -> Rounded #

cos :: RoundMode -> Precision -> Rounded -> Rounded #

module Numeric.Rounded.Simple

Orphan instances

Show Rounded # 
Instance details

Methods

showsPrec :: Int -> Rounded -> ShowS #

show :: Rounded -> String #

showList :: [Rounded] -> ShowS #