Copyright	Aleksandr Krupenkin 2016-2021
License	Apache-2.0
Maintainer	mail@akru.me
Stability	experimental
Portability	unportable
Safe Haskell	None
Language	Haskell2010

Data.BigNum

Contents

Orphan instances

Description

Big numbers and codecs for Haskell Web3 library.

Synopsis

data Word256
data Word128
data H160
h160 :: ByteArrayAccess a => a -> Maybe H160
data H256
h256 :: ByteArrayAccess a => a -> Maybe H256
data H512
h512 :: ByteArrayAccess a => a -> Maybe H512

Documentation

data Word256 #

Instances

Instances details

Bounded Word256
Instance details Defined in Data.WideWord.Word256 Methods minBound :: Word256 # maxBound :: Word256 #
Enum Word256
Instance details Defined in Data.WideWord.Word256 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
Instance details Defined in Data.WideWord.Word256 Methods (==) :: Word256 -> Word256 -> Bool # (/=) :: Word256 -> Word256 -> Bool #
Integral Word256
Instance details Defined in Data.WideWord.Word256 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
Instance details Defined in Data.WideWord.Word256 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 :: forall r r'. (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
Instance details Defined in Data.WideWord.Word256 Methods (+) :: Word256 -> Word256 -> Word256 # (-) :: Word256 -> Word256 -> Word256 # (*) :: Word256 -> Word256 -> Word256 # negate :: Word256 -> Word256 # abs :: Word256 -> Word256 # signum :: Word256 -> Word256 # fromInteger :: Integer -> Word256 #
Ord Word256
Instance details Defined in Data.WideWord.Word256 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
Instance details Defined in Data.WideWord.Word256 Methods readsPrec :: Int -> ReadS Word256 # readList :: ReadS [Word256] # readPrec :: ReadPrec Word256 # readListPrec :: ReadPrec [Word256] #
Real Word256
Instance details Defined in Data.WideWord.Word256 Methods toRational :: Word256 -> Rational #
Show Word256
Instance details Defined in Data.WideWord.Word256 Methods showsPrec :: Int -> Word256 -> ShowS # show :: Word256 -> String # showList :: [Word256] -> ShowS #
Ix Word256
Instance details Defined in Data.WideWord.Word256 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
Instance details Defined in Data.WideWord.Word256 Associated Types type Rep Word256 :: Type -> Type # Methods from :: Word256 -> Rep Word256 x # to :: Rep Word256 x -> Word256 #
Storable Word256
Instance details Defined in Data.WideWord.Word256 Methods sizeOf :: Word256 -> Int # alignment :: Word256 -> Int # peekElemOff :: Ptr Word256 -> Int -> IO Word256 # pokeElemOff :: Ptr Word256 -> Int -> Word256 -> IO () # peekByteOff :: Ptr b -> Int -> IO Word256 # pokeByteOff :: Ptr b -> Int -> Word256 -> IO () # peek :: Ptr Word256 -> IO Word256 # poke :: Ptr Word256 -> Word256 -> IO () #
Bits Word256
Instance details Defined in Data.WideWord.Word256 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
Instance details Defined in Data.WideWord.Word256 Methods finiteBitSize :: Word256 -> Int # countLeadingZeros :: Word256 -> Int # countTrailingZeros :: Word256 -> Int #
NFData Word256
Instance details Defined in Data.WideWord.Word256 Methods rnf :: Word256 -> () #
Prim Word256
Instance details Defined in Data.WideWord.Word256 Methods sizeOf# :: Word256 -> Int# # alignment# :: Word256 -> Int# # indexByteArray# :: ByteArray# -> Int# -> Word256 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word256 #) # writeByteArray# :: MutableByteArray# s -> Int# -> Word256 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word256 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> Word256 # readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word256 #) # writeOffAddr# :: Addr# -> Int# -> Word256 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> Word256 -> State# s -> State# s #
Encode Word256 Source #
Instance details Defined in Data.BigNum Methods put :: Putter Word256 #
Decode Word256 Source #
Instance details Defined in Data.BigNum Methods get :: Get Word256 #
type Rep Word256
Instance details Defined in Data.WideWord.Word256 type Rep Word256 = D1 ('MetaData "Word256" "Data.WideWord.Word256" "wide-word-0.1.1.2-6qI5XFLekyaDmQVTTcryzz" 'False) (C1 ('MetaCons "Word256" 'PrefixI 'True) ((S1 ('MetaSel ('Just "word256hi") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Just "word256m1") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :: (S1 ('MetaSel ('Just "word256m0") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "word256lo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data Word128 #

Instances

Instances details

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] #
Eq Word128
Instance details Defined in Data.WideWord.Word128 Methods (==) :: Word128 -> Word128 -> Bool # (/=) :: Word128 -> Word128 -> Bool #
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 #
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 #
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 #
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 #
Read Word128
Instance details Defined in Data.WideWord.Word128 Methods readsPrec :: Int -> ReadS Word128 # readList :: ReadS [Word128] # readPrec :: ReadPrec Word128 # readListPrec :: ReadPrec [Word128] #
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 #
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 #
Generic Word128
Instance details Defined in Data.WideWord.Word128 Associated Types type Rep Word128 :: Type -> Type # Methods from :: Word128 -> Rep Word128 x # to :: Rep Word128 x -> 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 () #
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 #
NFData Word128
Instance details Defined in Data.WideWord.Word128 Methods rnf :: Word128 -> () #
Prim Word128
Instance details Defined in Data.WideWord.Word128 Methods sizeOf# :: 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 #
Encode Word128 Source #
Instance details Defined in Data.BigNum Methods put :: Putter Word128 #
Decode Word128 Source #
Instance details Defined in Data.BigNum Methods get :: Get Word128 #
type Rep Word128
Instance details Defined in Data.WideWord.Word128 type Rep Word128 = D1 ('MetaData "Word128" "Data.WideWord.Word128" "wide-word-0.1.1.2-6qI5XFLekyaDmQVTTcryzz" 'False) (C1 ('MetaCons "Word128" 'PrefixI 'True) (S1 ('MetaSel ('Just "word128Hi64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "word128Lo64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

data H160 Source #

20 byte of data.

Instances

Instances details

Eq H160 Source #
Instance details Defined in Data.BigNum Methods (==) :: H160 -> H160 -> Bool # (/=) :: H160 -> H160 -> Bool #
Ord H160 Source #
Instance details Defined in Data.BigNum Methods compare :: H160 -> H160 -> Ordering # (<) :: H160 -> H160 -> Bool # (<=) :: H160 -> H160 -> Bool # (>) :: H160 -> H160 -> Bool # (>=) :: H160 -> H160 -> Bool # max :: H160 -> H160 -> H160 # min :: H160 -> H160 -> H160 #
Show H160 Source #
Instance details Defined in Data.BigNum Methods showsPrec :: Int -> H160 -> ShowS # show :: H160 -> String # showList :: [H160] -> ShowS #
IsString H160 Source #
Instance details Defined in Data.BigNum Methods fromString :: String -> H160 #
ByteArrayAccess H160 Source #
Instance details Defined in Data.BigNum Methods length :: H160 -> Int # withByteArray :: H160 -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: H160 -> Ptr p -> IO () #
ToHex H160 Source #
Instance details Defined in Data.BigNum Methods toHex :: H160 -> HexString #
FromHex H160 Source #
Instance details Defined in Data.BigNum Methods fromHex :: HexString -> Either String H160 #
Encode H160 Source #
Instance details Defined in Data.BigNum Methods put :: Putter H160 #
Decode H160 Source #
Instance details Defined in Data.BigNum Methods get :: Get H160 #

h160 :: ByteArrayAccess a => a -> Maybe H160 Source #

Convert any 20 byte array into H160 type, otherwise returns Nothing.

data H256 Source #

32 byte of data.

Instances

Instances details

Eq H256 Source #
Instance details Defined in Data.BigNum Methods (==) :: H256 -> H256 -> Bool # (/=) :: H256 -> H256 -> Bool #
Ord H256 Source #
Instance details Defined in Data.BigNum Methods compare :: H256 -> H256 -> Ordering # (<) :: H256 -> H256 -> Bool # (<=) :: H256 -> H256 -> Bool # (>) :: H256 -> H256 -> Bool # (>=) :: H256 -> H256 -> Bool # max :: H256 -> H256 -> H256 # min :: H256 -> H256 -> H256 #
Show H256 Source #
Instance details Defined in Data.BigNum Methods showsPrec :: Int -> H256 -> ShowS # show :: H256 -> String # showList :: [H256] -> ShowS #
IsString H256 Source #
Instance details Defined in Data.BigNum Methods fromString :: String -> H256 #
ByteArrayAccess H256 Source #
Instance details Defined in Data.BigNum Methods length :: H256 -> Int # withByteArray :: H256 -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: H256 -> Ptr p -> IO () #
ToHex H256 Source #
Instance details Defined in Data.BigNum Methods toHex :: H256 -> HexString #
FromHex H256 Source #
Instance details Defined in Data.BigNum Methods fromHex :: HexString -> Either String H256 #
Encode H256 Source #
Instance details Defined in Data.BigNum Methods put :: Putter H256 #
Decode H256 Source #
Instance details Defined in Data.BigNum Methods get :: Get H256 #

h256 :: ByteArrayAccess a => a -> Maybe H256 Source #

Convert any 32 byte array into H256 type, otherwise returns Nothing.

data H512 Source #

64 byte of data.

Instances

Instances details

Eq H512 Source #
Instance details Defined in Data.BigNum Methods (==) :: H512 -> H512 -> Bool # (/=) :: H512 -> H512 -> Bool #
Ord H512 Source #
Instance details Defined in Data.BigNum Methods compare :: H512 -> H512 -> Ordering # (<) :: H512 -> H512 -> Bool # (<=) :: H512 -> H512 -> Bool # (>) :: H512 -> H512 -> Bool # (>=) :: H512 -> H512 -> Bool # max :: H512 -> H512 -> H512 # min :: H512 -> H512 -> H512 #
Show H512 Source #
Instance details Defined in Data.BigNum Methods showsPrec :: Int -> H512 -> ShowS # show :: H512 -> String # showList :: [H512] -> ShowS #
IsString H512 Source #
Instance details Defined in Data.BigNum Methods fromString :: String -> H512 #
ByteArrayAccess H512 Source #
Instance details Defined in Data.BigNum Methods length :: H512 -> Int # withByteArray :: H512 -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: H512 -> Ptr p -> IO () #
ToHex H512 Source #
Instance details Defined in Data.BigNum Methods toHex :: H512 -> HexString #
FromHex H512 Source #
Instance details Defined in Data.BigNum Methods fromHex :: HexString -> Either String H512 #
Encode H512 Source #
Instance details Defined in Data.BigNum Methods put :: Putter H512 #
Decode H512 Source #
Instance details Defined in Data.BigNum Methods get :: Get H512 #

h512 :: ByteArrayAccess a => a -> Maybe H512 Source #

Convert any 64 byte array into H512 type, otherwise returns Nothing.

Orphan instances

Encode Word256 Source #
Instance details Methods put :: Putter Word256 #
Encode Word128 Source #
Instance details Methods put :: Putter Word128 #
Decode Word256 Source #
Instance details Methods get :: Get Word256 #
Decode Word128 Source #
Instance details Methods get :: Get Word128 #