Safe Haskell	None
Language	Haskell2010

EVM.Concrete

Synopsis

wordAt :: Int -> ByteString -> W256
readByteOrZero :: Int -> ByteString -> Word8
byteStringSliceWithDefaultZeroes :: Int -> Int -> ByteString -> ByteString
data Whiff
- = Dull
- | FromKeccak ByteString
- | Var String
- | InfixBinOp String Whiff Whiff
- | BinOp String Whiff Whiff
- | UnOp String Whiff
w256 :: W256 -> Word
data Word = C Whiff W256
wordValue :: Word -> W256
sliceMemory :: (Integral a, Integral b) => a -> b -> ByteString -> ByteString
writeMemory :: ByteString -> Word -> Word -> Word -> ByteString -> ByteString
readMemoryWord :: Word -> ByteString -> Word
readMemoryWord32 :: Word -> ByteString -> Word
setMemoryWord :: Word -> Word -> ByteString -> ByteString
setMemoryByte :: Word -> Word8 -> ByteString -> ByteString
readBlobWord :: Word -> ByteString -> Word
blobSize :: ByteString -> Word
keccakBlob :: ByteString -> Word
(^) :: W256 -> W256 -> W256
createAddress :: Addr -> W256 -> Addr
create2Address :: Addr -> W256 -> ByteString -> Addr

Documentation

wordAt :: Int -> ByteString -> W256 Source #

readByteOrZero :: Int -> ByteString -> Word8 Source #

byteStringSliceWithDefaultZeroes :: Int -> Int -> ByteString -> ByteString Source #

data Whiff Source #

This type can give insight into the provenance of a term

Constructors

Dull
FromKeccak ByteString
Var String
InfixBinOp String Whiff Whiff
BinOp String Whiff Whiff
UnOp String Whiff

Instances

Show Whiff Source #
Instance details Defined in EVM.Concrete Methods showsPrec :: Int -> Whiff -> ShowS # show :: Whiff -> String # showList :: [Whiff] -> ShowS #

w256 :: W256 -> Word Source #

data Word Source #

Constructors

C Whiff W256

Instances

Bounded Word Source #
Instance details Defined in EVM.Concrete Methods minBound :: Word # maxBound :: Word #
Enum Word Source #
Instance details Defined in EVM.Concrete Methods succ :: Word -> Word # pred :: Word -> Word # toEnum :: Int -> Word # fromEnum :: Word -> Int # enumFrom :: Word -> [Word] # enumFromThen :: Word -> Word -> [Word] # enumFromTo :: Word -> Word -> [Word] # enumFromThenTo :: Word -> Word -> Word -> [Word] #
Eq Word Source #
Instance details Defined in EVM.Concrete Methods (==) :: Word -> Word -> Bool # (/=) :: Word -> Word -> Bool #
Integral Word Source #
Instance details Defined in EVM.Concrete Methods quot :: Word -> Word -> Word # rem :: Word -> Word -> Word # div :: Word -> Word -> Word # mod :: Word -> Word -> Word # quotRem :: Word -> Word -> (Word, Word) # divMod :: Word -> Word -> (Word, Word) # toInteger :: Word -> Integer #
Num Word Source #
Instance details Defined in EVM.Concrete Methods (+) :: Word -> Word -> Word # (-) :: Word -> Word -> Word # (*) :: Word -> Word -> Word # negate :: Word -> Word # abs :: Word -> Word # signum :: Word -> Word # fromInteger :: Integer -> Word #
Ord Word Source #
Instance details Defined in EVM.Concrete Methods compare :: Word -> Word -> Ordering # (<) :: Word -> Word -> Bool # (<=) :: Word -> Word -> Bool # (>) :: Word -> Word -> Bool # (>=) :: Word -> Word -> Bool # max :: Word -> Word -> Word # min :: Word -> Word -> Word #
Read Word Source #
Instance details Defined in EVM.Concrete Methods readsPrec :: Int -> ReadS Word # readList :: ReadS [Word] # readPrec :: ReadPrec Word # readListPrec :: ReadPrec [Word] #
Real Word Source #
Instance details Defined in EVM.Concrete Methods toRational :: Word -> Rational #
Show Word Source #
Instance details Defined in EVM.Concrete Methods showsPrec :: Int -> Word -> ShowS # show :: Word -> String # showList :: [Word] -> ShowS #
Bits Word Source #
Instance details Defined in EVM.Concrete Methods (.&.) :: Word -> Word -> Word # (.\|.) :: Word -> Word -> Word # xor :: Word -> Word -> Word # complement :: Word -> Word # shift :: Word -> Int -> Word # rotate :: Word -> Int -> Word # zeroBits :: Word # bit :: Int -> Word # setBit :: Word -> Int -> Word # clearBit :: Word -> Int -> Word # complementBit :: Word -> Int -> Word # testBit :: Word -> Int -> Bool # bitSizeMaybe :: Word -> Maybe Int # bitSize :: Word -> Int # isSigned :: Word -> Bool # shiftL :: Word -> Int -> Word # unsafeShiftL :: Word -> Int -> Word # shiftR :: Word -> Int -> Word # unsafeShiftR :: Word -> Int -> Word # rotateL :: Word -> Int -> Word # rotateR :: Word -> Int -> Word # popCount :: Word -> Int #
FiniteBits Word Source #
Instance details Defined in EVM.Concrete Methods finiteBitSize :: Word -> Int # countLeadingZeros :: Word -> Int # countTrailingZeros :: Word -> Int #
SDisplay Word Source #
Instance details Defined in EVM.Emacs Methods sexp :: Word -> SExpr Text Source #

wordValue :: Word -> W256 Source #

sliceMemory :: (Integral a, Integral b) => a -> b -> ByteString -> ByteString Source #

writeMemory :: ByteString -> Word -> Word -> Word -> ByteString -> ByteString Source #

readMemoryWord :: Word -> ByteString -> Word Source #

readMemoryWord32 :: Word -> ByteString -> Word Source #

setMemoryWord :: Word -> Word -> ByteString -> ByteString Source #

setMemoryByte :: Word -> Word8 -> ByteString -> ByteString Source #

readBlobWord :: Word -> ByteString -> Word Source #

blobSize :: ByteString -> Word Source #

keccakBlob :: ByteString -> Word Source #

(^) :: W256 -> W256 -> W256 Source #

createAddress :: Addr -> W256 -> Addr Source #

create2Address :: Addr -> W256 -> ByteString -> Addr Source #