hevm-0.51.0: Ethereum virtual machine evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.Concrete

Documentation

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

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

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

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

writeMemory :: ByteString -> W256 -> W256 -> W256 -> ByteString -> ByteString Source #

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

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

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