Data.WideWord.Word64

This module provides an opaque unsigned 64 bit value with the usual set of typeclass instances one would expect for a fixed width unsigned integer type. Operations like addition, subtraction and multiplication etc provide a "modulo 2^64" result as one would expect from a fixed width unsigned word.

This just re-exports the Word64 type defined in Data.Word plus some functions like plusCarrySum and timesCarryProd that do the normal addition and multiplication but provide a carry in addition to the regular operation.

Documentation

mkWord64 :: Word32 -> Word32 -> Word64

plusCarrySum :: Word64 -> Word64 -> (Word64, Word64)

quotRem2Word64 :: Word64 -> Word64 -> Word64 -> (Word64, Word64)

showHexWord64 :: Word64 -> String

subCarryDiff :: Word64 -> Word64 -> (Word64, Word64)

timesCarryProd :: Word64 -> Word64 -> (Word64, Word64)

word64Hi32 :: Word64 -> Word32

word64Lo32 :: Word64 -> Word32

zeroWord64 :: Word64