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.

Documentation

module Data.BinaryWord

class BinaryWord w => DoubleWord w where

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

Associated Types

type LoWord w

The low half type

type 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

Instances

DoubleWord Int16

Defined in Data.DoubleWord.Base

Associated Types

type LoWord Int16 :: Type

type HiWord Int16 :: Type

Methods

loWord :: Int16 -> LoWord Int16

hiWord :: Int16 -> HiWord Int16

fromHiAndLo :: HiWord Int16 -> LoWord Int16 -> Int16

extendLo :: LoWord Int16 -> Int16

signExtendLo :: SignedWord (LoWord Int16) -> Int16

DoubleWord Int32

Defined in Data.DoubleWord.Base

Associated Types

type LoWord Int32 :: Type

type HiWord Int32 :: Type

Methods

loWord :: Int32 -> LoWord Int32

hiWord :: Int32 -> HiWord Int32

fromHiAndLo :: HiWord Int32 -> LoWord Int32 -> Int32

extendLo :: LoWord Int32 -> Int32

signExtendLo :: SignedWord (LoWord Int32) -> Int32

DoubleWord Int64

Defined in Data.DoubleWord.Base

Associated Types

type LoWord Int64 :: Type

type HiWord Int64 :: Type

Methods

loWord :: Int64 -> LoWord Int64

hiWord :: Int64 -> HiWord Int64

fromHiAndLo :: HiWord Int64 -> LoWord Int64 -> Int64

extendLo :: LoWord Int64 -> Int64

signExtendLo :: SignedWord (LoWord Int64) -> Int64

DoubleWord Word16

Defined in Data.DoubleWord.Base

Associated Types

type LoWord Word16 :: Type

type HiWord Word16 :: Type

Methods

loWord :: Word16 -> LoWord Word16

hiWord :: Word16 -> HiWord Word16

fromHiAndLo :: HiWord Word16 -> LoWord Word16 -> Word16

extendLo :: LoWord Word16 -> Word16

signExtendLo :: SignedWord (LoWord Word16) -> Word16

DoubleWord Word32

Defined in Data.DoubleWord.Base

Associated Types

type LoWord Word32 :: Type

type HiWord Word32 :: Type

Methods

loWord :: Word32 -> LoWord Word32

hiWord :: Word32 -> HiWord Word32

fromHiAndLo :: HiWord Word32 -> LoWord Word32 -> Word32

extendLo :: LoWord Word32 -> Word32

signExtendLo :: SignedWord (LoWord Word32) -> Word32

DoubleWord Word64

Defined in Data.DoubleWord.Base

Associated Types

type LoWord Word64 :: Type

type HiWord Word64 :: Type

Methods

loWord :: Word64 -> LoWord Word64

hiWord :: Word64 -> HiWord Word64

fromHiAndLo :: HiWord Word64 -> LoWord Word64 -> Word64

extendLo :: LoWord Word64 -> Word64

signExtendLo :: SignedWord (LoWord Word64) -> Word64

DoubleWord Int96

Defined in Data.DoubleWord

Associated Types

type LoWord Int96 :: Type

type HiWord Int96 :: Type

Methods

loWord :: Int96 -> LoWord Int96

hiWord :: Int96 -> HiWord Int96

fromHiAndLo :: HiWord Int96 -> LoWord Int96 -> Int96

extendLo :: LoWord Int96 -> Int96

signExtendLo :: SignedWord (LoWord Int96) -> Int96

DoubleWord Word96

Defined in Data.DoubleWord

Associated Types

type LoWord Word96 :: Type

type HiWord Word96 :: Type

Methods

loWord :: Word96 -> LoWord Word96

hiWord :: Word96 -> HiWord Word96

fromHiAndLo :: HiWord Word96 -> LoWord Word96 -> Word96

extendLo :: LoWord Word96 -> Word96

signExtendLo :: SignedWord (LoWord Word96) -> Word96

DoubleWord Int128

Defined in Data.DoubleWord

Associated Types

type LoWord Int128 :: Type

type HiWord Int128 :: Type

Methods

loWord :: Int128 -> LoWord Int128

hiWord :: Int128 -> HiWord Int128

fromHiAndLo :: HiWord Int128 -> LoWord Int128 -> Int128

extendLo :: LoWord Int128 -> Int128

signExtendLo :: SignedWord (LoWord Int128) -> Int128

DoubleWord Word128

Defined in Data.DoubleWord

Associated Types

type LoWord Word128 :: Type

type HiWord Word128 :: Type

Methods

loWord :: Word128 -> LoWord Word128

hiWord :: Word128 -> HiWord Word128

fromHiAndLo :: HiWord Word128 -> LoWord Word128 -> Word128

extendLo :: LoWord Word128 -> Word128

signExtendLo :: SignedWord (LoWord Word128) -> Word128

DoubleWord Int160

Defined in Data.DoubleWord

Associated Types

type LoWord Int160 :: Type

type HiWord Int160 :: Type

Methods

loWord :: Int160 -> LoWord Int160

hiWord :: Int160 -> HiWord Int160

fromHiAndLo :: HiWord Int160 -> LoWord Int160 -> Int160

extendLo :: LoWord Int160 -> Int160

signExtendLo :: SignedWord (LoWord Int160) -> Int160

DoubleWord Word160

Defined in Data.DoubleWord

Associated Types

type LoWord Word160 :: Type

type HiWord Word160 :: Type

Methods

loWord :: Word160 -> LoWord Word160

hiWord :: Word160 -> HiWord Word160

fromHiAndLo :: HiWord Word160 -> LoWord Word160 -> Word160

extendLo :: LoWord Word160 -> Word160

signExtendLo :: SignedWord (LoWord Word160) -> Word160

DoubleWord Int192

Defined in Data.DoubleWord

Associated Types

type LoWord Int192 :: Type

type HiWord Int192 :: Type

Methods

loWord :: Int192 -> LoWord Int192

hiWord :: Int192 -> HiWord Int192

fromHiAndLo :: HiWord Int192 -> LoWord Int192 -> Int192

extendLo :: LoWord Int192 -> Int192

signExtendLo :: SignedWord (LoWord Int192) -> Int192

DoubleWord Word192

Defined in Data.DoubleWord

Associated Types

type LoWord Word192 :: Type

type HiWord Word192 :: Type

Methods

loWord :: Word192 -> LoWord Word192

hiWord :: Word192 -> HiWord Word192

fromHiAndLo :: HiWord Word192 -> LoWord Word192 -> Word192

extendLo :: LoWord Word192 -> Word192

signExtendLo :: SignedWord (LoWord Word192) -> Word192

DoubleWord Int224

Defined in Data.DoubleWord

Associated Types

type LoWord Int224 :: Type

type HiWord Int224 :: Type

Methods

loWord :: Int224 -> LoWord Int224

hiWord :: Int224 -> HiWord Int224

fromHiAndLo :: HiWord Int224 -> LoWord Int224 -> Int224

extendLo :: LoWord Int224 -> Int224

signExtendLo :: SignedWord (LoWord Int224) -> Int224

DoubleWord Word224

Defined in Data.DoubleWord

Associated Types

type LoWord Word224 :: Type

type HiWord Word224 :: Type

Methods

loWord :: Word224 -> LoWord Word224

hiWord :: Word224 -> HiWord Word224

fromHiAndLo :: HiWord Word224 -> LoWord Word224 -> Word224

extendLo :: LoWord Word224 -> Word224

signExtendLo :: SignedWord (LoWord Word224) -> Word224

DoubleWord Int256

Defined in Data.DoubleWord

Associated Types

type LoWord Int256 :: Type

type HiWord Int256 :: Type

Methods

loWord :: Int256 -> LoWord Int256

hiWord :: Int256 -> HiWord Int256

fromHiAndLo :: HiWord Int256 -> LoWord Int256 -> Int256

extendLo :: LoWord Int256 -> Int256

signExtendLo :: SignedWord (LoWord Int256) -> Int256

DoubleWord Word256

Defined in Data.DoubleWord

Associated Types

type LoWord Word256 :: Type

type HiWord Word256 :: Type

Methods

loWord :: Word256 -> LoWord Word256

hiWord :: Word256 -> HiWord Word256

fromHiAndLo :: HiWord Word256 -> LoWord Word256 -> Word256

extendLo :: LoWord Word256 -> Word256

signExtendLo :: SignedWord (LoWord Word256) -> Word256

data Word96

Constructors

Word96 !Word32 !Word64

Instances

Bounded Word96

Defined in Data.DoubleWord

Methods

minBound :: Word96

maxBound :: Word96

Enum Word96

Defined in Data.DoubleWord

Methods

succ :: Word96 -> Word96

pred :: Word96 -> Word96

toEnum :: Int -> Word96

fromEnum :: Word96 -> Int

enumFrom :: Word96 -> [Word96]

enumFromThen :: Word96 -> Word96 -> [Word96]

enumFromTo :: Word96 -> Word96 -> [Word96]

enumFromThenTo :: Word96 -> Word96 -> Word96 -> [Word96]

Eq Word96

Defined in Data.DoubleWord

Methods

(==) :: Word96 -> Word96 -> Bool

(/=) :: Word96 -> Word96 -> Bool

Integral Word96

Defined in Data.DoubleWord

Methods

quot :: Word96 -> Word96 -> Word96

rem :: Word96 -> Word96 -> Word96

div :: Word96 -> Word96 -> Word96

mod :: Word96 -> Word96 -> Word96

quotRem :: Word96 -> Word96 -> (Word96, Word96)

divMod :: Word96 -> Word96 -> (Word96, Word96)

toInteger :: Word96 -> Integer

Data Word96

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word96 -> c Word96

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word96

toConstr :: Word96 -> Constr

dataTypeOf :: Word96 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word96)

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

gmapT :: (forall b. Data b => b -> b) -> Word96 -> Word96

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word96 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word96 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word96 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word96 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word96 -> m Word96

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word96 -> m Word96

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word96 -> m Word96

Num Word96

Defined in Data.DoubleWord

Methods

(+) :: Word96 -> Word96 -> Word96

(-) :: Word96 -> Word96 -> Word96

(*) :: Word96 -> Word96 -> Word96

negate :: Word96 -> Word96

abs :: Word96 -> Word96

signum :: Word96 -> Word96

fromInteger :: Integer -> Word96

Ord Word96

Defined in Data.DoubleWord

Methods

compare :: Word96 -> Word96 -> Ordering

(<) :: Word96 -> Word96 -> Bool

(<=) :: Word96 -> Word96 -> Bool

(>) :: Word96 -> Word96 -> Bool

(>=) :: Word96 -> Word96 -> Bool

max :: Word96 -> Word96 -> Word96

min :: Word96 -> Word96 -> Word96

Read Word96

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Word96

readList :: ReadS [Word96]

readPrec :: ReadPrec Word96

readListPrec :: ReadPrec [Word96]

Real Word96

Defined in Data.DoubleWord

Methods

toRational :: Word96 -> Rational

Show Word96

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Word96 -> ShowS

show :: Word96 -> String

showList :: [Word96] -> ShowS

Ix Word96

Defined in Data.DoubleWord

Methods

range :: (Word96, Word96) -> [Word96]

index :: (Word96, Word96) -> Word96 -> Int

unsafeIndex :: (Word96, Word96) -> Word96 -> Int

inRange :: (Word96, Word96) -> Word96 -> Bool

rangeSize :: (Word96, Word96) -> Int

unsafeRangeSize :: (Word96, Word96) -> Int

Generic Word96

Defined in Data.DoubleWord

Associated Types

type Rep Word96 :: Type -> Type

Methods

from :: Word96 -> Rep Word96 x

to :: Rep Word96 x -> Word96

Bits Word96

Defined in Data.DoubleWord

Methods

(.&.) :: Word96 -> Word96 -> Word96

(.|.) :: Word96 -> Word96 -> Word96

xor :: Word96 -> Word96 -> Word96

complement :: Word96 -> Word96

shift :: Word96 -> Int -> Word96

rotate :: Word96 -> Int -> Word96

zeroBits :: Word96

bit :: Int -> Word96

setBit :: Word96 -> Int -> Word96

clearBit :: Word96 -> Int -> Word96

complementBit :: Word96 -> Int -> Word96

testBit :: Word96 -> Int -> Bool

bitSizeMaybe :: Word96 -> Maybe Int

bitSize :: Word96 -> Int

isSigned :: Word96 -> Bool

shiftL :: Word96 -> Int -> Word96

unsafeShiftL :: Word96 -> Int -> Word96

shiftR :: Word96 -> Int -> Word96

unsafeShiftR :: Word96 -> Int -> Word96

rotateL :: Word96 -> Int -> Word96

rotateR :: Word96 -> Int -> Word96

popCount :: Word96 -> Int

FiniteBits Word96

Defined in Data.DoubleWord

Methods

finiteBitSize :: Word96 -> Int

countLeadingZeros :: Word96 -> Int

countTrailingZeros :: Word96 -> Int

BinaryWord Word96

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Word96 :: Type

type SignedWord Word96 :: Type

Methods

unsignedWord :: Word96 -> UnsignedWord Word96

signedWord :: Word96 -> SignedWord Word96

unwrappedAdd :: Word96 -> Word96 -> (Word96, UnsignedWord Word96)

unwrappedMul :: Word96 -> Word96 -> (Word96, UnsignedWord Word96)

leadingZeroes :: Word96 -> Int

trailingZeroes :: Word96 -> Int

allZeroes :: Word96

allOnes :: Word96

msb :: Word96

lsb :: Word96

testMsb :: Word96 -> Bool

testLsb :: Word96 -> Bool

setMsb :: Word96 -> Word96

setLsb :: Word96 -> Word96

clearMsb :: Word96 -> Word96

clearLsb :: Word96 -> Word96

Hashable Word96

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Word96 -> Int

hash :: Word96 -> Int

DoubleWord Word96

Defined in Data.DoubleWord

Associated Types

type LoWord Word96 :: Type

type HiWord Word96 :: Type

Methods

loWord :: Word96 -> LoWord Word96

hiWord :: Word96 -> HiWord Word96

fromHiAndLo :: HiWord Word96 -> LoWord Word96 -> Word96

extendLo :: LoWord Word96 -> Word96

signExtendLo :: SignedWord (LoWord Word96) -> Word96

type Rep Word96

Defined in Data.DoubleWord

type Rep Word96 = D1 (MetaData "Word96" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Word96" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word32) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64)))

type SignedWord Word96

Defined in Data.DoubleWord

type SignedWord Word96 = Int96

type UnsignedWord Word96

Defined in Data.DoubleWord

type UnsignedWord Word96 = Word96

type LoWord Word96

Defined in Data.DoubleWord

type LoWord Word96 = Word64

type HiWord Word96

Defined in Data.DoubleWord

type HiWord Word96 = Word32

data Word128

Constructors

Word128 !Word64 !Word64

Instances

Bounded Word128

Defined in Data.DoubleWord

Methods

minBound :: Word128

maxBound :: Word128

Enum Word128

Defined in Data.DoubleWord

Methods

succ :: Word128 -> Word128

pred :: Word128 -> Word128

toEnum :: Int -> Word128

fromEnum :: Word128 -> Int

enumFrom :: Word128 -> [Word128]

enumFromThen :: Word128 -> Word128 -> [Word128]

enumFromTo :: Word128 -> Word128 -> [Word128]

enumFromThenTo :: Word128 -> Word128 -> Word128 -> [Word128]

Eq Word128

Defined in Data.DoubleWord

Methods

(==) :: Word128 -> Word128 -> Bool

(/=) :: Word128 -> Word128 -> Bool

Integral Word128

Defined in Data.DoubleWord

Methods

quot :: Word128 -> Word128 -> Word128

rem :: Word128 -> Word128 -> Word128

div :: Word128 -> Word128 -> Word128

mod :: Word128 -> Word128 -> Word128

quotRem :: Word128 -> Word128 -> (Word128, Word128)

divMod :: Word128 -> Word128 -> (Word128, Word128)

toInteger :: Word128 -> Integer

Data Word128

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word128 -> c Word128

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word128

toConstr :: Word128 -> Constr

dataTypeOf :: Word128 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word128)

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

gmapT :: (forall b. Data b => b -> b) -> Word128 -> Word128

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word128 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word128 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word128 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word128 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word128 -> m Word128

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word128 -> m Word128

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word128 -> m Word128

Num Word128

Defined in Data.DoubleWord

Methods

(+) :: Word128 -> Word128 -> Word128

(-) :: Word128 -> Word128 -> Word128

(*) :: Word128 -> Word128 -> Word128

negate :: Word128 -> Word128

abs :: Word128 -> Word128

signum :: Word128 -> Word128

fromInteger :: Integer -> Word128

Ord Word128

Defined in Data.DoubleWord

Methods

compare :: Word128 -> Word128 -> Ordering

(<) :: Word128 -> Word128 -> Bool

(<=) :: Word128 -> Word128 -> Bool

(>) :: Word128 -> Word128 -> Bool

(>=) :: Word128 -> Word128 -> Bool

max :: Word128 -> Word128 -> Word128

min :: Word128 -> Word128 -> Word128

Read Word128

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Word128

readList :: ReadS [Word128]

readPrec :: ReadPrec Word128

readListPrec :: ReadPrec [Word128]

Real Word128

Defined in Data.DoubleWord

Methods

toRational :: Word128 -> Rational

Show Word128

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Word128 -> ShowS

show :: Word128 -> String

showList :: [Word128] -> ShowS

Ix Word128

Defined in Data.DoubleWord

Methods

range :: (Word128, Word128) -> [Word128]

index :: (Word128, Word128) -> Word128 -> Int

unsafeIndex :: (Word128, Word128) -> Word128 -> Int

inRange :: (Word128, Word128) -> Word128 -> Bool

rangeSize :: (Word128, Word128) -> Int

unsafeRangeSize :: (Word128, Word128) -> Int

Generic Word128

Defined in Data.DoubleWord

Associated Types

type Rep Word128 :: Type -> Type

Methods

from :: Word128 -> Rep Word128 x

to :: Rep Word128 x -> Word128

Bits Word128

Defined in Data.DoubleWord

Methods

(.&.) :: Word128 -> Word128 -> Word128

(.|.) :: Word128 -> Word128 -> Word128

xor :: Word128 -> Word128 -> Word128

complement :: Word128 -> Word128

shift :: Word128 -> Int -> Word128

rotate :: Word128 -> Int -> Word128

zeroBits :: Word128

bit :: Int -> Word128

setBit :: Word128 -> Int -> Word128

clearBit :: Word128 -> Int -> Word128

complementBit :: Word128 -> Int -> Word128

testBit :: Word128 -> Int -> Bool

bitSizeMaybe :: Word128 -> Maybe Int

bitSize :: Word128 -> Int

isSigned :: Word128 -> Bool

shiftL :: Word128 -> Int -> Word128

unsafeShiftL :: Word128 -> Int -> Word128

shiftR :: Word128 -> Int -> Word128

unsafeShiftR :: Word128 -> Int -> Word128

rotateL :: Word128 -> Int -> Word128

rotateR :: Word128 -> Int -> Word128

popCount :: Word128 -> Int

FiniteBits Word128

Defined in Data.DoubleWord

Methods

finiteBitSize :: Word128 -> Int

countLeadingZeros :: Word128 -> Int

countTrailingZeros :: Word128 -> Int

BinaryWord Word128

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Word128 :: Type

type SignedWord Word128 :: Type

Methods

unsignedWord :: Word128 -> UnsignedWord Word128

signedWord :: Word128 -> SignedWord Word128

unwrappedAdd :: Word128 -> Word128 -> (Word128, UnsignedWord Word128)

unwrappedMul :: Word128 -> Word128 -> (Word128, UnsignedWord Word128)

leadingZeroes :: Word128 -> Int

trailingZeroes :: Word128 -> Int

allZeroes :: Word128

allOnes :: Word128

msb :: Word128

lsb :: Word128

testMsb :: Word128 -> Bool

testLsb :: Word128 -> Bool

setMsb :: Word128 -> Word128

setLsb :: Word128 -> Word128

clearMsb :: Word128 -> Word128

clearLsb :: Word128 -> Word128

Hashable Word128

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Word128 -> Int

hash :: Word128 -> Int

DoubleWord Word128

Defined in Data.DoubleWord

Associated Types

type LoWord Word128 :: Type

type HiWord Word128 :: Type

Methods

loWord :: Word128 -> LoWord Word128

hiWord :: Word128 -> HiWord Word128

fromHiAndLo :: HiWord Word128 -> LoWord Word128 -> Word128

extendLo :: LoWord Word128 -> Word128

signExtendLo :: SignedWord (LoWord Word128) -> Word128

type Rep Word128

Defined in Data.DoubleWord

type Rep Word128 = D1 (MetaData "Word128" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Word128" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64)))

type SignedWord Word128

Defined in Data.DoubleWord

type SignedWord Word128 = Int128

type UnsignedWord Word128

Defined in Data.DoubleWord

type UnsignedWord Word128 = Word128

type LoWord Word128

Defined in Data.DoubleWord

type LoWord Word128 = Word64

type HiWord Word128

Defined in Data.DoubleWord

type HiWord Word128 = Word64

data Word160

Constructors

Word160 !Word32 !Word128

Instances

Bounded Word160

Defined in Data.DoubleWord

Methods

minBound :: Word160

maxBound :: Word160

Enum Word160

Defined in Data.DoubleWord

Methods

succ :: Word160 -> Word160

pred :: Word160 -> Word160

toEnum :: Int -> Word160

fromEnum :: Word160 -> Int

enumFrom :: Word160 -> [Word160]

enumFromThen :: Word160 -> Word160 -> [Word160]

enumFromTo :: Word160 -> Word160 -> [Word160]

enumFromThenTo :: Word160 -> Word160 -> Word160 -> [Word160]

Eq Word160

Defined in Data.DoubleWord

Methods

(==) :: Word160 -> Word160 -> Bool

(/=) :: Word160 -> Word160 -> Bool

Integral Word160

Defined in Data.DoubleWord

Methods

quot :: Word160 -> Word160 -> Word160

rem :: Word160 -> Word160 -> Word160

div :: Word160 -> Word160 -> Word160

mod :: Word160 -> Word160 -> Word160

quotRem :: Word160 -> Word160 -> (Word160, Word160)

divMod :: Word160 -> Word160 -> (Word160, Word160)

toInteger :: Word160 -> Integer

Data Word160

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word160 -> c Word160

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word160

toConstr :: Word160 -> Constr

dataTypeOf :: Word160 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word160)

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

gmapT :: (forall b. Data b => b -> b) -> Word160 -> Word160

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word160 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word160 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word160 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word160 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word160 -> m Word160

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word160 -> m Word160

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word160 -> m Word160

Num Word160

Defined in Data.DoubleWord

Methods

(+) :: Word160 -> Word160 -> Word160

(-) :: Word160 -> Word160 -> Word160

(*) :: Word160 -> Word160 -> Word160

negate :: Word160 -> Word160

abs :: Word160 -> Word160

signum :: Word160 -> Word160

fromInteger :: Integer -> Word160

Ord Word160

Defined in Data.DoubleWord

Methods

compare :: Word160 -> Word160 -> Ordering

(<) :: Word160 -> Word160 -> Bool

(<=) :: Word160 -> Word160 -> Bool

(>) :: Word160 -> Word160 -> Bool

(>=) :: Word160 -> Word160 -> Bool

max :: Word160 -> Word160 -> Word160

min :: Word160 -> Word160 -> Word160

Read Word160

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Word160

readList :: ReadS [Word160]

readPrec :: ReadPrec Word160

readListPrec :: ReadPrec [Word160]

Real Word160

Defined in Data.DoubleWord

Methods

toRational :: Word160 -> Rational

Show Word160

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Word160 -> ShowS

show :: Word160 -> String

showList :: [Word160] -> ShowS

Ix Word160

Defined in Data.DoubleWord

Methods

range :: (Word160, Word160) -> [Word160]

index :: (Word160, Word160) -> Word160 -> Int

unsafeIndex :: (Word160, Word160) -> Word160 -> Int

inRange :: (Word160, Word160) -> Word160 -> Bool

rangeSize :: (Word160, Word160) -> Int

unsafeRangeSize :: (Word160, Word160) -> Int

Generic Word160

Defined in Data.DoubleWord

Associated Types

type Rep Word160 :: Type -> Type

Methods

from :: Word160 -> Rep Word160 x

to :: Rep Word160 x -> Word160

Bits Word160

Defined in Data.DoubleWord

Methods

(.&.) :: Word160 -> Word160 -> Word160

(.|.) :: Word160 -> Word160 -> Word160

xor :: Word160 -> Word160 -> Word160

complement :: Word160 -> Word160

shift :: Word160 -> Int -> Word160

rotate :: Word160 -> Int -> Word160

zeroBits :: Word160

bit :: Int -> Word160

setBit :: Word160 -> Int -> Word160

clearBit :: Word160 -> Int -> Word160

complementBit :: Word160 -> Int -> Word160

testBit :: Word160 -> Int -> Bool

bitSizeMaybe :: Word160 -> Maybe Int

bitSize :: Word160 -> Int

isSigned :: Word160 -> Bool

shiftL :: Word160 -> Int -> Word160

unsafeShiftL :: Word160 -> Int -> Word160

shiftR :: Word160 -> Int -> Word160

unsafeShiftR :: Word160 -> Int -> Word160

rotateL :: Word160 -> Int -> Word160

rotateR :: Word160 -> Int -> Word160

popCount :: Word160 -> Int

FiniteBits Word160

Defined in Data.DoubleWord

Methods

finiteBitSize :: Word160 -> Int

countLeadingZeros :: Word160 -> Int

countTrailingZeros :: Word160 -> Int

BinaryWord Word160

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Word160 :: Type

type SignedWord Word160 :: Type

Methods

unsignedWord :: Word160 -> UnsignedWord Word160

signedWord :: Word160 -> SignedWord Word160

unwrappedAdd :: Word160 -> Word160 -> (Word160, UnsignedWord Word160)

unwrappedMul :: Word160 -> Word160 -> (Word160, UnsignedWord Word160)

leadingZeroes :: Word160 -> Int

trailingZeroes :: Word160 -> Int

allZeroes :: Word160

allOnes :: Word160

msb :: Word160

lsb :: Word160

testMsb :: Word160 -> Bool

testLsb :: Word160 -> Bool

setMsb :: Word160 -> Word160

setLsb :: Word160 -> Word160

clearMsb :: Word160 -> Word160

clearLsb :: Word160 -> Word160

Hashable Word160

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Word160 -> Int

hash :: Word160 -> Int

DoubleWord Word160

Defined in Data.DoubleWord

Associated Types

type LoWord Word160 :: Type

type HiWord Word160 :: Type

Methods

loWord :: Word160 -> LoWord Word160

hiWord :: Word160 -> HiWord Word160

fromHiAndLo :: HiWord Word160 -> LoWord Word160 -> Word160

extendLo :: LoWord Word160 -> Word160

signExtendLo :: SignedWord (LoWord Word160) -> Word160

type Rep Word160

Defined in Data.DoubleWord

type Rep Word160 = D1 (MetaData "Word160" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Word160" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word32) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Word160

Defined in Data.DoubleWord

type SignedWord Word160 = Int160

type UnsignedWord Word160

Defined in Data.DoubleWord

type UnsignedWord Word160 = Word160

type LoWord Word160

Defined in Data.DoubleWord

type LoWord Word160 = Word128

type HiWord Word160

Defined in Data.DoubleWord

type HiWord Word160 = Word32

data Word192

Constructors

Word192 !Word64 !Word128

Instances

Bounded Word192

Defined in Data.DoubleWord

Methods

minBound :: Word192

maxBound :: Word192

Enum Word192

Defined in Data.DoubleWord

Methods

succ :: Word192 -> Word192

pred :: Word192 -> Word192

toEnum :: Int -> Word192

fromEnum :: Word192 -> Int

enumFrom :: Word192 -> [Word192]

enumFromThen :: Word192 -> Word192 -> [Word192]

enumFromTo :: Word192 -> Word192 -> [Word192]

enumFromThenTo :: Word192 -> Word192 -> Word192 -> [Word192]

Eq Word192

Defined in Data.DoubleWord

Methods

(==) :: Word192 -> Word192 -> Bool

(/=) :: Word192 -> Word192 -> Bool

Integral Word192

Defined in Data.DoubleWord

Methods

quot :: Word192 -> Word192 -> Word192

rem :: Word192 -> Word192 -> Word192

div :: Word192 -> Word192 -> Word192

mod :: Word192 -> Word192 -> Word192

quotRem :: Word192 -> Word192 -> (Word192, Word192)

divMod :: Word192 -> Word192 -> (Word192, Word192)

toInteger :: Word192 -> Integer

Data Word192

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word192 -> c Word192

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word192

toConstr :: Word192 -> Constr

dataTypeOf :: Word192 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word192)

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

gmapT :: (forall b. Data b => b -> b) -> Word192 -> Word192

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word192 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word192 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word192 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word192 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word192 -> m Word192

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word192 -> m Word192

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word192 -> m Word192

Num Word192

Defined in Data.DoubleWord

Methods

(+) :: Word192 -> Word192 -> Word192

(-) :: Word192 -> Word192 -> Word192

(*) :: Word192 -> Word192 -> Word192

negate :: Word192 -> Word192

abs :: Word192 -> Word192

signum :: Word192 -> Word192

fromInteger :: Integer -> Word192

Ord Word192

Defined in Data.DoubleWord

Methods

compare :: Word192 -> Word192 -> Ordering

(<) :: Word192 -> Word192 -> Bool

(<=) :: Word192 -> Word192 -> Bool

(>) :: Word192 -> Word192 -> Bool

(>=) :: Word192 -> Word192 -> Bool

max :: Word192 -> Word192 -> Word192

min :: Word192 -> Word192 -> Word192

Read Word192

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Word192

readList :: ReadS [Word192]

readPrec :: ReadPrec Word192

readListPrec :: ReadPrec [Word192]

Real Word192

Defined in Data.DoubleWord

Methods

toRational :: Word192 -> Rational

Show Word192

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Word192 -> ShowS

show :: Word192 -> String

showList :: [Word192] -> ShowS

Ix Word192

Defined in Data.DoubleWord

Methods

range :: (Word192, Word192) -> [Word192]

index :: (Word192, Word192) -> Word192 -> Int

unsafeIndex :: (Word192, Word192) -> Word192 -> Int

inRange :: (Word192, Word192) -> Word192 -> Bool

rangeSize :: (Word192, Word192) -> Int

unsafeRangeSize :: (Word192, Word192) -> Int

Generic Word192

Defined in Data.DoubleWord

Associated Types

type Rep Word192 :: Type -> Type

Methods

from :: Word192 -> Rep Word192 x

to :: Rep Word192 x -> Word192

Bits Word192

Defined in Data.DoubleWord

Methods

(.&.) :: Word192 -> Word192 -> Word192

(.|.) :: Word192 -> Word192 -> Word192

xor :: Word192 -> Word192 -> Word192

complement :: Word192 -> Word192

shift :: Word192 -> Int -> Word192

rotate :: Word192 -> Int -> Word192

zeroBits :: Word192

bit :: Int -> Word192

setBit :: Word192 -> Int -> Word192

clearBit :: Word192 -> Int -> Word192

complementBit :: Word192 -> Int -> Word192

testBit :: Word192 -> Int -> Bool

bitSizeMaybe :: Word192 -> Maybe Int

bitSize :: Word192 -> Int

isSigned :: Word192 -> Bool

shiftL :: Word192 -> Int -> Word192

unsafeShiftL :: Word192 -> Int -> Word192

shiftR :: Word192 -> Int -> Word192

unsafeShiftR :: Word192 -> Int -> Word192

rotateL :: Word192 -> Int -> Word192

rotateR :: Word192 -> Int -> Word192

popCount :: Word192 -> Int

FiniteBits Word192

Defined in Data.DoubleWord

Methods

finiteBitSize :: Word192 -> Int

countLeadingZeros :: Word192 -> Int

countTrailingZeros :: Word192 -> Int

BinaryWord Word192

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Word192 :: Type

type SignedWord Word192 :: Type

Methods

unsignedWord :: Word192 -> UnsignedWord Word192

signedWord :: Word192 -> SignedWord Word192

unwrappedAdd :: Word192 -> Word192 -> (Word192, UnsignedWord Word192)

unwrappedMul :: Word192 -> Word192 -> (Word192, UnsignedWord Word192)

leadingZeroes :: Word192 -> Int

trailingZeroes :: Word192 -> Int

allZeroes :: Word192

allOnes :: Word192

msb :: Word192

lsb :: Word192

testMsb :: Word192 -> Bool

testLsb :: Word192 -> Bool

setMsb :: Word192 -> Word192

setLsb :: Word192 -> Word192

clearMsb :: Word192 -> Word192

clearLsb :: Word192 -> Word192

Hashable Word192

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Word192 -> Int

hash :: Word192 -> Int

DoubleWord Word192

Defined in Data.DoubleWord

Associated Types

type LoWord Word192 :: Type

type HiWord Word192 :: Type

Methods

loWord :: Word192 -> LoWord Word192

hiWord :: Word192 -> HiWord Word192

fromHiAndLo :: HiWord Word192 -> LoWord Word192 -> Word192

extendLo :: LoWord Word192 -> Word192

signExtendLo :: SignedWord (LoWord Word192) -> Word192

type Rep Word192

Defined in Data.DoubleWord

type Rep Word192 = D1 (MetaData "Word192" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Word192" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Word192

Defined in Data.DoubleWord

type SignedWord Word192 = Int192

type UnsignedWord Word192

Defined in Data.DoubleWord

type UnsignedWord Word192 = Word192

type LoWord Word192

Defined in Data.DoubleWord

type LoWord Word192 = Word128

type HiWord Word192

Defined in Data.DoubleWord

type HiWord Word192 = Word64

data Word224

Constructors

Word224 !Word96 !Word128

Instances

Bounded Word224

Defined in Data.DoubleWord

Methods

minBound :: Word224

maxBound :: Word224

Enum Word224

Defined in Data.DoubleWord

Methods

succ :: Word224 -> Word224

pred :: Word224 -> Word224

toEnum :: Int -> Word224

fromEnum :: Word224 -> Int

enumFrom :: Word224 -> [Word224]

enumFromThen :: Word224 -> Word224 -> [Word224]

enumFromTo :: Word224 -> Word224 -> [Word224]

enumFromThenTo :: Word224 -> Word224 -> Word224 -> [Word224]

Eq Word224

Defined in Data.DoubleWord

Methods

(==) :: Word224 -> Word224 -> Bool

(/=) :: Word224 -> Word224 -> Bool

Integral Word224

Defined in Data.DoubleWord

Methods

quot :: Word224 -> Word224 -> Word224

rem :: Word224 -> Word224 -> Word224

div :: Word224 -> Word224 -> Word224

mod :: Word224 -> Word224 -> Word224

quotRem :: Word224 -> Word224 -> (Word224, Word224)

divMod :: Word224 -> Word224 -> (Word224, Word224)

toInteger :: Word224 -> Integer

Data Word224

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word224 -> c Word224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word224

toConstr :: Word224 -> Constr

dataTypeOf :: Word224 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word224)

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

gmapT :: (forall b. Data b => b -> b) -> Word224 -> Word224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word224 -> m Word224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word224 -> m Word224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word224 -> m Word224

Num Word224

Defined in Data.DoubleWord

Methods

(+) :: Word224 -> Word224 -> Word224

(-) :: Word224 -> Word224 -> Word224

(*) :: Word224 -> Word224 -> Word224

negate :: Word224 -> Word224

abs :: Word224 -> Word224

signum :: Word224 -> Word224

fromInteger :: Integer -> Word224

Ord Word224

Defined in Data.DoubleWord

Methods

compare :: Word224 -> Word224 -> Ordering

(<) :: Word224 -> Word224 -> Bool

(<=) :: Word224 -> Word224 -> Bool

(>) :: Word224 -> Word224 -> Bool

(>=) :: Word224 -> Word224 -> Bool

max :: Word224 -> Word224 -> Word224

min :: Word224 -> Word224 -> Word224

Read Word224

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Word224

readList :: ReadS [Word224]

readPrec :: ReadPrec Word224

readListPrec :: ReadPrec [Word224]

Real Word224

Defined in Data.DoubleWord

Methods

toRational :: Word224 -> Rational

Show Word224

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Word224 -> ShowS

show :: Word224 -> String

showList :: [Word224] -> ShowS

Ix Word224

Defined in Data.DoubleWord

Methods

range :: (Word224, Word224) -> [Word224]

index :: (Word224, Word224) -> Word224 -> Int

unsafeIndex :: (Word224, Word224) -> Word224 -> Int

inRange :: (Word224, Word224) -> Word224 -> Bool

rangeSize :: (Word224, Word224) -> Int

unsafeRangeSize :: (Word224, Word224) -> Int

Generic Word224

Defined in Data.DoubleWord

Associated Types

type Rep Word224 :: Type -> Type

Methods

from :: Word224 -> Rep Word224 x

to :: Rep Word224 x -> Word224

Bits Word224

Defined in Data.DoubleWord

Methods

(.&.) :: Word224 -> Word224 -> Word224

(.|.) :: Word224 -> Word224 -> Word224

xor :: Word224 -> Word224 -> Word224

complement :: Word224 -> Word224

shift :: Word224 -> Int -> Word224

rotate :: Word224 -> Int -> Word224

zeroBits :: Word224

bit :: Int -> Word224

setBit :: Word224 -> Int -> Word224

clearBit :: Word224 -> Int -> Word224

complementBit :: Word224 -> Int -> Word224

testBit :: Word224 -> Int -> Bool

bitSizeMaybe :: Word224 -> Maybe Int

bitSize :: Word224 -> Int

isSigned :: Word224 -> Bool

shiftL :: Word224 -> Int -> Word224

unsafeShiftL :: Word224 -> Int -> Word224

shiftR :: Word224 -> Int -> Word224

unsafeShiftR :: Word224 -> Int -> Word224

rotateL :: Word224 -> Int -> Word224

rotateR :: Word224 -> Int -> Word224

popCount :: Word224 -> Int

FiniteBits Word224

Defined in Data.DoubleWord

Methods

finiteBitSize :: Word224 -> Int

countLeadingZeros :: Word224 -> Int

countTrailingZeros :: Word224 -> Int

BinaryWord Word224

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Word224 :: Type

type SignedWord Word224 :: Type

Methods

unsignedWord :: Word224 -> UnsignedWord Word224

signedWord :: Word224 -> SignedWord Word224

unwrappedAdd :: Word224 -> Word224 -> (Word224, UnsignedWord Word224)

unwrappedMul :: Word224 -> Word224 -> (Word224, UnsignedWord Word224)

leadingZeroes :: Word224 -> Int

trailingZeroes :: Word224 -> Int

allZeroes :: Word224

allOnes :: Word224

msb :: Word224

lsb :: Word224

testMsb :: Word224 -> Bool

testLsb :: Word224 -> Bool

setMsb :: Word224 -> Word224

setLsb :: Word224 -> Word224

clearMsb :: Word224 -> Word224

clearLsb :: Word224 -> Word224

Hashable Word224

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Word224 -> Int

hash :: Word224 -> Int

DoubleWord Word224

Defined in Data.DoubleWord

Associated Types

type LoWord Word224 :: Type

type HiWord Word224 :: Type

Methods

loWord :: Word224 -> LoWord Word224

hiWord :: Word224 -> HiWord Word224

fromHiAndLo :: HiWord Word224 -> LoWord Word224 -> Word224

extendLo :: LoWord Word224 -> Word224

signExtendLo :: SignedWord (LoWord Word224) -> Word224

type Rep Word224

Defined in Data.DoubleWord

type Rep Word224 = D1 (MetaData "Word224" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Word224" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word96) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Word224

Defined in Data.DoubleWord

type SignedWord Word224 = Int224

type UnsignedWord Word224

Defined in Data.DoubleWord

type UnsignedWord Word224 = Word224

type LoWord Word224

Defined in Data.DoubleWord

type LoWord Word224 = Word128

type HiWord Word224

Defined in Data.DoubleWord

type HiWord Word224 = Word96

data Word256

Constructors

Word256 !Word128 !Word128

Instances

Bounded Word256

Defined in Data.DoubleWord

Methods

minBound :: Word256

maxBound :: Word256

Enum Word256

Defined in Data.DoubleWord

Methods

succ :: Word256 -> Word256

pred :: Word256 -> Word256

toEnum :: Int -> Word256

fromEnum :: Word256 -> Int

enumFrom :: Word256 -> [Word256]

enumFromThen :: Word256 -> Word256 -> [Word256]

enumFromTo :: Word256 -> Word256 -> [Word256]

enumFromThenTo :: Word256 -> Word256 -> Word256 -> [Word256]

Eq Word256

Defined in Data.DoubleWord

Methods

(==) :: Word256 -> Word256 -> Bool

(/=) :: Word256 -> Word256 -> Bool

Integral Word256

Defined in Data.DoubleWord

Methods

quot :: Word256 -> Word256 -> Word256

rem :: Word256 -> Word256 -> Word256

div :: Word256 -> Word256 -> Word256

mod :: Word256 -> Word256 -> Word256

quotRem :: Word256 -> Word256 -> (Word256, Word256)

divMod :: Word256 -> Word256 -> (Word256, Word256)

toInteger :: Word256 -> Integer

Data Word256

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word256 -> c Word256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word256

toConstr :: Word256 -> Constr

dataTypeOf :: Word256 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word256)

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

gmapT :: (forall b. Data b => b -> b) -> Word256 -> Word256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Word256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word256 -> m Word256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word256 -> m Word256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word256 -> m Word256

Num Word256

Defined in Data.DoubleWord

Methods

(+) :: Word256 -> Word256 -> Word256

(-) :: Word256 -> Word256 -> Word256

(*) :: Word256 -> Word256 -> Word256

negate :: Word256 -> Word256

abs :: Word256 -> Word256

signum :: Word256 -> Word256

fromInteger :: Integer -> Word256

Ord Word256

Defined in Data.DoubleWord

Methods

compare :: Word256 -> Word256 -> Ordering

(<) :: Word256 -> Word256 -> Bool

(<=) :: Word256 -> Word256 -> Bool

(>) :: Word256 -> Word256 -> Bool

(>=) :: Word256 -> Word256 -> Bool

max :: Word256 -> Word256 -> Word256

min :: Word256 -> Word256 -> Word256

Read Word256

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Word256

readList :: ReadS [Word256]

readPrec :: ReadPrec Word256

readListPrec :: ReadPrec [Word256]

Real Word256

Defined in Data.DoubleWord

Methods

toRational :: Word256 -> Rational

Show Word256

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Word256 -> ShowS

show :: Word256 -> String

showList :: [Word256] -> ShowS

Ix Word256

Defined in Data.DoubleWord

Methods

range :: (Word256, Word256) -> [Word256]

index :: (Word256, Word256) -> Word256 -> Int

unsafeIndex :: (Word256, Word256) -> Word256 -> Int

inRange :: (Word256, Word256) -> Word256 -> Bool

rangeSize :: (Word256, Word256) -> Int

unsafeRangeSize :: (Word256, Word256) -> Int

Generic Word256

Defined in Data.DoubleWord

Associated Types

type Rep Word256 :: Type -> Type

Methods

from :: Word256 -> Rep Word256 x

to :: Rep Word256 x -> Word256

Bits Word256

Defined in Data.DoubleWord

Methods

(.&.) :: Word256 -> Word256 -> Word256

(.|.) :: Word256 -> Word256 -> Word256

xor :: Word256 -> Word256 -> Word256

complement :: Word256 -> Word256

shift :: Word256 -> Int -> Word256

rotate :: Word256 -> Int -> Word256

zeroBits :: Word256

bit :: Int -> Word256

setBit :: Word256 -> Int -> Word256

clearBit :: Word256 -> Int -> Word256

complementBit :: Word256 -> Int -> Word256

testBit :: Word256 -> Int -> Bool

bitSizeMaybe :: Word256 -> Maybe Int

bitSize :: Word256 -> Int

isSigned :: Word256 -> Bool

shiftL :: Word256 -> Int -> Word256

unsafeShiftL :: Word256 -> Int -> Word256

shiftR :: Word256 -> Int -> Word256

unsafeShiftR :: Word256 -> Int -> Word256

rotateL :: Word256 -> Int -> Word256

rotateR :: Word256 -> Int -> Word256

popCount :: Word256 -> Int

FiniteBits Word256

Defined in Data.DoubleWord

Methods

finiteBitSize :: Word256 -> Int

countLeadingZeros :: Word256 -> Int

countTrailingZeros :: Word256 -> Int

BinaryWord Word256

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Word256 :: Type

type SignedWord Word256 :: Type

Methods

unsignedWord :: Word256 -> UnsignedWord Word256

signedWord :: Word256 -> SignedWord Word256

unwrappedAdd :: Word256 -> Word256 -> (Word256, UnsignedWord Word256)

unwrappedMul :: Word256 -> Word256 -> (Word256, UnsignedWord Word256)

leadingZeroes :: Word256 -> Int

trailingZeroes :: Word256 -> Int

allZeroes :: Word256

allOnes :: Word256

msb :: Word256

lsb :: Word256

testMsb :: Word256 -> Bool

testLsb :: Word256 -> Bool

setMsb :: Word256 -> Word256

setLsb :: Word256 -> Word256

clearMsb :: Word256 -> Word256

clearLsb :: Word256 -> Word256

Hashable Word256

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Word256 -> Int

hash :: Word256 -> Int

DoubleWord Word256

Defined in Data.DoubleWord

Associated Types

type LoWord Word256 :: Type

type HiWord Word256 :: Type

Methods

loWord :: Word256 -> LoWord Word256

hiWord :: Word256 -> HiWord Word256

fromHiAndLo :: HiWord Word256 -> LoWord Word256 -> Word256

extendLo :: LoWord Word256 -> Word256

signExtendLo :: SignedWord (LoWord Word256) -> Word256

type Rep Word256

Defined in Data.DoubleWord

type Rep Word256 = D1 (MetaData "Word256" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Word256" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Word256

Defined in Data.DoubleWord

type SignedWord Word256 = Int256

type UnsignedWord Word256

Defined in Data.DoubleWord

type UnsignedWord Word256 = Word256

type LoWord Word256

Defined in Data.DoubleWord

type LoWord Word256 = Word128

type HiWord Word256

Defined in Data.DoubleWord

type HiWord Word256 = Word128

data Int96

Constructors

Int96 !Int32 !Word64

Instances

Bounded Int96

Defined in Data.DoubleWord

Methods

minBound :: Int96

maxBound :: Int96

Enum Int96

Defined in Data.DoubleWord

Methods

succ :: Int96 -> Int96

pred :: Int96 -> Int96

toEnum :: Int -> Int96

fromEnum :: Int96 -> Int

enumFrom :: Int96 -> [Int96]

enumFromThen :: Int96 -> Int96 -> [Int96]

enumFromTo :: Int96 -> Int96 -> [Int96]

enumFromThenTo :: Int96 -> Int96 -> Int96 -> [Int96]

Eq Int96

Defined in Data.DoubleWord

Methods

(==) :: Int96 -> Int96 -> Bool

(/=) :: Int96 -> Int96 -> Bool

Integral Int96

Defined in Data.DoubleWord

Methods

quot :: Int96 -> Int96 -> Int96

rem :: Int96 -> Int96 -> Int96

div :: Int96 -> Int96 -> Int96

mod :: Int96 -> Int96 -> Int96

quotRem :: Int96 -> Int96 -> (Int96, Int96)

divMod :: Int96 -> Int96 -> (Int96, Int96)

toInteger :: Int96 -> Integer

Data Int96

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int96 -> c Int96

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int96

toConstr :: Int96 -> Constr

dataTypeOf :: Int96 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int96)

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

gmapT :: (forall b. Data b => b -> b) -> Int96 -> Int96

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int96 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int96 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int96 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int96 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int96 -> m Int96

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int96 -> m Int96

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int96 -> m Int96

Num Int96

Defined in Data.DoubleWord

Methods

(+) :: Int96 -> Int96 -> Int96

(-) :: Int96 -> Int96 -> Int96

(*) :: Int96 -> Int96 -> Int96

negate :: Int96 -> Int96

abs :: Int96 -> Int96

signum :: Int96 -> Int96

fromInteger :: Integer -> Int96

Ord Int96

Defined in Data.DoubleWord

Methods

compare :: Int96 -> Int96 -> Ordering

(<) :: Int96 -> Int96 -> Bool

(<=) :: Int96 -> Int96 -> Bool

(>) :: Int96 -> Int96 -> Bool

(>=) :: Int96 -> Int96 -> Bool

max :: Int96 -> Int96 -> Int96

min :: Int96 -> Int96 -> Int96

Read Int96

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Int96

readList :: ReadS [Int96]

readPrec :: ReadPrec Int96

readListPrec :: ReadPrec [Int96]

Real Int96

Defined in Data.DoubleWord

Methods

toRational :: Int96 -> Rational

Show Int96

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Int96 -> ShowS

show :: Int96 -> String

showList :: [Int96] -> ShowS

Ix Int96

Defined in Data.DoubleWord

Methods

range :: (Int96, Int96) -> [Int96]

index :: (Int96, Int96) -> Int96 -> Int

unsafeIndex :: (Int96, Int96) -> Int96 -> Int

inRange :: (Int96, Int96) -> Int96 -> Bool

rangeSize :: (Int96, Int96) -> Int

unsafeRangeSize :: (Int96, Int96) -> Int

Generic Int96

Defined in Data.DoubleWord

Associated Types

type Rep Int96 :: Type -> Type

Methods

from :: Int96 -> Rep Int96 x

to :: Rep Int96 x -> Int96

Bits Int96

Defined in Data.DoubleWord

Methods

(.&.) :: Int96 -> Int96 -> Int96

(.|.) :: Int96 -> Int96 -> Int96

xor :: Int96 -> Int96 -> Int96

complement :: Int96 -> Int96

shift :: Int96 -> Int -> Int96

rotate :: Int96 -> Int -> Int96

zeroBits :: Int96

bit :: Int -> Int96

setBit :: Int96 -> Int -> Int96

clearBit :: Int96 -> Int -> Int96

complementBit :: Int96 -> Int -> Int96

testBit :: Int96 -> Int -> Bool

bitSizeMaybe :: Int96 -> Maybe Int

bitSize :: Int96 -> Int

isSigned :: Int96 -> Bool

shiftL :: Int96 -> Int -> Int96

unsafeShiftL :: Int96 -> Int -> Int96

shiftR :: Int96 -> Int -> Int96

unsafeShiftR :: Int96 -> Int -> Int96

rotateL :: Int96 -> Int -> Int96

rotateR :: Int96 -> Int -> Int96

popCount :: Int96 -> Int

FiniteBits Int96

Defined in Data.DoubleWord

Methods

finiteBitSize :: Int96 -> Int

countLeadingZeros :: Int96 -> Int

countTrailingZeros :: Int96 -> Int

BinaryWord Int96

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Int96 :: Type

type SignedWord Int96 :: Type

Methods

unsignedWord :: Int96 -> UnsignedWord Int96

signedWord :: Int96 -> SignedWord Int96

unwrappedAdd :: Int96 -> Int96 -> (Int96, UnsignedWord Int96)

unwrappedMul :: Int96 -> Int96 -> (Int96, UnsignedWord Int96)

leadingZeroes :: Int96 -> Int

trailingZeroes :: Int96 -> Int

allZeroes :: Int96

allOnes :: Int96

msb :: Int96

lsb :: Int96

testMsb :: Int96 -> Bool

testLsb :: Int96 -> Bool

setMsb :: Int96 -> Int96

setLsb :: Int96 -> Int96

clearMsb :: Int96 -> Int96

clearLsb :: Int96 -> Int96

Hashable Int96

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Int96 -> Int

hash :: Int96 -> Int

DoubleWord Int96

Defined in Data.DoubleWord

Associated Types

type LoWord Int96 :: Type

type HiWord Int96 :: Type

Methods

loWord :: Int96 -> LoWord Int96

hiWord :: Int96 -> HiWord Int96

fromHiAndLo :: HiWord Int96 -> LoWord Int96 -> Int96

extendLo :: LoWord Int96 -> Int96

signExtendLo :: SignedWord (LoWord Int96) -> Int96

type Rep Int96

Defined in Data.DoubleWord

type Rep Int96 = D1 (MetaData "Int96" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Int96" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int32) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64)))

type SignedWord Int96

Defined in Data.DoubleWord

type SignedWord Int96 = Int96

type UnsignedWord Int96

Defined in Data.DoubleWord

type UnsignedWord Int96 = Word96

type LoWord Int96

Defined in Data.DoubleWord

type LoWord Int96 = Word64

type HiWord Int96

Defined in Data.DoubleWord

type HiWord Int96 = Int32

data Int128

Constructors

Int128 !Int64 !Word64

Instances

Bounded Int128

Defined in Data.DoubleWord

Methods

minBound :: Int128

maxBound :: Int128

Enum Int128

Defined in Data.DoubleWord

Methods

succ :: Int128 -> Int128

pred :: Int128 -> Int128

toEnum :: Int -> Int128

fromEnum :: Int128 -> Int

enumFrom :: Int128 -> [Int128]

enumFromThen :: Int128 -> Int128 -> [Int128]

enumFromTo :: Int128 -> Int128 -> [Int128]

enumFromThenTo :: Int128 -> Int128 -> Int128 -> [Int128]

Eq Int128

Defined in Data.DoubleWord

Methods

(==) :: Int128 -> Int128 -> Bool

(/=) :: Int128 -> Int128 -> Bool

Integral Int128

Defined in Data.DoubleWord

Methods

quot :: Int128 -> Int128 -> Int128

rem :: Int128 -> Int128 -> Int128

div :: Int128 -> Int128 -> Int128

mod :: Int128 -> Int128 -> Int128

quotRem :: Int128 -> Int128 -> (Int128, Int128)

divMod :: Int128 -> Int128 -> (Int128, Int128)

toInteger :: Int128 -> Integer

Data Int128

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int128 -> c Int128

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int128

toConstr :: Int128 -> Constr

dataTypeOf :: Int128 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int128)

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

gmapT :: (forall b. Data b => b -> b) -> Int128 -> Int128

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int128 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int128 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int128 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int128 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

Num Int128

Defined in Data.DoubleWord

Methods

(+) :: Int128 -> Int128 -> Int128

(-) :: Int128 -> Int128 -> Int128

(*) :: Int128 -> Int128 -> Int128

negate :: Int128 -> Int128

abs :: Int128 -> Int128

signum :: Int128 -> Int128

fromInteger :: Integer -> Int128

Ord Int128

Defined in Data.DoubleWord

Methods

compare :: Int128 -> Int128 -> Ordering

(<) :: Int128 -> Int128 -> Bool

(<=) :: Int128 -> Int128 -> Bool

(>) :: Int128 -> Int128 -> Bool

(>=) :: Int128 -> Int128 -> Bool

max :: Int128 -> Int128 -> Int128

min :: Int128 -> Int128 -> Int128

Read Int128

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Int128

readList :: ReadS [Int128]

readPrec :: ReadPrec Int128

readListPrec :: ReadPrec [Int128]

Real Int128

Defined in Data.DoubleWord

Methods

toRational :: Int128 -> Rational

Show Int128

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Int128 -> ShowS

show :: Int128 -> String

showList :: [Int128] -> ShowS

Ix Int128

Defined in Data.DoubleWord

Methods

range :: (Int128, Int128) -> [Int128]

index :: (Int128, Int128) -> Int128 -> Int

unsafeIndex :: (Int128, Int128) -> Int128 -> Int

inRange :: (Int128, Int128) -> Int128 -> Bool

rangeSize :: (Int128, Int128) -> Int

unsafeRangeSize :: (Int128, Int128) -> Int

Generic Int128

Defined in Data.DoubleWord

Associated Types

type Rep Int128 :: Type -> Type

Methods

from :: Int128 -> Rep Int128 x

to :: Rep Int128 x -> Int128

Bits Int128

Defined in Data.DoubleWord

Methods

(.&.) :: Int128 -> Int128 -> Int128

(.|.) :: Int128 -> Int128 -> Int128

xor :: Int128 -> Int128 -> Int128

complement :: Int128 -> Int128

shift :: Int128 -> Int -> Int128

rotate :: Int128 -> Int -> Int128

zeroBits :: Int128

bit :: Int -> Int128

setBit :: Int128 -> Int -> Int128

clearBit :: Int128 -> Int -> Int128

complementBit :: Int128 -> Int -> Int128

testBit :: Int128 -> Int -> Bool

bitSizeMaybe :: Int128 -> Maybe Int

bitSize :: Int128 -> Int

isSigned :: Int128 -> Bool

shiftL :: Int128 -> Int -> Int128

unsafeShiftL :: Int128 -> Int -> Int128

shiftR :: Int128 -> Int -> Int128

unsafeShiftR :: Int128 -> Int -> Int128

rotateL :: Int128 -> Int -> Int128

rotateR :: Int128 -> Int -> Int128

popCount :: Int128 -> Int

FiniteBits Int128

Defined in Data.DoubleWord

Methods

finiteBitSize :: Int128 -> Int

countLeadingZeros :: Int128 -> Int

countTrailingZeros :: Int128 -> Int

BinaryWord Int128

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Int128 :: Type

type SignedWord Int128 :: Type

Methods

unsignedWord :: Int128 -> UnsignedWord Int128

signedWord :: Int128 -> SignedWord Int128

unwrappedAdd :: Int128 -> Int128 -> (Int128, UnsignedWord Int128)

unwrappedMul :: Int128 -> Int128 -> (Int128, UnsignedWord Int128)

leadingZeroes :: Int128 -> Int

trailingZeroes :: Int128 -> Int

allZeroes :: Int128

allOnes :: Int128

msb :: Int128

lsb :: Int128

testMsb :: Int128 -> Bool

testLsb :: Int128 -> Bool

setMsb :: Int128 -> Int128

setLsb :: Int128 -> Int128

clearMsb :: Int128 -> Int128

clearLsb :: Int128 -> Int128

Hashable Int128

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Int128 -> Int

hash :: Int128 -> Int

DoubleWord Int128

Defined in Data.DoubleWord

Associated Types

type LoWord Int128 :: Type

type HiWord Int128 :: Type

Methods

loWord :: Int128 -> LoWord Int128

hiWord :: Int128 -> HiWord Int128

fromHiAndLo :: HiWord Int128 -> LoWord Int128 -> Int128

extendLo :: LoWord Int128 -> Int128

signExtendLo :: SignedWord (LoWord Int128) -> Int128

type Rep Int128

Defined in Data.DoubleWord

type Rep Int128 = D1 (MetaData "Int128" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Int128" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int64) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64)))

type SignedWord Int128

Defined in Data.DoubleWord

type SignedWord Int128 = Int128

type UnsignedWord Int128

Defined in Data.DoubleWord

type UnsignedWord Int128 = Word128

type LoWord Int128

Defined in Data.DoubleWord

type LoWord Int128 = Word64

type HiWord Int128

Defined in Data.DoubleWord

type HiWord Int128 = Int64

data Int160

Constructors

Int160 !Int32 !Word128

Instances

Bounded Int160

Defined in Data.DoubleWord

Methods

minBound :: Int160

maxBound :: Int160

Enum Int160

Defined in Data.DoubleWord

Methods

succ :: Int160 -> Int160

pred :: Int160 -> Int160

toEnum :: Int -> Int160

fromEnum :: Int160 -> Int

enumFrom :: Int160 -> [Int160]

enumFromThen :: Int160 -> Int160 -> [Int160]

enumFromTo :: Int160 -> Int160 -> [Int160]

enumFromThenTo :: Int160 -> Int160 -> Int160 -> [Int160]

Eq Int160

Defined in Data.DoubleWord

Methods

(==) :: Int160 -> Int160 -> Bool

(/=) :: Int160 -> Int160 -> Bool

Integral Int160

Defined in Data.DoubleWord

Methods

quot :: Int160 -> Int160 -> Int160

rem :: Int160 -> Int160 -> Int160

div :: Int160 -> Int160 -> Int160

mod :: Int160 -> Int160 -> Int160

quotRem :: Int160 -> Int160 -> (Int160, Int160)

divMod :: Int160 -> Int160 -> (Int160, Int160)

toInteger :: Int160 -> Integer

Data Int160

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int160 -> c Int160

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int160

toConstr :: Int160 -> Constr

dataTypeOf :: Int160 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int160)

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

gmapT :: (forall b. Data b => b -> b) -> Int160 -> Int160

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int160 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int160 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int160 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int160 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int160 -> m Int160

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int160 -> m Int160

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int160 -> m Int160

Num Int160

Defined in Data.DoubleWord

Methods

(+) :: Int160 -> Int160 -> Int160

(-) :: Int160 -> Int160 -> Int160

(*) :: Int160 -> Int160 -> Int160

negate :: Int160 -> Int160

abs :: Int160 -> Int160

signum :: Int160 -> Int160

fromInteger :: Integer -> Int160

Ord Int160

Defined in Data.DoubleWord

Methods

compare :: Int160 -> Int160 -> Ordering

(<) :: Int160 -> Int160 -> Bool

(<=) :: Int160 -> Int160 -> Bool

(>) :: Int160 -> Int160 -> Bool

(>=) :: Int160 -> Int160 -> Bool

max :: Int160 -> Int160 -> Int160

min :: Int160 -> Int160 -> Int160

Read Int160

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Int160

readList :: ReadS [Int160]

readPrec :: ReadPrec Int160

readListPrec :: ReadPrec [Int160]

Real Int160

Defined in Data.DoubleWord

Methods

toRational :: Int160 -> Rational

Show Int160

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Int160 -> ShowS

show :: Int160 -> String

showList :: [Int160] -> ShowS

Ix Int160

Defined in Data.DoubleWord

Methods

range :: (Int160, Int160) -> [Int160]

index :: (Int160, Int160) -> Int160 -> Int

unsafeIndex :: (Int160, Int160) -> Int160 -> Int

inRange :: (Int160, Int160) -> Int160 -> Bool

rangeSize :: (Int160, Int160) -> Int

unsafeRangeSize :: (Int160, Int160) -> Int

Generic Int160

Defined in Data.DoubleWord

Associated Types

type Rep Int160 :: Type -> Type

Methods

from :: Int160 -> Rep Int160 x

to :: Rep Int160 x -> Int160

Bits Int160

Defined in Data.DoubleWord

Methods

(.&.) :: Int160 -> Int160 -> Int160

(.|.) :: Int160 -> Int160 -> Int160

xor :: Int160 -> Int160 -> Int160

complement :: Int160 -> Int160

shift :: Int160 -> Int -> Int160

rotate :: Int160 -> Int -> Int160

zeroBits :: Int160

bit :: Int -> Int160

setBit :: Int160 -> Int -> Int160

clearBit :: Int160 -> Int -> Int160

complementBit :: Int160 -> Int -> Int160

testBit :: Int160 -> Int -> Bool

bitSizeMaybe :: Int160 -> Maybe Int

bitSize :: Int160 -> Int

isSigned :: Int160 -> Bool

shiftL :: Int160 -> Int -> Int160

unsafeShiftL :: Int160 -> Int -> Int160

shiftR :: Int160 -> Int -> Int160

unsafeShiftR :: Int160 -> Int -> Int160

rotateL :: Int160 -> Int -> Int160

rotateR :: Int160 -> Int -> Int160

popCount :: Int160 -> Int

FiniteBits Int160

Defined in Data.DoubleWord

Methods

finiteBitSize :: Int160 -> Int

countLeadingZeros :: Int160 -> Int

countTrailingZeros :: Int160 -> Int

BinaryWord Int160

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Int160 :: Type

type SignedWord Int160 :: Type

Methods

unsignedWord :: Int160 -> UnsignedWord Int160

signedWord :: Int160 -> SignedWord Int160

unwrappedAdd :: Int160 -> Int160 -> (Int160, UnsignedWord Int160)

unwrappedMul :: Int160 -> Int160 -> (Int160, UnsignedWord Int160)

leadingZeroes :: Int160 -> Int

trailingZeroes :: Int160 -> Int

allZeroes :: Int160

allOnes :: Int160

msb :: Int160

lsb :: Int160

testMsb :: Int160 -> Bool

testLsb :: Int160 -> Bool

setMsb :: Int160 -> Int160

setLsb :: Int160 -> Int160

clearMsb :: Int160 -> Int160

clearLsb :: Int160 -> Int160

Hashable Int160

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Int160 -> Int

hash :: Int160 -> Int

DoubleWord Int160

Defined in Data.DoubleWord

Associated Types

type LoWord Int160 :: Type

type HiWord Int160 :: Type

Methods

loWord :: Int160 -> LoWord Int160

hiWord :: Int160 -> HiWord Int160

fromHiAndLo :: HiWord Int160 -> LoWord Int160 -> Int160

extendLo :: LoWord Int160 -> Int160

signExtendLo :: SignedWord (LoWord Int160) -> Int160

type Rep Int160

Defined in Data.DoubleWord

type Rep Int160 = D1 (MetaData "Int160" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Int160" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int32) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Int160

Defined in Data.DoubleWord

type SignedWord Int160 = Int160

type UnsignedWord Int160

Defined in Data.DoubleWord

type UnsignedWord Int160 = Word160

type LoWord Int160

Defined in Data.DoubleWord

type LoWord Int160 = Word128

type HiWord Int160

Defined in Data.DoubleWord

type HiWord Int160 = Int32

data Int192

Constructors

Int192 !Int64 !Word128

Instances

Bounded Int192

Defined in Data.DoubleWord

Methods

minBound :: Int192

maxBound :: Int192

Enum Int192

Defined in Data.DoubleWord

Methods

succ :: Int192 -> Int192

pred :: Int192 -> Int192

toEnum :: Int -> Int192

fromEnum :: Int192 -> Int

enumFrom :: Int192 -> [Int192]

enumFromThen :: Int192 -> Int192 -> [Int192]

enumFromTo :: Int192 -> Int192 -> [Int192]

enumFromThenTo :: Int192 -> Int192 -> Int192 -> [Int192]

Eq Int192

Defined in Data.DoubleWord

Methods

(==) :: Int192 -> Int192 -> Bool

(/=) :: Int192 -> Int192 -> Bool

Integral Int192

Defined in Data.DoubleWord

Methods

quot :: Int192 -> Int192 -> Int192

rem :: Int192 -> Int192 -> Int192

div :: Int192 -> Int192 -> Int192

mod :: Int192 -> Int192 -> Int192

quotRem :: Int192 -> Int192 -> (Int192, Int192)

divMod :: Int192 -> Int192 -> (Int192, Int192)

toInteger :: Int192 -> Integer

Data Int192

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int192 -> c Int192

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int192

toConstr :: Int192 -> Constr

dataTypeOf :: Int192 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int192)

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

gmapT :: (forall b. Data b => b -> b) -> Int192 -> Int192

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int192 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int192 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int192 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int192 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int192 -> m Int192

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int192 -> m Int192

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int192 -> m Int192

Num Int192

Defined in Data.DoubleWord

Methods

(+) :: Int192 -> Int192 -> Int192

(-) :: Int192 -> Int192 -> Int192

(*) :: Int192 -> Int192 -> Int192

negate :: Int192 -> Int192

abs :: Int192 -> Int192

signum :: Int192 -> Int192

fromInteger :: Integer -> Int192

Ord Int192

Defined in Data.DoubleWord

Methods

compare :: Int192 -> Int192 -> Ordering

(<) :: Int192 -> Int192 -> Bool

(<=) :: Int192 -> Int192 -> Bool

(>) :: Int192 -> Int192 -> Bool

(>=) :: Int192 -> Int192 -> Bool

max :: Int192 -> Int192 -> Int192

min :: Int192 -> Int192 -> Int192

Read Int192

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Int192

readList :: ReadS [Int192]

readPrec :: ReadPrec Int192

readListPrec :: ReadPrec [Int192]

Real Int192

Defined in Data.DoubleWord

Methods

toRational :: Int192 -> Rational

Show Int192

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Int192 -> ShowS

show :: Int192 -> String

showList :: [Int192] -> ShowS

Ix Int192

Defined in Data.DoubleWord

Methods

range :: (Int192, Int192) -> [Int192]

index :: (Int192, Int192) -> Int192 -> Int

unsafeIndex :: (Int192, Int192) -> Int192 -> Int

inRange :: (Int192, Int192) -> Int192 -> Bool

rangeSize :: (Int192, Int192) -> Int

unsafeRangeSize :: (Int192, Int192) -> Int

Generic Int192

Defined in Data.DoubleWord

Associated Types

type Rep Int192 :: Type -> Type

Methods

from :: Int192 -> Rep Int192 x

to :: Rep Int192 x -> Int192

Bits Int192

Defined in Data.DoubleWord

Methods

(.&.) :: Int192 -> Int192 -> Int192

(.|.) :: Int192 -> Int192 -> Int192

xor :: Int192 -> Int192 -> Int192

complement :: Int192 -> Int192

shift :: Int192 -> Int -> Int192

rotate :: Int192 -> Int -> Int192

zeroBits :: Int192

bit :: Int -> Int192

setBit :: Int192 -> Int -> Int192

clearBit :: Int192 -> Int -> Int192

complementBit :: Int192 -> Int -> Int192

testBit :: Int192 -> Int -> Bool

bitSizeMaybe :: Int192 -> Maybe Int

bitSize :: Int192 -> Int

isSigned :: Int192 -> Bool

shiftL :: Int192 -> Int -> Int192

unsafeShiftL :: Int192 -> Int -> Int192

shiftR :: Int192 -> Int -> Int192

unsafeShiftR :: Int192 -> Int -> Int192

rotateL :: Int192 -> Int -> Int192

rotateR :: Int192 -> Int -> Int192

popCount :: Int192 -> Int

FiniteBits Int192

Defined in Data.DoubleWord

Methods

finiteBitSize :: Int192 -> Int

countLeadingZeros :: Int192 -> Int

countTrailingZeros :: Int192 -> Int

BinaryWord Int192

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Int192 :: Type

type SignedWord Int192 :: Type

Methods

unsignedWord :: Int192 -> UnsignedWord Int192

signedWord :: Int192 -> SignedWord Int192

unwrappedAdd :: Int192 -> Int192 -> (Int192, UnsignedWord Int192)

unwrappedMul :: Int192 -> Int192 -> (Int192, UnsignedWord Int192)

leadingZeroes :: Int192 -> Int

trailingZeroes :: Int192 -> Int

allZeroes :: Int192

allOnes :: Int192

msb :: Int192

lsb :: Int192

testMsb :: Int192 -> Bool

testLsb :: Int192 -> Bool

setMsb :: Int192 -> Int192

setLsb :: Int192 -> Int192

clearMsb :: Int192 -> Int192

clearLsb :: Int192 -> Int192

Hashable Int192

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Int192 -> Int

hash :: Int192 -> Int

DoubleWord Int192

Defined in Data.DoubleWord

Associated Types

type LoWord Int192 :: Type

type HiWord Int192 :: Type

Methods

loWord :: Int192 -> LoWord Int192

hiWord :: Int192 -> HiWord Int192

fromHiAndLo :: HiWord Int192 -> LoWord Int192 -> Int192

extendLo :: LoWord Int192 -> Int192

signExtendLo :: SignedWord (LoWord Int192) -> Int192

type Rep Int192

Defined in Data.DoubleWord

type Rep Int192 = D1 (MetaData "Int192" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Int192" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int64) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Int192

Defined in Data.DoubleWord

type SignedWord Int192 = Int192

type UnsignedWord Int192

Defined in Data.DoubleWord

type UnsignedWord Int192 = Word192

type LoWord Int192

Defined in Data.DoubleWord

type LoWord Int192 = Word128

type HiWord Int192

Defined in Data.DoubleWord

type HiWord Int192 = Int64

data Int224

Constructors

Int224 !Int96 !Word128

Instances

Bounded Int224

Defined in Data.DoubleWord

Methods

minBound :: Int224

maxBound :: Int224

Enum Int224

Defined in Data.DoubleWord

Methods

succ :: Int224 -> Int224

pred :: Int224 -> Int224

toEnum :: Int -> Int224

fromEnum :: Int224 -> Int

enumFrom :: Int224 -> [Int224]

enumFromThen :: Int224 -> Int224 -> [Int224]

enumFromTo :: Int224 -> Int224 -> [Int224]

enumFromThenTo :: Int224 -> Int224 -> Int224 -> [Int224]

Eq Int224

Defined in Data.DoubleWord

Methods

(==) :: Int224 -> Int224 -> Bool

(/=) :: Int224 -> Int224 -> Bool

Integral Int224

Defined in Data.DoubleWord

Methods

quot :: Int224 -> Int224 -> Int224

rem :: Int224 -> Int224 -> Int224

div :: Int224 -> Int224 -> Int224

mod :: Int224 -> Int224 -> Int224

quotRem :: Int224 -> Int224 -> (Int224, Int224)

divMod :: Int224 -> Int224 -> (Int224, Int224)

toInteger :: Int224 -> Integer

Data Int224

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int224 -> c Int224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int224

toConstr :: Int224 -> Constr

dataTypeOf :: Int224 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int224)

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

gmapT :: (forall b. Data b => b -> b) -> Int224 -> Int224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int224 -> m Int224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int224 -> m Int224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int224 -> m Int224

Num Int224

Defined in Data.DoubleWord

Methods

(+) :: Int224 -> Int224 -> Int224

(-) :: Int224 -> Int224 -> Int224

(*) :: Int224 -> Int224 -> Int224

negate :: Int224 -> Int224

abs :: Int224 -> Int224

signum :: Int224 -> Int224

fromInteger :: Integer -> Int224

Ord Int224

Defined in Data.DoubleWord

Methods

compare :: Int224 -> Int224 -> Ordering

(<) :: Int224 -> Int224 -> Bool

(<=) :: Int224 -> Int224 -> Bool

(>) :: Int224 -> Int224 -> Bool

(>=) :: Int224 -> Int224 -> Bool

max :: Int224 -> Int224 -> Int224

min :: Int224 -> Int224 -> Int224

Read Int224

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Int224

readList :: ReadS [Int224]

readPrec :: ReadPrec Int224

readListPrec :: ReadPrec [Int224]

Real Int224

Defined in Data.DoubleWord

Methods

toRational :: Int224 -> Rational

Show Int224

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Int224 -> ShowS

show :: Int224 -> String

showList :: [Int224] -> ShowS

Ix Int224

Defined in Data.DoubleWord

Methods

range :: (Int224, Int224) -> [Int224]

index :: (Int224, Int224) -> Int224 -> Int

unsafeIndex :: (Int224, Int224) -> Int224 -> Int

inRange :: (Int224, Int224) -> Int224 -> Bool

rangeSize :: (Int224, Int224) -> Int

unsafeRangeSize :: (Int224, Int224) -> Int

Generic Int224

Defined in Data.DoubleWord

Associated Types

type Rep Int224 :: Type -> Type

Methods

from :: Int224 -> Rep Int224 x

to :: Rep Int224 x -> Int224

Bits Int224

Defined in Data.DoubleWord

Methods

(.&.) :: Int224 -> Int224 -> Int224

(.|.) :: Int224 -> Int224 -> Int224

xor :: Int224 -> Int224 -> Int224

complement :: Int224 -> Int224

shift :: Int224 -> Int -> Int224

rotate :: Int224 -> Int -> Int224

zeroBits :: Int224

bit :: Int -> Int224

setBit :: Int224 -> Int -> Int224

clearBit :: Int224 -> Int -> Int224

complementBit :: Int224 -> Int -> Int224

testBit :: Int224 -> Int -> Bool

bitSizeMaybe :: Int224 -> Maybe Int

bitSize :: Int224 -> Int

isSigned :: Int224 -> Bool

shiftL :: Int224 -> Int -> Int224

unsafeShiftL :: Int224 -> Int -> Int224

shiftR :: Int224 -> Int -> Int224

unsafeShiftR :: Int224 -> Int -> Int224

rotateL :: Int224 -> Int -> Int224

rotateR :: Int224 -> Int -> Int224

popCount :: Int224 -> Int

FiniteBits Int224

Defined in Data.DoubleWord

Methods

finiteBitSize :: Int224 -> Int

countLeadingZeros :: Int224 -> Int

countTrailingZeros :: Int224 -> Int

BinaryWord Int224

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Int224 :: Type

type SignedWord Int224 :: Type

Methods

unsignedWord :: Int224 -> UnsignedWord Int224

signedWord :: Int224 -> SignedWord Int224

unwrappedAdd :: Int224 -> Int224 -> (Int224, UnsignedWord Int224)

unwrappedMul :: Int224 -> Int224 -> (Int224, UnsignedWord Int224)

leadingZeroes :: Int224 -> Int

trailingZeroes :: Int224 -> Int

allZeroes :: Int224

allOnes :: Int224

msb :: Int224

lsb :: Int224

testMsb :: Int224 -> Bool

testLsb :: Int224 -> Bool

setMsb :: Int224 -> Int224

setLsb :: Int224 -> Int224

clearMsb :: Int224 -> Int224

clearLsb :: Int224 -> Int224

Hashable Int224

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Int224 -> Int

hash :: Int224 -> Int

DoubleWord Int224

Defined in Data.DoubleWord

Associated Types

type LoWord Int224 :: Type

type HiWord Int224 :: Type

Methods

loWord :: Int224 -> LoWord Int224

hiWord :: Int224 -> HiWord Int224

fromHiAndLo :: HiWord Int224 -> LoWord Int224 -> Int224

extendLo :: LoWord Int224 -> Int224

signExtendLo :: SignedWord (LoWord Int224) -> Int224

type Rep Int224

Defined in Data.DoubleWord

type Rep Int224 = D1 (MetaData "Int224" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Int224" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int96) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Int224

Defined in Data.DoubleWord

type SignedWord Int224 = Int224

type UnsignedWord Int224

Defined in Data.DoubleWord

type UnsignedWord Int224 = Word224

type LoWord Int224

Defined in Data.DoubleWord

type LoWord Int224 = Word128

type HiWord Int224

Defined in Data.DoubleWord

type HiWord Int224 = Int96

data Int256

Constructors

Int256 !Int128 !Word128

Instances

Bounded Int256

Defined in Data.DoubleWord

Methods

minBound :: Int256

maxBound :: Int256

Enum Int256

Defined in Data.DoubleWord

Methods

succ :: Int256 -> Int256

pred :: Int256 -> Int256

toEnum :: Int -> Int256

fromEnum :: Int256 -> Int

enumFrom :: Int256 -> [Int256]

enumFromThen :: Int256 -> Int256 -> [Int256]

enumFromTo :: Int256 -> Int256 -> [Int256]

enumFromThenTo :: Int256 -> Int256 -> Int256 -> [Int256]

Eq Int256

Defined in Data.DoubleWord

Methods

(==) :: Int256 -> Int256 -> Bool

(/=) :: Int256 -> Int256 -> Bool

Integral Int256

Defined in Data.DoubleWord

Methods

quot :: Int256 -> Int256 -> Int256

rem :: Int256 -> Int256 -> Int256

div :: Int256 -> Int256 -> Int256

mod :: Int256 -> Int256 -> Int256

quotRem :: Int256 -> Int256 -> (Int256, Int256)

divMod :: Int256 -> Int256 -> (Int256, Int256)

toInteger :: Int256 -> Integer

Data Int256

Defined in Data.DoubleWord

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int256 -> c Int256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int256

toConstr :: Int256 -> Constr

dataTypeOf :: Int256 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int256)

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

gmapT :: (forall b. Data b => b -> b) -> Int256 -> Int256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int256 -> m Int256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int256 -> m Int256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int256 -> m Int256

Num Int256

Defined in Data.DoubleWord

Methods

(+) :: Int256 -> Int256 -> Int256

(-) :: Int256 -> Int256 -> Int256

(*) :: Int256 -> Int256 -> Int256

negate :: Int256 -> Int256

abs :: Int256 -> Int256

signum :: Int256 -> Int256

fromInteger :: Integer -> Int256

Ord Int256

Defined in Data.DoubleWord

Methods

compare :: Int256 -> Int256 -> Ordering

(<) :: Int256 -> Int256 -> Bool

(<=) :: Int256 -> Int256 -> Bool

(>) :: Int256 -> Int256 -> Bool

(>=) :: Int256 -> Int256 -> Bool

max :: Int256 -> Int256 -> Int256

min :: Int256 -> Int256 -> Int256

Read Int256

Defined in Data.DoubleWord

Methods

readsPrec :: Int -> ReadS Int256

readList :: ReadS [Int256]

readPrec :: ReadPrec Int256

readListPrec :: ReadPrec [Int256]

Real Int256

Defined in Data.DoubleWord

Methods

toRational :: Int256 -> Rational

Show Int256

Defined in Data.DoubleWord

Methods

showsPrec :: Int -> Int256 -> ShowS

show :: Int256 -> String

showList :: [Int256] -> ShowS

Ix Int256

Defined in Data.DoubleWord

Methods

range :: (Int256, Int256) -> [Int256]

index :: (Int256, Int256) -> Int256 -> Int

unsafeIndex :: (Int256, Int256) -> Int256 -> Int

inRange :: (Int256, Int256) -> Int256 -> Bool

rangeSize :: (Int256, Int256) -> Int

unsafeRangeSize :: (Int256, Int256) -> Int

Generic Int256

Defined in Data.DoubleWord

Associated Types

type Rep Int256 :: Type -> Type

Methods

from :: Int256 -> Rep Int256 x

to :: Rep Int256 x -> Int256

Bits Int256

Defined in Data.DoubleWord

Methods

(.&.) :: Int256 -> Int256 -> Int256

(.|.) :: Int256 -> Int256 -> Int256

xor :: Int256 -> Int256 -> Int256

complement :: Int256 -> Int256

shift :: Int256 -> Int -> Int256

rotate :: Int256 -> Int -> Int256

zeroBits :: Int256

bit :: Int -> Int256

setBit :: Int256 -> Int -> Int256

clearBit :: Int256 -> Int -> Int256

complementBit :: Int256 -> Int -> Int256

testBit :: Int256 -> Int -> Bool

bitSizeMaybe :: Int256 -> Maybe Int

bitSize :: Int256 -> Int

isSigned :: Int256 -> Bool

shiftL :: Int256 -> Int -> Int256

unsafeShiftL :: Int256 -> Int -> Int256

shiftR :: Int256 -> Int -> Int256

unsafeShiftR :: Int256 -> Int -> Int256

rotateL :: Int256 -> Int -> Int256

rotateR :: Int256 -> Int -> Int256

popCount :: Int256 -> Int

FiniteBits Int256

Defined in Data.DoubleWord

Methods

finiteBitSize :: Int256 -> Int

countLeadingZeros :: Int256 -> Int

countTrailingZeros :: Int256 -> Int

BinaryWord Int256

Defined in Data.DoubleWord

Associated Types

type UnsignedWord Int256 :: Type

type SignedWord Int256 :: Type

Methods

unsignedWord :: Int256 -> UnsignedWord Int256

signedWord :: Int256 -> SignedWord Int256

unwrappedAdd :: Int256 -> Int256 -> (Int256, UnsignedWord Int256)

unwrappedMul :: Int256 -> Int256 -> (Int256, UnsignedWord Int256)

leadingZeroes :: Int256 -> Int

trailingZeroes :: Int256 -> Int

allZeroes :: Int256

allOnes :: Int256

msb :: Int256

lsb :: Int256

testMsb :: Int256 -> Bool

testLsb :: Int256 -> Bool

setMsb :: Int256 -> Int256

setLsb :: Int256 -> Int256

clearMsb :: Int256 -> Int256

clearLsb :: Int256 -> Int256

Hashable Int256

Defined in Data.DoubleWord

Methods

hashWithSalt :: Int -> Int256 -> Int

hash :: Int256 -> Int

DoubleWord Int256

Defined in Data.DoubleWord

Associated Types

type LoWord Int256 :: Type

type HiWord Int256 :: Type

Methods

loWord :: Int256 -> LoWord Int256

hiWord :: Int256 -> HiWord Int256

fromHiAndLo :: HiWord Int256 -> LoWord Int256 -> Int256

extendLo :: LoWord Int256 -> Int256

signExtendLo :: SignedWord (LoWord Int256) -> Int256

type Rep Int256

Defined in Data.DoubleWord

type Rep Int256 = D1 (MetaData "Int256" "Data.DoubleWord" "data-dword-0.3.2-A0sfNCuWxaQIxbcrhOkAzc" False) (C1 (MetaCons "Int256" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int128) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word128)))

type SignedWord Int256

Defined in Data.DoubleWord

type SignedWord Int256 = Int256

type UnsignedWord Int256

Defined in Data.DoubleWord

type UnsignedWord Int256 = Word256

type LoWord Int256

Defined in Data.DoubleWord

type LoWord Int256 = Word128

type HiWord Int256

Defined in Data.DoubleWord

type HiWord Int256 = Int128