Data.WideWord.Word128

wide-word-0.1.7.0: Data types for large but fixed width signed and unsigned integers

Safe Haskell | None
Language | Haskell2010

Data.WideWord.Word128

# Documentation

data Word128 #

Constructors

Word128 |
Fields word128Hi64 :: !Word64 word128Lo64 :: !Word64

#### Instances

Instances details

Binary Word128 # | Since: 0.1.5.0
Instance details Defined in Data.WideWord.Word128 Methods put :: Word128 -> Put # get :: Get Word128 # putList :: [Word128] -> Put #
NFData Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods rnf :: Word128 -> () #
Bits Word128 # |
Instance details Defined in Data.WideWord.Word128 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 # |
Instance details Defined in Data.WideWord.Word128 Methods finiteBitSize :: Word128 -> Int # countLeadingZeros :: Word128 -> Int # countTrailingZeros :: Word128 -> Int #
Data Word128 # |
Instance details Defined in Data.WideWord.Word128 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 :: forall r r'. (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 #
Bounded Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods minBound :: Word128 # maxBound :: Word128 #
Enum Word128 # |
Instance details Defined in Data.WideWord.Word128 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] #
Storable Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods sizeOf :: Word128 -> Int # alignment :: Word128 -> Int # peekElemOff :: Ptr Word128 -> Int -> IO Word128 # pokeElemOff :: Ptr Word128 -> Int -> Word128 -> IO () # peekByteOff :: Ptr b -> Int -> IO Word128 # pokeByteOff :: Ptr b -> Int -> Word128 -> IO () # peek :: Ptr Word128 -> IO Word128 # poke :: Ptr Word128 -> Word128 -> IO () #
Generic Word128 # |
Instance details Defined in Data.WideWord.Word128 Associated Types
type Rep Word128 |
Instance details Defined in Data.WideWord.Word128 type Rep Word128 = D1 ('MetaData "Word128" "Data.WideWord.Word128" "wide-word-0.1.7.0-BlHRmgATFbS2JF4UVyVt94" 'False) (C1 ('MetaCons "Word128" 'PrefixI 'True) (S1 ('MetaSel ('Just "word128Hi64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "word128Lo64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))
Methods from :: Word128 -> Rep Word128 x # to :: Rep Word128 x -> Word128 #
Ix Word128 # |
Instance details Defined in Data.WideWord.Word128 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 #
Num Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods (+) :: Word128 -> Word128 -> Word128 # (-) :: Word128 -> Word128 -> Word128 # (*) :: Word128 -> Word128 -> Word128 # negate :: Word128 -> Word128 # abs :: Word128 -> Word128 # signum :: Word128 -> Word128 # fromInteger :: Integer -> Word128 #
Read Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods readsPrec :: Int -> ReadS Word128 # readList :: ReadS [Word128] # readPrec :: ReadPrec Word128 # readListPrec :: ReadPrec [Word128] #
Integral Word128 # |
Instance details Defined in Data.WideWord.Word128 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 #
Real Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods toRational :: Word128 -> Rational #
Show Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods showsPrec :: Int -> Word128 -> ShowS # show :: Word128 -> String # showList :: [Word128] -> ShowS #
Eq Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods (==) :: Word128 -> Word128 -> Bool # (/=) :: Word128 -> Word128 -> Bool #
Ord Word128 # |
Instance details Defined in Data.WideWord.Word128 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 #
Hashable Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods hashWithSalt :: Int -> Word128 -> Int # hash :: Word128 -> Int #
Prim Word128 # |
Instance details Defined in Data.WideWord.Word128 Methods sizeOfType# :: Proxy Word128 -> Int# # sizeOf# :: Word128 -> Int# # alignmentOfType# :: Proxy Word128 -> Int# # alignment# :: Word128 -> Int# # indexByteArray# :: ByteArray# -> Int# -> Word128 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word128 #) # writeByteArray# :: MutableByteArray# s -> Int# -> Word128 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word128 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Word128 # readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word128 #) # writeOffAddr# :: Addr# -> Int# -> Word128 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Word128 -> State# s -> State# s #
type Rep Word128 # |
Instance details Defined in Data.WideWord.Word128 type Rep Word128 = D1 ('MetaData "Word128" "Data.WideWord.Word128" "wide-word-0.1.7.0-BlHRmgATFbS2JF4UVyVt94" 'False) (C1 ('MetaCons "Word128" 'PrefixI 'True) (S1 ('MetaSel ('Just "word128Hi64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "word128Lo64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

byteSwapWord128 :: Word128 -> Word128 #

showHexWord128 :: Word128 -> String #

zeroWord128 :: Word128 #