Moduledata-dword-0.3.2.1Haskell2010

Data.DoubleWord

This module provides strict (low and high halves are unpacked) signed and unsigned binary word data types of sizes 96, 128, 160, 192, 224, and 256 bits.

12 types
2 classes
2 values

Packagedata-dword-0.3.2.1
Exports20
LanguageHaskell2010
LicenceBSD-3-Clause
SourceDoubleWord.hs

valuelLsb :: (Functor f, BinaryWord w) => (Bool -> f Bool) -> w -> f w

LSB lens.

valuelMsb :: (Functor f, BinaryWord w) => (Bool -> f Bool) -> w -> f w

MSB lens.

classclass (FiniteBits w, FiniteBits (UnsignedWord w), FiniteBits (SignedWord w)) => BinaryWord w where

Two's complement, fixed length binary words.

Associated types

type family UnsignedWord w
The unsigned variant type
type family SignedWord w
The signed variant type

Methods

unsignedWord :: w -> UnsignedWord w
Convert the word to the unsigned type (identical to fromIntegral)
signedWord :: w -> SignedWord w
Convert the word to the signed type (identical to fromIntegral)
unwrappedAdd :: w -> w -> (w, UnsignedWord w)
Unwrapped addition
unwrappedMul :: w -> w -> (w, UnsignedWord w)
Unwrapped multiplication
leadingZeroes :: w -> Int
Number of leading (from MSB) zero bits
trailingZeroes :: w -> Int
Number or trailing (from LSB) zero bits
allZeroes :: w
The word with all bits set to 0
allOnes :: w
The word with all bits set to 1
msb :: w
The word with MSB set to 1 and all the other bits set to 0
lsb :: w
The word with LSB set to 1 and all the other bits set to 0
testMsb :: w -> Bool
Test if the MSB is 1
testLsb :: w -> Bool
Test if the LSB is 1
setMsb :: w -> w
Set the MSB to 1
setLsb :: w -> w
Set the LSB to 1
clearMsb :: w -> w
Set the MSB to 0
clearLsb :: w -> w
Set the LSB to 0

Instances20BinaryWord, …

BinaryWord Int128Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Int160Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Int192Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Int224Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Int256Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Int96Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Word160Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Word192Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Word224Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Word256Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Word96Defined in data-dword-0.3.2.1 · Data.DoubleWord
BinaryWord Int16Defined in data-bword-0.1.0.2 · Data.BinaryWord
BinaryWord Int32Defined in data-bword-0.1.0.2 · Data.BinaryWord
BinaryWord Int64Defined in data-bword-0.1.0.2 · Data.BinaryWord
BinaryWord Int8Defined in data-bword-0.1.0.2 · Data.BinaryWord
BinaryWord Word16Defined in data-bword-0.1.0.2 · Data.BinaryWord
BinaryWord Word32Defined in data-bword-0.1.0.2 · Data.BinaryWord
BinaryWord Word64Defined in data-bword-0.1.0.2 · Data.BinaryWord
BinaryWord Word8Defined in data-bword-0.1.0.2 · Data.BinaryWord

familytype family SignedWord w

The signed variant type

Instances20SignedWord, …

type SignedWord Int128 = Int128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Int160 = Int160Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Int192 = Int192Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Int224 = Int224Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Int256 = Int256Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Int96 = Int96Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Word128 = Int128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Word160 = Int160Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Word192 = Int192Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Word224 = Int224Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Word256 = Int256Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Word96 = Int96Defined in data-dword-0.3.2.1 · Data.DoubleWord
type SignedWord Int16 = Int16Defined in data-bword-0.1.0.2 · Data.BinaryWord
type SignedWord Int32 = Int32Defined in data-bword-0.1.0.2 · Data.BinaryWord
type SignedWord Int64 = Int64Defined in data-bword-0.1.0.2 · Data.BinaryWord
type SignedWord Int8 = Int8Defined in data-bword-0.1.0.2 · Data.BinaryWord
type SignedWord Word16 = Int16Defined in data-bword-0.1.0.2 · Data.BinaryWord
type SignedWord Word32 = Int32Defined in data-bword-0.1.0.2 · Data.BinaryWord
type SignedWord Word64 = Int64Defined in data-bword-0.1.0.2 · Data.BinaryWord
type SignedWord Word8 = Int8Defined in data-bword-0.1.0.2 · Data.BinaryWord

familytype family UnsignedWord w

The unsigned variant type

Instances20UnsignedWord, …

type UnsignedWord Int128 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Int160 = Word160Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Int192 = Word192Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Int224 = Word224Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Int256 = Word256Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Int96 = Word96Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Word128 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Word160 = Word160Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Word192 = Word192Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Word224 = Word224Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Word256 = Word256Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Word96 = Word96Defined in data-dword-0.3.2.1 · Data.DoubleWord
type UnsignedWord Int16 = Word16Defined in data-bword-0.1.0.2 · Data.BinaryWord
type UnsignedWord Int32 = Word32Defined in data-bword-0.1.0.2 · Data.BinaryWord
type UnsignedWord Int64 = Word64Defined in data-bword-0.1.0.2 · Data.BinaryWord
type UnsignedWord Int8 = Word8Defined in data-bword-0.1.0.2 · Data.BinaryWord
type UnsignedWord Word16 = Word16Defined in data-bword-0.1.0.2 · Data.BinaryWord
type UnsignedWord Word32 = Word32Defined in data-bword-0.1.0.2 · Data.BinaryWord
type UnsignedWord Word64 = Word64Defined in data-bword-0.1.0.2 · Data.BinaryWord
type UnsignedWord Word8 = Word8Defined in data-bword-0.1.0.2 · Data.BinaryWord

classclass BinaryWord w => DoubleWord w where

Defines a particular way to split a binary word in halves.

Associated types

type family LoWord w
The low half type
type family HiWord w
The high half type

Methods

loWord :: w -> LoWord w
The low half of the word
hiWord :: w -> HiWord w
The high half of the word
fromHiAndLo :: HiWord w -> LoWord w -> w
Construct a word from the low and high halves
extendLo :: LoWord w -> w
Extend the low half
signExtendLo :: SignedWord (LoWord w) -> w
Sign-extend the low half

Instances18DoubleWord, …

DoubleWord Int128Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Int160Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Int192Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Int224Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Int256Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Int96Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Word160Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Word192Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Word224Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Word256Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Word96Defined in data-dword-0.3.2.1 · Data.DoubleWord
DoubleWord Int16Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
DoubleWord Int32Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
DoubleWord Int64Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
DoubleWord Word16Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
DoubleWord Word32Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
DoubleWord Word64Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base

familytype family HiWord w

The high half type

Instances18HiWord, …

type HiWord Int128 = Int64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Int160 = Int32Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Int192 = Int64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Int224 = Int96Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Int256 = Int128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Int96 = Int32Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Word128 = Word64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Word160 = Word32Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Word192 = Word64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Word224 = Word96Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Word256 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Word96 = Word32Defined in data-dword-0.3.2.1 · Data.DoubleWord
type HiWord Int16 = Int8Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type HiWord Int32 = Int16Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type HiWord Int64 = Int32Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type HiWord Word16 = Word8Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type HiWord Word32 = Word16Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type HiWord Word64 = Word32Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base

familytype family LoWord w

The low half type

Instances18LoWord, …

type LoWord Int128 = Word64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Int160 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Int192 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Int224 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Int256 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Int96 = Word64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Word128 = Word64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Word160 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Word192 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Word224 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Word256 = Word128Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Word96 = Word64Defined in data-dword-0.3.2.1 · Data.DoubleWord
type LoWord Int16 = Word8Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type LoWord Int32 = Word16Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type LoWord Int64 = Word32Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type LoWord Word16 = Word8Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type LoWord Word32 = Word16Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base
type LoWord Word64 = Word32Defined in data-dword-0.3.2.1 · Data.DoubleWord.Base

datadata Word96