Moduleghc-internal-10.0.0Haskell2010

GHC.Internal.Bignum.Backend.Selected

Selected backend

We need this module in addition to GHC.Internal.Bignum.Backend to avoid module loops with Check backend.

Synopsis

value backendName
value bignat_add
value bignat_add_word
value bignat_and
value bignat_and_not
value bignat_compare
value bignat_encode_double
value bignat_gcd
value bignat_gcd_word
value bignat_gcd_word_word
value bignat_mul
value bignat_mul_word
value bignat_or
value bignat_popcount
value bignat_powmod
value bignat_powmod_word
value bignat_powmod_words
value bignat_quot
value bignat_quot_word
value bignat_quotrem
value bignat_quotrem_word
value bignat_rem
value bignat_rem_word
value bignat_shiftl
value bignat_shiftr
value bignat_shiftr_neg
value bignat_sub
value bignat_sub_word
value bignat_xor
value c_mpn_add
value c_mpn_add_1
value c_mpn_and_n
value c_mpn_andn_n
value c_mpn_cmp
value c_mpn_divrem_1
value c_mpn_gcd#
value c_mpn_gcd_1#
value c_mpn_get_d
value c_mpn_ior_n
value c_mpn_lshift
value c_mpn_mod_1
value c_mpn_mul
value c_mpn_mul_1
value c_mpn_popcount
value c_mpn_rshift
value c_mpn_rshift_2c
value c_mpn_sub
value c_mpn_sub_1
value c_mpn_tdiv_q
value c_mpn_tdiv_qr
value c_mpn_tdiv_r
value c_mpn_xor_n
value integer_gcde
value integer_gmp_gcd_word
value integer_gmp_gcdext#
value integer_gmp_invert#
value integer_gmp_powm#
value integer_gmp_powm1#
value integer_gmp_powm_word
value integer_powmod
value integer_recip_mod
value narrowCInt#
value narrowGmpSize#
value sbignat_powmod
value sbignat_recip_mod
type GmpLimb
type GmpLimb#
type GmpSize
type GmpSize#

Packageghc-internal-10.0.0
Exports69
LanguageHaskell2010
LicenceBSD-3-Clause
SourceSelected.hs

valuebackendName :: [Char]

Source#

ghc-bignum backend name

valuebignat_add

valuebignat_add_word

valuebignat_and

valuebignat_and_not

valuebignat_compare :: WordArray# -> WordArray# -> Int#

valuebignat_encode_double :: WordArray# -> Int# -> Double#

valuebignat_gcd

valuebignat_gcd_word :: WordArray# -> Word# -> Word#

valuebignat_gcd_word_word :: Word# -> Word# -> Word#

valuebignat_mul

valuebignat_mul_word

valuebignat_or

valuebignat_popcount :: WordArray# -> Word#

valuebignat_powmod

valuebignat_powmod_word :: WordArray# -> WordArray# -> Word# -> Word#

valuebignat_powmod_words :: Word# -> Word# -> Word# -> Word#

valuebignat_quot

valuebignat_quot_word

:: MutableWordArray# RealWorld
Quotient
-> WordArray#
-> Word#
-> State# RealWorld
-> State# RealWorld

valuebignat_quotrem

valuebignat_quotrem_word

:: MutableWordArray# RealWorld
Quotient
-> WordArray#
-> Word#
-> State# RealWorld
-> (# State# RealWorld, Word# #)

valuebignat_rem

valuebignat_rem_word :: WordArray# -> Word# -> Word#

valuebignat_shiftl

valuebignat_shiftr

valuebignat_shiftr_neg

valuebignat_sub

valuebignat_sub_word

valuebignat_xor

valuec_mpn_add

valuec_mpn_add_1

valuec_mpn_and_n

:: MutableByteArray# s
-> ByteArray#
-> ByteArray#
-> GmpSize#
-> IO ()

valuec_mpn_andn_n

:: MutableByteArray# s
-> ByteArray#
-> ByteArray#
-> GmpSize#
-> IO ()

valuec_mpn_cmp :: ByteArray# -> ByteArray# -> GmpSize# -> Int#

valuec_mpn_divrem_1

valuec_mpn_gcd#

valuec_mpn_gcd_1# :: ByteArray# -> GmpSize# -> GmpLimb# -> GmpLimb#

valuec_mpn_get_d :: ByteArray# -> GmpSize# -> Int# -> Double#

valuec_mpn_ior_n

:: MutableByteArray# s
-> ByteArray#
-> ByteArray#
-> GmpSize#
-> IO ()

valuec_mpn_lshift

valuec_mpn_mod_1 :: ByteArray# -> GmpSize# -> GmpLimb# -> GmpLimb#

valuec_mpn_mul

valuec_mpn_mul_1

valuec_mpn_popcount :: ByteArray# -> GmpSize# -> Word#

valuec_mpn_rshift

valuec_mpn_rshift_2c

valuec_mpn_sub

valuec_mpn_sub_1

valuec_mpn_tdiv_q

:: MutableByteArray# s
-> ByteArray#
-> GmpSize#
-> ByteArray#
-> GmpSize#
-> IO ()

valuec_mpn_tdiv_qr

:: MutableByteArray# s
-> MutableByteArray# s
-> GmpSize#
-> ByteArray#
-> GmpSize#
-> ByteArray#
-> GmpSize#
-> IO ()

valuec_mpn_tdiv_r

:: MutableByteArray# s
-> ByteArray#
-> GmpSize#
-> ByteArray#
-> GmpSize#
-> IO ()

valuec_mpn_xor_n

:: MutableByteArray# s
-> ByteArray#
-> ByteArray#
-> GmpSize#
-> IO ()

valueinteger_gcde :: Integer -> Integer -> (# Integer, Integer, Integer #)

valueinteger_gmp_gcd_word :: GmpLimb# -> GmpLimb# -> GmpLimb#

valueinteger_gmp_gcdext#

:: MutableByteArray# s
-> Addr#
-> MutableByteArray# s
-> Addr#
-> MutableByteArray# s
-> Addr#
-> ByteArray#
-> GmpSize#
-> ByteArray#
-> GmpSize#
-> IO ()

valueinteger_gmp_invert#

valueinteger_gmp_powm#

valueinteger_gmp_powm1#

:: ByteArray#
-> GmpSize#
-> ByteArray#
-> GmpSize#
-> GmpLimb#
-> GmpLimb#

valueinteger_gmp_powm_word :: GmpLimb# -> GmpLimb# -> GmpLimb# -> GmpLimb#

valueinteger_powmod :: Integer -> Natural -> Natural -> Natural

valueinteger_recip_mod :: Integer -> Natural -> (# Natural | () #)

valuenarrowCInt# :: Int# -> Int#

valuenarrowGmpSize# :: Int# -> Int#

valuesbignat_powmod

valuesbignat_recip_mod :: Int# -> BigNat# -> BigNat# -> BigNat#

Source#

Return 0 for invalid inputs

typetype GmpLimb = Word

Source#

Type representing a GMP Limb

typetype GmpLimb# = Word#

typetype GmpSize = Int

Source#

Count of GmpLimbs, must be positive (unless specified otherwise).

typetype GmpSize# = Int#