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

Copyright(C) 2015-2018 Claude Heiland-Allen
LicenseLGPL
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Numeric.MPFR.Types

Description

MPFR types.

Synopsis

Documentation

pattern MPFR_VERSION_MAJOR :: forall a. (Eq a, Num a) => a Source #

Version numbers.

pattern MPFR_VERSION_MINOR :: forall a. (Eq a, Num a) => a Source #

pattern MPFR_VERSION_PATCHLEVEL :: forall a. (Eq a, Num a) => a Source #

pattern MPFR_VERSION :: forall a. (Eq a, Num a) => a Source #

data MPFR Source #

mpfr_t

Constructors

MPFR 
Instances
Storable MPFR Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

sizeOf :: MPFR -> Int #

alignment :: MPFR -> Int #

peekElemOff :: Ptr MPFR -> Int -> IO MPFR #

pokeElemOff :: Ptr MPFR -> Int -> MPFR -> IO () #

peekByteOff :: Ptr b -> Int -> IO MPFR #

pokeByteOff :: Ptr b -> Int -> MPFR -> IO () #

peek :: Ptr MPFR -> IO MPFR #

poke :: Ptr MPFR -> MPFR -> IO () #

newtype MPFRInt Source #

mpfr_int

Constructors

MPFRInt Int32 
Instances
Bounded MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

(==) :: MPFRInt -> MPFRInt -> Bool #

(/=) :: MPFRInt -> MPFRInt -> Bool #

Integral MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRInt -> c MPFRInt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRInt #

toConstr :: MPFRInt -> Constr #

dataTypeOf :: MPFRInt -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRInt) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRInt) #

gmapT :: (forall b. Data b => b -> b) -> MPFRInt -> MPFRInt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRInt -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRInt -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRInt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRInt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRInt -> m MPFRInt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRInt -> m MPFRInt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRInt -> m MPFRInt #

Num MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRInt Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRUInt Source #

mpfr_uint

Constructors

MPFRUInt Word32 
Instances
Bounded MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRUInt -> c MPFRUInt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRUInt #

toConstr :: MPFRUInt -> Constr #

dataTypeOf :: MPFRUInt -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRUInt) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRUInt) #

gmapT :: (forall b. Data b => b -> b) -> MPFRUInt -> MPFRUInt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRUInt -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRUInt -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRUInt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRUInt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRUInt -> m MPFRUInt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRUInt -> m MPFRUInt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRUInt -> m MPFRUInt #

Num MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRUInt Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRLong Source #

mpfr_long

Constructors

MPFRLong Int64 
Instances
Bounded MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRLong -> c MPFRLong #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRLong #

toConstr :: MPFRLong -> Constr #

dataTypeOf :: MPFRLong -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRLong) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRLong) #

gmapT :: (forall b. Data b => b -> b) -> MPFRLong -> MPFRLong #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRLong -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRLong -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRLong -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRLong -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRLong -> m MPFRLong #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRLong -> m MPFRLong #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRLong -> m MPFRLong #

Num MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRLong Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRULong Source #

mpfr_ulong

Constructors

MPFRULong Word64 
Instances
Bounded MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRULong -> c MPFRULong #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRULong #

toConstr :: MPFRULong -> Constr #

dataTypeOf :: MPFRULong -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRULong) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRULong) #

gmapT :: (forall b. Data b => b -> b) -> MPFRULong -> MPFRULong #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRULong -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRULong -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRULong -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRULong -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRULong -> m MPFRULong #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRULong -> m MPFRULong #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRULong -> m MPFRULong #

Num MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRULong Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRSize Source #

mpfr_size_t

Constructors

MPFRSize Word64 
Instances
Bounded MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRSize -> c MPFRSize #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRSize #

toConstr :: MPFRSize -> Constr #

dataTypeOf :: MPFRSize -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRSize) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRSize) #

gmapT :: (forall b. Data b => b -> b) -> MPFRSize -> MPFRSize #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRSize -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRSize -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRSize -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRSize -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRSize -> m MPFRSize #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRSize -> m MPFRSize #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRSize -> m MPFRSize #

Num MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRSize Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRPrec Source #

mpfr_prec_t

Constructors

MPFRPrec Int64 
Instances
Bounded MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRPrec -> c MPFRPrec #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRPrec #

toConstr :: MPFRPrec -> Constr #

dataTypeOf :: MPFRPrec -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRPrec) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRPrec) #

gmapT :: (forall b. Data b => b -> b) -> MPFRPrec -> MPFRPrec #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRPrec -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRPrec -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRPrec -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRPrec -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRPrec -> m MPFRPrec #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRPrec -> m MPFRPrec #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRPrec -> m MPFRPrec #

Num MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRUPrec Source #

mpfr_uprec_t

Constructors

MPFRUPrec Word64 
Instances
Bounded MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRUPrec -> c MPFRUPrec #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRUPrec #

toConstr :: MPFRUPrec -> Constr #

dataTypeOf :: MPFRUPrec -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRUPrec) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRUPrec) #

gmapT :: (forall b. Data b => b -> b) -> MPFRUPrec -> MPFRUPrec #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRUPrec -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRUPrec -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRUPrec -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRUPrec -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRUPrec -> m MPFRUPrec #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRUPrec -> m MPFRUPrec #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRUPrec -> m MPFRUPrec #

Num MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRUPrec Source # 
Instance details

Defined in Numeric.MPFR.Types

pattern MPFR_PREC_MIN :: forall a. (Eq a, Num a) => a Source #

pattern MPFR_PREC_MAX :: forall a. (Eq a, Num a) => a Source #

newtype MPFRSign Source #

mpfr_sign_t

Constructors

MPFRSign Int32 
Instances
Bounded MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRSign -> c MPFRSign #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRSign #

toConstr :: MPFRSign -> Constr #

dataTypeOf :: MPFRSign -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRSign) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRSign) #

gmapT :: (forall b. Data b => b -> b) -> MPFRSign -> MPFRSign #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRSign -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRSign -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRSign -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRSign -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRSign -> m MPFRSign #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRSign -> m MPFRSign #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRSign -> m MPFRSign #

Num MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRSign Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRExp Source #

mpfr_exp_t

Constructors

MPFRExp Int64 
Instances
Bounded MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

(==) :: MPFRExp -> MPFRExp -> Bool #

(/=) :: MPFRExp -> MPFRExp -> Bool #

Integral MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRExp -> c MPFRExp #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRExp #

toConstr :: MPFRExp -> Constr #

dataTypeOf :: MPFRExp -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRExp) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRExp) #

gmapT :: (forall b. Data b => b -> b) -> MPFRExp -> MPFRExp #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRExp -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRExp -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRExp -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRExp -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRExp -> m MPFRExp #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRExp -> m MPFRExp #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRExp -> m MPFRExp #

Num MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRExp Source # 
Instance details

Defined in Numeric.MPFR.Types

newtype MPFRUExp Source #

mpfr_uexp_t

Constructors

MPFRUExp Word64 
Instances
Bounded MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRUExp -> c MPFRUExp #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRUExp #

toConstr :: MPFRUExp -> Constr #

dataTypeOf :: MPFRUExp -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRUExp) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRUExp) #

gmapT :: (forall b. Data b => b -> b) -> MPFRUExp -> MPFRUExp #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRUExp -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRUExp -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRUExp -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRUExp -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRUExp -> m MPFRUExp #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRUExp -> m MPFRUExp #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRUExp -> m MPFRUExp #

Num MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRUExp Source # 
Instance details

Defined in Numeric.MPFR.Types

pattern MPFR_EMAX_DEFAULT :: forall a. (Eq a, Num a) => a Source #

pattern MPFR_EMIN_DEFAULT :: forall a. (Eq a, Num a) => a Source #

newtype MPFRRnd Source #

mpfr_rnd_t

Constructors

MPFRRnd Int32 
Instances
Bounded MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

(==) :: MPFRRnd -> MPFRRnd -> Bool #

(/=) :: MPFRRnd -> MPFRRnd -> Bool #

Integral MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRRnd -> c MPFRRnd #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRRnd #

toConstr :: MPFRRnd -> Constr #

dataTypeOf :: MPFRRnd -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRRnd) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRRnd) #

gmapT :: (forall b. Data b => b -> b) -> MPFRRnd -> MPFRRnd #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRRnd -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRRnd -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRRnd -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRRnd -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRRnd -> m MPFRRnd #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRRnd -> m MPFRRnd #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRRnd -> m MPFRRnd #

Num MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRRnd Source # 
Instance details

Defined in Numeric.MPFR.Types

pattern MPFR_RNDN :: forall a. (Eq a, Num a) => a Source #

round to nearest, with ties to even

pattern MPFR_RNDZ :: forall a. (Eq a, Num a) => a Source #

round toward zero

pattern MPFR_RNDU :: forall a. (Eq a, Num a) => a Source #

round toward +Inf

pattern MPFR_RNDD :: forall a. (Eq a, Num a) => a Source #

round toward -Inf

pattern MPFR_RNDA :: forall a. (Eq a, Num a) => a Source #

round away from zero

pattern MPFR_RNDF :: forall a. (Eq a, Num a) => a Source #

faithful rounding (not implemented yet)

pattern MPFR_RNDNA :: forall a. (Eq a, Num a) => a Source #

round to nearest, with ties away from zero (mpfr_round) (do not use)

newtype MPFRKind Source #

mpfr_kind_t

Constructors

MPFRKind Word32 
Instances
Bounded MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Enum MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Eq MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Integral MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Data MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPFRKind -> c MPFRKind #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPFRKind #

toConstr :: MPFRKind -> Constr #

dataTypeOf :: MPFRKind -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPFRKind) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPFRKind) #

gmapT :: (forall b. Data b => b -> b) -> MPFRKind -> MPFRKind #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPFRKind -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPFRKind -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPFRKind -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPFRKind -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPFRKind -> m MPFRKind #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRKind -> m MPFRKind #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPFRKind -> m MPFRKind #

Num MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Ord MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Read MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Real MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Show MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Ix MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Storable MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

Bits MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

FiniteBits MPFRKind Source # 
Instance details

Defined in Numeric.MPFR.Types

pattern MPFR_NAN_KIND :: forall a. (Eq a, Num a) => a Source #

pattern MPFR_INF_KIND :: forall a. (Eq a, Num a) => a Source #

pattern MPFR_ZERO_KIND :: forall a. (Eq a, Num a) => a Source #

pattern MPFR_REGULAR_KIND :: forall a. (Eq a, Num a) => a Source #