Moduleghc-internal-10.0.0Haskell2010

GHC.Internal.Bignum.Primitives

Contents

Bool#
Int#
Word#
Addr import/export
ByteArray import/export
Exception
IO

Synopsis

type Bool#
value &&#
value ||#
value notB#
value testBitI#
value minI#
value maxI#
value sgnI#
value absI#
value cmpI#
value intEncodeDouble#
value popCntI#
value andNot#
value cmpW#
value bitW#
value maxW#
value minW#
value testBitW#
value shiftRW#
value plusWord3#
value plusWord12#
value quotRemWord3#
value wordFromAbsInt#
value wordLog2#
value wordLogBase#
value wordSizeInBase#
value wordIsPowerOf2#
value wordEncodeDouble#
value wordReverseBits#
value wordReverseBits32#
value wordReverseBytes#
value wordFromAddr#
value wordFromAddrLE#
value wordFromAddrBE#
value wordToAddr#
value wordToAddrLE#
value wordToAddrBE#
value wordWriteAddrLE#
value wordWriteAddrBE#
value wordFromByteArray#
value wordFromByteArrayLE#
value wordFromByteArrayBE#
value wordToMutableByteArray#
value wordToMutableByteArrayLE#
value wordToMutableByteArrayBE#
value wordWriteMutableByteArrayLE#
value wordWriteMutableByteArrayBE#
value raiseUnderflow
value raiseUnderflow_Word#
value raiseDivZero
value raiseDivZero_Word#
value unexpectedValue
value unexpectedValue_Int#
value unexpectedValue_Word#
value ioWord#
value ioInt#
value ioVoid
value ioBool

Packageghc-internal-10.0.0
Exports58
LanguageHaskell2010
LicenceBSD-3-Clause
SourcePrimitives.hs

Bool#

typetype Bool# = Int#

value(&&#) :: Bool# -> Bool# -> Bool#

value(||#) :: Bool# -> Bool# -> Bool#

valuenotB# :: Bool# -> Bool#

Int#

valuetestBitI# :: Int# -> Word# -> Bool#

valueminI# :: Int# -> Int# -> Int#

valuemaxI# :: Int# -> Int# -> Int#

valuesgnI# :: Int# -> Int#

Source#

Branchless signum

valueabsI# :: Int# -> Int#

Source#

Branchless abs

valuecmpI# :: Int# -> Int# -> Int#

Source#

Branchless comparison

valueintEncodeDouble# :: Int# -> Int# -> Double#

Source#

Encode (# Int# mantissa, Int# exponent #) into a Double#.

(provided by GHC's RTS)

valuepopCntI# :: Int# -> Word#

Source#

Population count

Word#

valueandNot# :: Word# -> Word# -> Word#

valuecmpW# :: Word# -> Word# -> Ordering

valuebitW# :: Int# -> Word#

valuemaxW# :: Word# -> Word# -> Word#

valueminW# :: Word# -> Word# -> Word#

valuetestBitW# :: Word# -> Word# -> Bool#

valueshiftRW# :: Word# -> Word# -> Word#

Source#

Safe right shift for Word#

valueplusWord3# :: Word# -> Word# -> Word# -> (# Word#, Word# #)

Source#

Add 3 values together

valueplusWord12# :: Word# -> (# Word#, Word# #) -> (# Word#, Word# #)

Source#

(h,l) <- a + (hb,lb)

valuequotRemWord3#

:: (# Word#, Word# #)
-> Word#
-> (# (# Word#, Word# #), Word# #)

Source#

2-by-1 large division

Requires: b0 /= 0 a1 >= b0 (not required, but if not q1=0)

valuewordFromAbsInt# :: Int# -> Word#

Source#

Return the absolute value of the Int# in a Word#

valuewordLog2# :: Word# -> Word#

Source#

Compute base-2 log of Word#

This is internally implemented as count-leading-zeros machine instruction.

valuewordLogBase# :: Word# -> Word# -> Word#

Source#

Logarithm for an arbitrary base

valuewordSizeInBase# :: Word# -> Word# -> Word#

valuewordIsPowerOf2# :: Word# -> (# (# #) | Word# #)

Source#

Indicate if the value is a power of two and which one

valuewordEncodeDouble# :: Word# -> Int# -> Double#

Source#

Encode (# Word# mantissa, Int# exponent #) into a Double#.

(provided by GHC's RTS)

valuewordReverseBits# :: Word# -> Word#

Source#

Reverse bits in a Word#

valuewordReverseBits32# :: Word# -> Word#

Source#

Reverse bits in the Word32 subwords composing a Word#

valuewordReverseBytes# :: Word# -> Word#

Source#

Reverse bytes in a Word#

Addr import/export

valuewordFromAddr#

:: Word#
-> Addr#
-> Bool#
-> State# s
-> (# State# s, Word# #)

Source#

Read a Word from addr in base-256 representation.

@n is the number of bytes to read.

The endianness is selected with the Bool# parameter: write most significant byte first (big-endian) if 1# or least significant byte first (little-endian) if 0#.

valuewordFromAddrLE# :: Word# -> Addr# -> State# s -> (# State# s, Word# #)

Source#

Read a Word from addr in base-256 little-endian representation.

@n is the number of bytes to read.

valuewordFromAddrBE# :: Word# -> Addr# -> State# s -> (# State# s, Word# #)

Source#

Read a Word from addr in base-256 big-endian representation.

@n is the number of bytes to read.

valuewordToAddr# :: Word# -> Addr# -> Bool# -> State# s -> (# State# s, Word# #)

Source#

Write a Word to addr in base-256 representation and return the number of bytes written.

The endianness is selected with the Bool# parameter: write most significant byte first (big-endian) if 1# or least significant byte first (little-endian) if 0#.

valuewordToAddrLE# :: Word# -> Addr# -> State# s -> (# State# s, Word# #)

Source#

Write a Word to addr in base-256 little-endian representation and return the number of bytes written.

valuewordToAddrBE# :: Word# -> Addr# -> State# s -> (# State# s, Word# #)

Source#

Write a Word to addr in base-256 big-endian representation and return the number of bytes written.

valuewordWriteAddrLE# :: Word# -> Addr# -> State# s -> State# s

Source#

Write a full word with little-endian encoding

valuewordWriteAddrBE# :: Word# -> Addr# -> State# s -> State# s

Source#

Write a full word with little-endian encoding

ByteArray import/export

valuewordFromByteArray# :: Word# -> ByteArray# -> Word# -> Bool# -> Word#

Source#

Read a Word from ByteArray in base-256 representation.

@n is the number of bytes to read.

The endianness is selected with the Bool# parameter: write most significant byte first (big-endian) if 1# or least significant byte first (little-endian) if 0#.

valuewordFromByteArrayLE# :: Word# -> ByteArray# -> Word# -> Word#

Source#

Read a Word from ByteArray in base-256 little-endian representation.

@n is the number of bytes to read.

valuewordFromByteArrayBE# :: Word# -> ByteArray# -> Word# -> Word#

Source#

Read a Word from ByteArray in base-256 big-endian representation.

@n is the number of bytes to read.

valuewordToMutableByteArray#

:: Word#
-> MutableByteArray# s
-> Word#
-> Bool#
-> State# s
-> (# State# s, Word# #)

Source#

Write a Word to MutableByteArray in base-256 representation and return the number of bytes written.

The endianness is selected with the Bool# parameter: write most significant byte first (big-endian) if 1# or least significant byte first (little-endian) if 0#.

The offset is in bytes.

valuewordToMutableByteArrayLE#