hgmp-0.1.2.1: Haskell interface to GMP
Safe HaskellSafe-Inferred
LanguageHaskell2010

Numeric.GMP.Types

Description

GMP types.

Synopsis

Documentation

data MPZ Source #

mpz_t

Constructors

MPZ 

Fields

Instances

Instances details
Storable MPZ Source # 
Instance details

Defined in Numeric.GMP.Types

data MPQ Source #

mpq_t

Constructors

MPQ 

Fields

Instances

Instances details
Storable MPQ Source # 
Instance details

Defined in Numeric.GMP.Types

mpq_numref :: Ptr MPQ -> Ptr MPZ Source #

Get pointers to numerator and denominator (these are macros in the C API).

mpq_denref :: Ptr MPQ -> Ptr MPZ Source #

Get pointers to numerator and denominator (these are macros in the C API).

data MPF Source #

mpf_t

Constructors

MPF 

Fields

Instances

Instances details
Storable MPF Source # 
Instance details

Defined in Numeric.GMP.Types

newtype MPLimb Source #

mp_limb_t

Constructors

MPLimb Word64 

Instances

Instances details
Data MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Methods

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

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

toConstr :: MPLimb -> Constr Source #

dataTypeOf :: MPLimb -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Storable MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Bits MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

FiniteBits MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Bounded MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Enum MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Ix MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Num MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Read MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Integral MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Real MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Show MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Eq MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

Ord MPLimb Source # 
Instance details

Defined in Numeric.GMP.Types

newtype MPLimbSigned Source #

mp_limb_signed_t

Constructors

MPLimbSigned Int64 

Instances

Instances details
Data MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Methods

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

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

toConstr :: MPLimbSigned -> Constr Source #

dataTypeOf :: MPLimbSigned -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Storable MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Bits MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

FiniteBits MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Bounded MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Enum MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Ix MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Num MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Read MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Integral MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Real MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Show MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Eq MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

Ord MPLimbSigned Source # 
Instance details

Defined in Numeric.GMP.Types

newtype MPSize Source #

mp_size_t

Constructors

MPSize Int64 

Instances

Instances details
Data MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Methods

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

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

toConstr :: MPSize -> Constr Source #

dataTypeOf :: MPSize -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Storable MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Bits MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

FiniteBits MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Bounded MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Enum MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Ix MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Num MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Read MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Integral MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Real MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Show MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Eq MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

Ord MPSize Source # 
Instance details

Defined in Numeric.GMP.Types

newtype MPExp Source #

mp_exp_t

Constructors

MPExp Int64 

Instances

Instances details
Data MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Methods

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

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

toConstr :: MPExp -> Constr Source #

dataTypeOf :: MPExp -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Storable MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Bits MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

FiniteBits MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Bounded MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Enum MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Ix MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Num MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Read MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Integral MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Real MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Show MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Eq MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

Methods

(==) :: MPExp -> MPExp -> Bool Source #

(/=) :: MPExp -> MPExp -> Bool Source #

Ord MPExp Source # 
Instance details

Defined in Numeric.GMP.Types

newtype MPBitCnt Source #

mp_bitcnt_t

Constructors

MPBitCnt Word64 

Instances

Instances details
Data MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Methods

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

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

toConstr :: MPBitCnt -> Constr Source #

dataTypeOf :: MPBitCnt -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Storable MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Bits MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

FiniteBits MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Bounded MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Enum MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Ix MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Num MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Read MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Integral MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Real MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Show MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Eq MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

Ord MPBitCnt Source # 
Instance details

Defined in Numeric.GMP.Types

newtype GMPRandAlg Source #

gmp_randalg_t

Constructors

GMPRandAlg Word32 

Instances

Instances details
Data GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Methods

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

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

toConstr :: GMPRandAlg -> Constr Source #

dataTypeOf :: GMPRandAlg -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Storable GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Bits GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

FiniteBits GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Bounded GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Enum GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Ix GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Num GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Read GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Integral GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Real GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Show GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Eq GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types

Ord GMPRandAlg Source # 
Instance details

Defined in Numeric.GMP.Types