Safe Haskell	Safe-Inferred
Language	GHC2021

EVM.Types

Synopsis

data Word512 = Word512 !Word256 !Word256
data Int512 = Int512 !Int256 !Word256
newtype W256 = W256 Word256
data EType
- = Buf
- | Storage
- | Log
- | EWord
- | Byte
- | End
data Error
- = Invalid
- | IllegalOverflow
- | StackLimitExceeded
- | InvalidMemoryAccess
- | BadJumpDestination
- | SelfDestruct
- | TmpErr String
data GVar (a :: EType) where
- BufVar :: Int -> GVar Buf
- StoreVar :: Int -> GVar Storage
data Expr (a :: EType) where
- Lit :: W256 -> Expr EWord
- Var :: Text -> Expr EWord
- GVar :: GVar a -> Expr a
- LitByte :: Word8 -> Expr Byte
- IndexWord :: Expr EWord -> Expr EWord -> Expr Byte
- EqByte :: Expr Byte -> Expr Byte -> Expr EWord
- JoinBytes :: Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr EWord
- Revert :: [Prop] -> Expr Buf -> Expr End
- Failure :: [Prop] -> Error -> Expr End
- Return :: [Prop] -> Expr Buf -> Expr Storage -> Expr End
- ITE :: Expr EWord -> Expr End -> Expr End -> Expr End
- Add :: Expr EWord -> Expr EWord -> Expr EWord
- Sub :: Expr EWord -> Expr EWord -> Expr EWord
- Mul :: Expr EWord -> Expr EWord -> Expr EWord
- Div :: Expr EWord -> Expr EWord -> Expr EWord
- SDiv :: Expr EWord -> Expr EWord -> Expr EWord
- Mod :: Expr EWord -> Expr EWord -> Expr EWord
- SMod :: Expr EWord -> Expr EWord -> Expr EWord
- AddMod :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord
- MulMod :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord
- Exp :: Expr EWord -> Expr EWord -> Expr EWord
- SEx :: Expr EWord -> Expr EWord -> Expr EWord
- Min :: Expr EWord -> Expr EWord -> Expr EWord
- LT :: Expr EWord -> Expr EWord -> Expr EWord
- GT :: Expr EWord -> Expr EWord -> Expr EWord
- LEq :: Expr EWord -> Expr EWord -> Expr EWord
- GEq :: Expr EWord -> Expr EWord -> Expr EWord
- SLT :: Expr EWord -> Expr EWord -> Expr EWord
- SGT :: Expr EWord -> Expr EWord -> Expr EWord
- Eq :: Expr EWord -> Expr EWord -> Expr EWord
- IsZero :: Expr EWord -> Expr EWord
- And :: Expr EWord -> Expr EWord -> Expr EWord
- Or :: Expr EWord -> Expr EWord -> Expr EWord
- Xor :: Expr EWord -> Expr EWord -> Expr EWord
- Not :: Expr EWord -> Expr EWord
- SHL :: Expr EWord -> Expr EWord -> Expr EWord
- SHR :: Expr EWord -> Expr EWord -> Expr EWord
- SAR :: Expr EWord -> Expr EWord -> Expr EWord
- Keccak :: Expr Buf -> Expr EWord
- SHA256 :: Expr Buf -> Expr EWord
- Origin :: Expr EWord
- BlockHash :: Expr EWord -> Expr EWord
- Coinbase :: Expr EWord
- Timestamp :: Expr EWord
- BlockNumber :: Expr EWord
- PrevRandao :: Expr EWord
- GasLimit :: Expr EWord
- ChainId :: Expr EWord
- BaseFee :: Expr EWord
- CallValue :: Int -> Expr EWord
- Caller :: Int -> Expr EWord
- Address :: Int -> Expr EWord
- Balance :: Int -> Int -> Expr EWord -> Expr EWord
- SelfBalance :: Int -> Int -> Expr EWord
- Gas :: Int -> Int -> Expr EWord
- CodeSize :: Expr EWord -> Expr EWord
- ExtCodeHash :: Expr EWord -> Expr EWord
- LogEntry :: Expr EWord -> Expr Buf -> [Expr EWord] -> Expr Log
- Create :: Expr EWord -> Expr EWord -> Expr EWord -> Expr Buf -> [Expr Log] -> Expr Storage -> Expr EWord
- Create2 :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr Buf -> [Expr Log] -> Expr Storage -> Expr EWord
- Call :: Expr EWord -> Maybe (Expr EWord) -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> [Expr Log] -> Expr Storage -> Expr EWord
- CallCode :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> [Expr Log] -> Expr Storage -> Expr EWord
- DelegeateCall :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> [Expr Log] -> Expr Storage -> Expr EWord
- EmptyStore :: Expr Storage
- ConcreteStore :: Map W256 (Map W256 W256) -> Expr Storage
- AbstractStore :: Expr Storage
- SLoad :: Expr EWord -> Expr EWord -> Expr Storage -> Expr EWord
- SStore :: Expr EWord -> Expr EWord -> Expr EWord -> Expr Storage -> Expr Storage
- ConcreteBuf :: ByteString -> Expr Buf
- AbstractBuf :: Text -> Expr Buf
- ReadWord :: Expr EWord -> Expr Buf -> Expr EWord
- ReadByte :: Expr EWord -> Expr Buf -> Expr Byte
- WriteWord :: Expr EWord -> Expr EWord -> Expr Buf -> Expr Buf
- WriteByte :: Expr EWord -> Expr Byte -> Expr Buf -> Expr Buf
- CopySlice :: Expr EWord -> Expr EWord -> Expr EWord -> Expr Buf -> Expr Buf -> Expr Buf
- BufLength :: Expr Buf -> Expr EWord
data Prop where
- PEq :: forall a. Typeable a => Expr a -> Expr a -> Prop
- PLT :: Expr EWord -> Expr EWord -> Prop
- PGT :: Expr EWord -> Expr EWord -> Prop
- PGEq :: Expr EWord -> Expr EWord -> Prop
- PLEq :: Expr EWord -> Expr EWord -> Prop
- PNeg :: Prop -> Prop
- PAnd :: Prop -> Prop -> Prop
- POr :: Prop -> Prop -> Prop
- PBool :: Bool -> Prop
(.&&) :: Prop -> Prop -> Prop
(.||) :: Prop -> Prop -> Prop
(.<) :: Expr EWord -> Expr EWord -> Prop
(.<=) :: Expr EWord -> Expr EWord -> Prop
(.>) :: Expr EWord -> Expr EWord -> Prop
(.>=) :: Expr EWord -> Expr EWord -> Prop
(.==) :: Typeable a => Expr a -> Expr a -> Prop
(./=) :: Typeable a => Expr a -> Expr a -> Prop
unlit :: Expr EWord -> Maybe W256
unlitByte :: Expr Byte -> Maybe Word8
newtype ByteStringS = ByteStringS ByteString
newtype Addr = Addr {
- addressWord160 :: Word160
}
maybeLitWord :: Expr EWord -> Maybe W256
toChecksumAddress :: String -> String
strip0x :: ByteString -> ByteString
strip0x' :: String -> String
hexByteString :: String -> ByteString -> ByteString
hexText :: Text -> ByteString
readN :: Integral a => String -> a
readNull :: Read a => a -> String -> a
wordField :: Object -> Key -> Parser W256
word64Field :: Object -> Key -> Parser Word64
addrField :: Object -> Key -> Parser Addr
addrFieldMaybe :: Object -> Key -> Parser (Maybe Addr)
dataField :: Object -> Key -> Parser ByteString
toWord512 :: W256 -> Word512
fromWord512 :: Word512 -> W256
num :: (Integral a, Num b) => a -> b
padLeft :: Int -> ByteString -> ByteString
padLeftStr :: Int -> String -> String
padRight :: Int -> ByteString -> ByteString
padRight' :: Int -> String -> String
padLeft' :: Int -> Vector (Expr Byte) -> Vector (Expr Byte)
word256 :: ByteString -> Word256
word :: ByteString -> W256
byteAt :: (Bits a, Bits b, Integral a, Num b) => a -> Int -> b
fromBE :: Integral a => ByteString -> a
asBE :: Integral a => a -> ByteString
word256Bytes :: W256 -> ByteString
word160Bytes :: Addr -> ByteString
newtype Nibble = Nibble Word8
hi :: Word8 -> Nibble
lo :: Word8 -> Nibble
toByte :: Nibble -> Nibble -> Word8
unpackNibbles :: ByteString -> [Nibble]
packNibbles :: [Nibble] -> ByteString
toWord64 :: W256 -> Maybe Word64
toInt :: W256 -> Maybe Int
keccakBytes :: ByteString -> ByteString
word32 :: [Word8] -> Word32
keccak :: Expr Buf -> Expr EWord
keccak' :: ByteString -> W256
abiKeccak :: ByteString -> Word32
concatMapM :: Monad m => (a -> m [b]) -> [a] -> m [b]
regexMatches :: Text -> Text -> Bool

Documentation

data Word512 Source #

Constructors

Word512 !Word256 !Word256

Instances

Instances details

Data Word512 Source #
Instance details Defined in EVM.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word512 -> c Word512 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word512 # toConstr :: Word512 -> Constr # dataTypeOf :: Word512 -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word512) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word512) # gmapT :: (forall b. Data b => b -> b) -> Word512 -> Word512 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word512 -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word512 -> r # gmapQ :: (forall d. Data d => d -> u) -> Word512 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Word512 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word512 -> m Word512 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word512 -> m Word512 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word512 -> m Word512 #
Bits Word512 Source #
Instance details Defined in EVM.Types Methods (.&.) :: Word512 -> Word512 -> Word512 # (.\|.) :: Word512 -> Word512 -> Word512 # xor :: Word512 -> Word512 -> Word512 # complement :: Word512 -> Word512 # shift :: Word512 -> Int -> Word512 # rotate :: Word512 -> Int -> Word512 # zeroBits :: Word512 # bit :: Int -> Word512 # setBit :: Word512 -> Int -> Word512 # clearBit :: Word512 -> Int -> Word512 # complementBit :: Word512 -> Int -> Word512 # testBit :: Word512 -> Int -> Bool # bitSizeMaybe :: Word512 -> Maybe Int # bitSize :: Word512 -> Int # isSigned :: Word512 -> Bool # shiftL :: Word512 -> Int -> Word512 # unsafeShiftL :: Word512 -> Int -> Word512 # shiftR :: Word512 -> Int -> Word512 # unsafeShiftR :: Word512 -> Int -> Word512 # rotateL :: Word512 -> Int -> Word512 # rotateR :: Word512 -> Int -> Word512 # popCount :: Word512 -> Int #
FiniteBits Word512 Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: Word512 -> Int # countLeadingZeros :: Word512 -> Int # countTrailingZeros :: Word512 -> Int #
Bounded Word512 Source #
Instance details Defined in EVM.Types Methods minBound :: Word512 # maxBound :: Word512 #
Enum Word512 Source #
Instance details Defined in EVM.Types Methods succ :: Word512 -> Word512 # pred :: Word512 -> Word512 # toEnum :: Int -> Word512 # fromEnum :: Word512 -> Int # enumFrom :: Word512 -> [Word512] # enumFromThen :: Word512 -> Word512 -> [Word512] # enumFromTo :: Word512 -> Word512 -> [Word512] # enumFromThenTo :: Word512 -> Word512 -> Word512 -> [Word512] #
Generic Word512 Source #
Instance details Defined in EVM.Types Associated Types type Rep Word512 :: Type -> Type # Methods from :: Word512 -> Rep Word512 x # to :: Rep Word512 x -> Word512 #
Ix Word512 Source #
Instance details Defined in EVM.Types Methods range :: (Word512, Word512) -> [Word512] # index :: (Word512, Word512) -> Word512 -> Int # unsafeIndex :: (Word512, Word512) -> Word512 -> Int # inRange :: (Word512, Word512) -> Word512 -> Bool # rangeSize :: (Word512, Word512) -> Int # unsafeRangeSize :: (Word512, Word512) -> Int #
Num Word512 Source #
Instance details Defined in EVM.Types Methods (+) :: Word512 -> Word512 -> Word512 # (-) :: Word512 -> Word512 -> Word512 # (*) :: Word512 -> Word512 -> Word512 # negate :: Word512 -> Word512 # abs :: Word512 -> Word512 # signum :: Word512 -> Word512 # fromInteger :: Integer -> Word512 #
Read Word512 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS Word512 # readList :: ReadS [Word512] # readPrec :: ReadPrec Word512 # readListPrec :: ReadPrec [Word512] #
Integral Word512 Source #
Instance details Defined in EVM.Types Methods quot :: Word512 -> Word512 -> Word512 # rem :: Word512 -> Word512 -> Word512 # div :: Word512 -> Word512 -> Word512 # mod :: Word512 -> Word512 -> Word512 # quotRem :: Word512 -> Word512 -> (Word512, Word512) # divMod :: Word512 -> Word512 -> (Word512, Word512) # toInteger :: Word512 -> Integer #
Real Word512 Source #
Instance details Defined in EVM.Types Methods toRational :: Word512 -> Rational #
Show Word512 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Word512 -> ShowS # show :: Word512 -> String # showList :: [Word512] -> ShowS #
BinaryWord Word512 Source #
Instance details Defined in EVM.Types Associated Types type UnsignedWord Word512 # type SignedWord Word512 # Methods unsignedWord :: Word512 -> UnsignedWord Word512 # signedWord :: Word512 -> SignedWord Word512 # unwrappedAdd :: Word512 -> Word512 -> (Word512, UnsignedWord Word512) # unwrappedMul :: Word512 -> Word512 -> (Word512, UnsignedWord Word512) # leadingZeroes :: Word512 -> Int # trailingZeroes :: Word512 -> Int # allZeroes :: Word512 # allOnes :: Word512 # msb :: Word512 # lsb :: Word512 # testMsb :: Word512 -> Bool # testLsb :: Word512 -> Bool # setMsb :: Word512 -> Word512 # setLsb :: Word512 -> Word512 # clearMsb :: Word512 -> Word512 # clearLsb :: Word512 -> Word512 #
DoubleWord Word512 Source #
Instance details Defined in EVM.Types Associated Types type LoWord Word512 # type HiWord Word512 # Methods loWord :: Word512 -> LoWord Word512 # hiWord :: Word512 -> HiWord Word512 # fromHiAndLo :: HiWord Word512 -> LoWord Word512 -> Word512 # extendLo :: LoWord Word512 -> Word512 # signExtendLo :: SignedWord (LoWord Word512) -> Word512 #
Eq Word512 Source #
Instance details Defined in EVM.Types Methods (==) :: Word512 -> Word512 -> Bool # (/=) :: Word512 -> Word512 -> Bool #
Ord Word512 Source #
Instance details Defined in EVM.Types Methods compare :: Word512 -> Word512 -> Ordering # (<) :: Word512 -> Word512 -> Bool # (<=) :: Word512 -> Word512 -> Bool # (>) :: Word512 -> Word512 -> Bool # (>=) :: Word512 -> Word512 -> Bool # max :: Word512 -> Word512 -> Word512 # min :: Word512 -> Word512 -> Word512 #
Hashable Word512 Source #
Instance details Defined in EVM.Types Methods hashWithSalt :: Int -> Word512 -> Int # hash :: Word512 -> Int #
type Rep Word512 Source #
Instance details Defined in EVM.Types type Rep Word512 = D1 ('MetaData "Word512" "EVM.Types" "hevm-0.50.2-inplace" 'False) (C1 ('MetaCons "Word512" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word256) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word256)))
type SignedWord Word512 Source #
Instance details Defined in EVM.Types type SignedWord Word512 = Int512
type UnsignedWord Word512 Source #
Instance details Defined in EVM.Types type UnsignedWord Word512 = Word512
type HiWord Word512 Source #
Instance details Defined in EVM.Types type HiWord Word512 = Word256
type LoWord Word512 Source #
Instance details Defined in EVM.Types type LoWord Word512 = Word256

data Int512 Source #

Constructors

Int512 !Int256 !Word256

Instances

Instances details

Data Int512 Source #
Instance details Defined in EVM.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int512 -> c Int512 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int512 # toConstr :: Int512 -> Constr # dataTypeOf :: Int512 -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int512) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int512) # gmapT :: (forall b. Data b => b -> b) -> Int512 -> Int512 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int512 -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int512 -> r # gmapQ :: (forall d. Data d => d -> u) -> Int512 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Int512 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int512 -> m Int512 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int512 -> m Int512 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int512 -> m Int512 #
Bits Int512 Source #
Instance details Defined in EVM.Types Methods (.&.) :: Int512 -> Int512 -> Int512 # (.\|.) :: Int512 -> Int512 -> Int512 # xor :: Int512 -> Int512 -> Int512 # complement :: Int512 -> Int512 # shift :: Int512 -> Int -> Int512 # rotate :: Int512 -> Int -> Int512 # zeroBits :: Int512 # bit :: Int -> Int512 # setBit :: Int512 -> Int -> Int512 # clearBit :: Int512 -> Int -> Int512 # complementBit :: Int512 -> Int -> Int512 # testBit :: Int512 -> Int -> Bool # bitSizeMaybe :: Int512 -> Maybe Int # bitSize :: Int512 -> Int # isSigned :: Int512 -> Bool # shiftL :: Int512 -> Int -> Int512 # unsafeShiftL :: Int512 -> Int -> Int512 # shiftR :: Int512 -> Int -> Int512 # unsafeShiftR :: Int512 -> Int -> Int512 # rotateL :: Int512 -> Int -> Int512 # rotateR :: Int512 -> Int -> Int512 # popCount :: Int512 -> Int #
FiniteBits Int512 Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: Int512 -> Int # countLeadingZeros :: Int512 -> Int # countTrailingZeros :: Int512 -> Int #
Bounded Int512 Source #
Instance details Defined in EVM.Types Methods minBound :: Int512 # maxBound :: Int512 #
Enum Int512 Source #
Instance details Defined in EVM.Types Methods succ :: Int512 -> Int512 # pred :: Int512 -> Int512 # toEnum :: Int -> Int512 # fromEnum :: Int512 -> Int # enumFrom :: Int512 -> [Int512] # enumFromThen :: Int512 -> Int512 -> [Int512] # enumFromTo :: Int512 -> Int512 -> [Int512] # enumFromThenTo :: Int512 -> Int512 -> Int512 -> [Int512] #
Generic Int512 Source #
Instance details Defined in EVM.Types Associated Types type Rep Int512 :: Type -> Type # Methods from :: Int512 -> Rep Int512 x # to :: Rep Int512 x -> Int512 #
Ix Int512 Source #
Instance details Defined in EVM.Types Methods range :: (Int512, Int512) -> [Int512] # index :: (Int512, Int512) -> Int512 -> Int # unsafeIndex :: (Int512, Int512) -> Int512 -> Int # inRange :: (Int512, Int512) -> Int512 -> Bool # rangeSize :: (Int512, Int512) -> Int # unsafeRangeSize :: (Int512, Int512) -> Int #
Num Int512 Source #
Instance details Defined in EVM.Types Methods (+) :: Int512 -> Int512 -> Int512 # (-) :: Int512 -> Int512 -> Int512 # (*) :: Int512 -> Int512 -> Int512 # negate :: Int512 -> Int512 # abs :: Int512 -> Int512 # signum :: Int512 -> Int512 # fromInteger :: Integer -> Int512 #
Read Int512 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS Int512 # readList :: ReadS [Int512] # readPrec :: ReadPrec Int512 # readListPrec :: ReadPrec [Int512] #
Integral Int512 Source #
Instance details Defined in EVM.Types Methods quot :: Int512 -> Int512 -> Int512 # rem :: Int512 -> Int512 -> Int512 # div :: Int512 -> Int512 -> Int512 # mod :: Int512 -> Int512 -> Int512 # quotRem :: Int512 -> Int512 -> (Int512, Int512) # divMod :: Int512 -> Int512 -> (Int512, Int512) # toInteger :: Int512 -> Integer #
Real Int512 Source #
Instance details Defined in EVM.Types Methods toRational :: Int512 -> Rational #
Show Int512 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Int512 -> ShowS # show :: Int512 -> String # showList :: [Int512] -> ShowS #
BinaryWord Int512 Source #
Instance details Defined in EVM.Types Associated Types type UnsignedWord Int512 # type SignedWord Int512 # Methods unsignedWord :: Int512 -> UnsignedWord Int512 # signedWord :: Int512 -> SignedWord Int512 # unwrappedAdd :: Int512 -> Int512 -> (Int512, UnsignedWord Int512) # unwrappedMul :: Int512 -> Int512 -> (Int512, UnsignedWord Int512) # leadingZeroes :: Int512 -> Int # trailingZeroes :: Int512 -> Int # allZeroes :: Int512 # allOnes :: Int512 # msb :: Int512 # lsb :: Int512 # testMsb :: Int512 -> Bool # testLsb :: Int512 -> Bool # setMsb :: Int512 -> Int512 # setLsb :: Int512 -> Int512 # clearMsb :: Int512 -> Int512 # clearLsb :: Int512 -> Int512 #
DoubleWord Int512 Source #
Instance details Defined in EVM.Types Associated Types type LoWord Int512 # type HiWord Int512 # Methods loWord :: Int512 -> LoWord Int512 # hiWord :: Int512 -> HiWord Int512 # fromHiAndLo :: HiWord Int512 -> LoWord Int512 -> Int512 # extendLo :: LoWord Int512 -> Int512 # signExtendLo :: SignedWord (LoWord Int512) -> Int512 #
Eq Int512 Source #
Instance details Defined in EVM.Types Methods (==) :: Int512 -> Int512 -> Bool # (/=) :: Int512 -> Int512 -> Bool #
Ord Int512 Source #
Instance details Defined in EVM.Types Methods compare :: Int512 -> Int512 -> Ordering # (<) :: Int512 -> Int512 -> Bool # (<=) :: Int512 -> Int512 -> Bool # (>) :: Int512 -> Int512 -> Bool # (>=) :: Int512 -> Int512 -> Bool # max :: Int512 -> Int512 -> Int512 # min :: Int512 -> Int512 -> Int512 #
Hashable Int512 Source #
Instance details Defined in EVM.Types Methods hashWithSalt :: Int -> Int512 -> Int # hash :: Int512 -> Int #
type Rep Int512 Source #
Instance details Defined in EVM.Types type Rep Int512 = D1 ('MetaData "Int512" "EVM.Types" "hevm-0.50.2-inplace" 'False) (C1 ('MetaCons "Int512" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int256) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word256)))
type SignedWord Int512 Source #
Instance details Defined in EVM.Types type SignedWord Int512 = Int512
type UnsignedWord Int512 Source #
Instance details Defined in EVM.Types type UnsignedWord Int512 = Word512
type HiWord Int512 Source #
Instance details Defined in EVM.Types type HiWord Int512 = Int256
type LoWord Int512 Source #
Instance details Defined in EVM.Types type LoWord Int512 = Word256

newtype W256 Source #

Constructors

W256 Word256

Instances

Instances details

FromJSON W256 Source #
Instance details Defined in EVM.Types Methods parseJSON :: Value -> Parser W256 # parseJSONList :: Value -> Parser [W256] #
FromJSONKey W256 Source #
Instance details Defined in EVM.Types Methods fromJSONKey :: FromJSONKeyFunction W256 # fromJSONKeyList :: FromJSONKeyFunction [W256] #
ToJSON W256 Source #
Instance details Defined in EVM.Types Methods toJSON :: W256 -> Value # toEncoding :: W256 -> Encoding # toJSONList :: [W256] -> Value # toEncodingList :: [W256] -> Encoding #
Bits W256 Source #
Instance details Defined in EVM.Types Methods (.&.) :: W256 -> W256 -> W256 # (.\|.) :: W256 -> W256 -> W256 # xor :: W256 -> W256 -> W256 # complement :: W256 -> W256 # shift :: W256 -> Int -> W256 # rotate :: W256 -> Int -> W256 # zeroBits :: W256 # bit :: Int -> W256 # setBit :: W256 -> Int -> W256 # clearBit :: W256 -> Int -> W256 # complementBit :: W256 -> Int -> W256 # testBit :: W256 -> Int -> Bool # bitSizeMaybe :: W256 -> Maybe Int # bitSize :: W256 -> Int # isSigned :: W256 -> Bool # shiftL :: W256 -> Int -> W256 # unsafeShiftL :: W256 -> Int -> W256 # shiftR :: W256 -> Int -> W256 # unsafeShiftR :: W256 -> Int -> W256 # rotateL :: W256 -> Int -> W256 # rotateR :: W256 -> Int -> W256 # popCount :: W256 -> Int #
FiniteBits W256 Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: W256 -> Int # countLeadingZeros :: W256 -> Int # countTrailingZeros :: W256 -> Int #
Bounded W256 Source #
Instance details Defined in EVM.Types Methods minBound :: W256 # maxBound :: W256 #
Enum W256 Source #
Instance details Defined in EVM.Types Methods succ :: W256 -> W256 # pred :: W256 -> W256 # toEnum :: Int -> W256 # fromEnum :: W256 -> Int # enumFrom :: W256 -> [W256] # enumFromThen :: W256 -> W256 -> [W256] # enumFromTo :: W256 -> W256 -> [W256] # enumFromThenTo :: W256 -> W256 -> W256 -> [W256] #
Generic W256 Source #
Instance details Defined in EVM.Types Associated Types type Rep W256 :: Type -> Type # Methods from :: W256 -> Rep W256 x # to :: Rep W256 x -> W256 #
Num W256 Source #
Instance details Defined in EVM.Types Methods (+) :: W256 -> W256 -> W256 # (-) :: W256 -> W256 -> W256 # (*) :: W256 -> W256 -> W256 # negate :: W256 -> W256 # abs :: W256 -> W256 # signum :: W256 -> W256 # fromInteger :: Integer -> W256 #
Read W256 Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS W256 # readList :: ReadS [W256] # readPrec :: ReadPrec W256 # readListPrec :: ReadPrec [W256] #
Integral W256 Source #
Instance details Defined in EVM.Types Methods quot :: W256 -> W256 -> W256 # rem :: W256 -> W256 -> W256 # div :: W256 -> W256 -> W256 # mod :: W256 -> W256 -> W256 # quotRem :: W256 -> W256 -> (W256, W256) # divMod :: W256 -> W256 -> (W256, W256) # toInteger :: W256 -> Integer #
Real W256 Source #
Instance details Defined in EVM.Types Methods toRational :: W256 -> Rational #
Show W256 Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> W256 -> ShowS # show :: W256 -> String # showList :: [W256] -> ShowS #
Eq W256 Source #
Instance details Defined in EVM.Types Methods (==) :: W256 -> W256 -> Bool # (/=) :: W256 -> W256 -> Bool #
Ord W256 Source #
Instance details Defined in EVM.Types Methods compare :: W256 -> W256 -> Ordering # (<) :: W256 -> W256 -> Bool # (<=) :: W256 -> W256 -> Bool # (>) :: W256 -> W256 -> Bool # (>=) :: W256 -> W256 -> Bool # max :: W256 -> W256 -> W256 # min :: W256 -> W256 -> W256 #
ToRPC W256 Source #
Instance details Defined in EVM.Fetch Methods toRPC :: W256 -> Value Source #
ParseField W256 Source #
Instance details Defined in EVM.Types Methods parseField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser W256 # parseListOfField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser [W256] # readField :: ReadM W256 # metavar :: proxy W256 -> String #
ParseFields W256 Source #
Instance details Defined in EVM.Types Methods parseFields :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser W256 #
ParseRecord W256 Source #
Instance details Defined in EVM.Types Methods parseRecord :: Parser W256 #
type Rep W256 Source #
Instance details Defined in EVM.Types type Rep W256 = D1 ('MetaData "W256" "EVM.Types" "hevm-0.50.2-inplace" 'True) (C1 ('MetaCons "W256" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))

data EType Source #

Expr implements an abstract respresentation of an EVM program

This type can give insight into the provenance of a term which is useful, both for the aesthetic purpose of printing terms in a richer way, but also to allow optimizations on the AST instead of letting the SMT solver do all the heavy lifting.

Memory, calldata, and returndata are all represented as a Buf. Semantically speaking a Buf is a byte array with of size 2^256.

Bufs have two base constructors: - AbstractBuf: all elements are fully abstract values - ConcreteBuf bs: all elements past (length bs) are zero

Bufs can be read from with: - ReadByte idx buf: read the byte at idx from buf - ReadWord idx buf: read the byte at idx from buf

Bufs can be written to with: - WriteByte idx val buf: write val to idx in buf - WriteWord idx val buf: write val to idx in buf - CopySlice srcOffset dstOffset size src dst: overwrite dstOffset -> dstOffset + size in dst with srcOffset -> srcOffset + size from src

Note that the shared usage of Buf does allow for the construction of some badly typed Expr instances (e.g. an MSTORE on top of the contents of calldata instead of some previous instance of memory), we accept this for the sake of simplifying pattern matches against a Buf expression.

Storage expressions are similar, but instead of writing regions of bytes, we write a word to a particular key in a given addresses storage. Note that as with a Buf, writes can be sequenced on top of concrete, empty and fully abstract starting states.

One important principle is that of local context: e.g. each term representing a write to a Buf Storage Logs will always contain a copy of the state that is being added to, this ensures that all context relevant to a given operation is contained within the term that represents that operation.

When dealing with Expr instances we assume that concrete expressions have been reduced to their smallest possible representation (i.e. a Lit, ConcreteBuf, or ConcreteStore). Failure to adhere to this invariant will result in your concrete term being treated as symbolic, and may produce unexpected errors. In the future we may wish to consider encoding the concreteness of a given term directly in the type of that term, since such type level shenanigans tends to complicate implementation, we skip this for now.

Constructors

Buf
Storage
Log
EWord
Byte
End

data Error Source #

Constructors

Invalid
IllegalOverflow
StackLimitExceeded
InvalidMemoryAccess
BadJumpDestination
SelfDestruct
TmpErr String

Instances

Instances details

Show Error Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
Eq Error Source #
Instance details Defined in EVM.Types Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #
Ord Error Source #
Instance details Defined in EVM.Types Methods compare :: Error -> Error -> Ordering # (<) :: Error -> Error -> Bool # (<=) :: Error -> Error -> Bool # (>) :: Error -> Error -> Bool # (>=) :: Error -> Error -> Bool # max :: Error -> Error -> Error # min :: Error -> Error -> Error #

data GVar (a :: EType) where Source #

Constructors

BufVar :: Int -> GVar Buf
StoreVar :: Int -> GVar Storage

Instances

Instances details

Show (GVar a) Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> GVar a -> ShowS # show :: GVar a -> String # showList :: [GVar a] -> ShowS #
Eq (GVar a) Source #
Instance details Defined in EVM.Types Methods (==) :: GVar a -> GVar a -> Bool # (/=) :: GVar a -> GVar a -> Bool #
Ord (GVar a) Source #
Instance details Defined in EVM.Types Methods compare :: GVar a -> GVar a -> Ordering # (<) :: GVar a -> GVar a -> Bool # (<=) :: GVar a -> GVar a -> Bool # (>) :: GVar a -> GVar a -> Bool # (>=) :: GVar a -> GVar a -> Bool # max :: GVar a -> GVar a -> GVar a # min :: GVar a -> GVar a -> GVar a #

data Expr (a :: EType) where Source #

Constructors

Lit :: W256 -> Expr EWord
Var :: Text -> Expr EWord
GVar :: GVar a -> Expr a
LitByte :: Word8 -> Expr Byte
IndexWord :: Expr EWord -> Expr EWord -> Expr Byte
EqByte :: Expr Byte -> Expr Byte -> Expr EWord
JoinBytes :: Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr Byte -> Expr EWord
Revert :: [Prop] -> Expr Buf -> Expr End
Failure :: [Prop] -> Error -> Expr End
Return :: [Prop] -> Expr Buf -> Expr Storage -> Expr End
ITE :: Expr EWord -> Expr End -> Expr End -> Expr End
Add :: Expr EWord -> Expr EWord -> Expr EWord
Sub :: Expr EWord -> Expr EWord -> Expr EWord
Mul :: Expr EWord -> Expr EWord -> Expr EWord
Div :: Expr EWord -> Expr EWord -> Expr EWord
SDiv :: Expr EWord -> Expr EWord -> Expr EWord
Mod :: Expr EWord -> Expr EWord -> Expr EWord
SMod :: Expr EWord -> Expr EWord -> Expr EWord
AddMod :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord
MulMod :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord
Exp :: Expr EWord -> Expr EWord -> Expr EWord
SEx :: Expr EWord -> Expr EWord -> Expr EWord
Min :: Expr EWord -> Expr EWord -> Expr EWord
LT :: Expr EWord -> Expr EWord -> Expr EWord
GT :: Expr EWord -> Expr EWord -> Expr EWord
LEq :: Expr EWord -> Expr EWord -> Expr EWord
GEq :: Expr EWord -> Expr EWord -> Expr EWord
SLT :: Expr EWord -> Expr EWord -> Expr EWord
SGT :: Expr EWord -> Expr EWord -> Expr EWord
Eq :: Expr EWord -> Expr EWord -> Expr EWord
IsZero :: Expr EWord -> Expr EWord
And :: Expr EWord -> Expr EWord -> Expr EWord
Or :: Expr EWord -> Expr EWord -> Expr EWord
Xor :: Expr EWord -> Expr EWord -> Expr EWord
Not :: Expr EWord -> Expr EWord
SHL :: Expr EWord -> Expr EWord -> Expr EWord
SHR :: Expr EWord -> Expr EWord -> Expr EWord
SAR :: Expr EWord -> Expr EWord -> Expr EWord
Keccak :: Expr Buf -> Expr EWord
SHA256 :: Expr Buf -> Expr EWord
Origin :: Expr EWord
BlockHash :: Expr EWord -> Expr EWord
Coinbase :: Expr EWord
Timestamp :: Expr EWord
BlockNumber :: Expr EWord
PrevRandao :: Expr EWord
GasLimit :: Expr EWord
ChainId :: Expr EWord
BaseFee :: Expr EWord
CallValue :: Int -> Expr EWord
Caller :: Int -> Expr EWord
Address :: Int -> Expr EWord
Balance :: Int -> Int -> Expr EWord -> Expr EWord
SelfBalance :: Int -> Int -> Expr EWord
Gas :: Int -> Int -> Expr EWord
CodeSize :: Expr EWord -> Expr EWord
ExtCodeHash :: Expr EWord -> Expr EWord
LogEntry :: Expr EWord -> Expr Buf -> [Expr EWord] -> Expr Log
Create :: Expr EWord -> Expr EWord -> Expr EWord -> Expr Buf -> [Expr Log] -> Expr Storage -> Expr EWord
Create2 :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr Buf -> [Expr Log] -> Expr Storage -> Expr EWord
Call :: Expr EWord -> Maybe (Expr EWord) -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> [Expr Log] -> Expr Storage -> Expr EWord
CallCode :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> [Expr Log] -> Expr Storage -> Expr EWord
DelegeateCall :: Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> Expr EWord -> [Expr Log] -> Expr Storage -> Expr EWord
EmptyStore :: Expr Storage
ConcreteStore :: Map W256 (Map W256 W256) -> Expr Storage
AbstractStore :: Expr Storage
SLoad :: Expr EWord -> Expr EWord -> Expr Storage -> Expr EWord
SStore :: Expr EWord -> Expr EWord -> Expr EWord -> Expr Storage -> Expr Storage
ConcreteBuf :: ByteString -> Expr Buf
AbstractBuf :: Text -> Expr Buf
ReadWord :: Expr EWord -> Expr Buf -> Expr EWord
ReadByte :: Expr EWord -> Expr Buf -> Expr Byte
WriteWord :: Expr EWord -> Expr EWord -> Expr Buf -> Expr Buf
WriteByte :: Expr EWord -> Expr Byte -> Expr Buf -> Expr Buf
CopySlice :: Expr EWord -> Expr EWord -> Expr EWord -> Expr Buf -> Expr Buf -> Expr Buf
BufLength :: Expr Buf -> Expr EWord

Instances

Instances details

Monoid (Expr 'Buf) Source #
Instance details Defined in EVM.Expr Methods mempty :: Expr 'Buf # mappend :: Expr 'Buf -> Expr 'Buf -> Expr 'Buf # mconcat :: [Expr 'Buf] -> Expr 'Buf #
Semigroup (Expr 'Buf) Source #
Instance details Defined in EVM.Expr Methods (<>) :: Expr 'Buf -> Expr 'Buf -> Expr 'Buf # sconcat :: NonEmpty (Expr 'Buf) -> Expr 'Buf # stimes :: Integral b => b -> Expr 'Buf -> Expr 'Buf #
Show (Expr a) Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Expr a -> ShowS # show :: Expr a -> String # showList :: [Expr a] -> ShowS #
Eq (Expr a) Source #
Instance details Defined in EVM.Types Methods (==) :: Expr a -> Expr a -> Bool # (/=) :: Expr a -> Expr a -> Bool #
Ord (Expr a) Source #
Instance details Defined in EVM.Types Methods compare :: Expr a -> Expr a -> Ordering # (<) :: Expr a -> Expr a -> Bool # (<=) :: Expr a -> Expr a -> Bool # (>) :: Expr a -> Expr a -> Bool # (>=) :: Expr a -> Expr a -> Bool # max :: Expr a -> Expr a -> Expr a # min :: Expr a -> Expr a -> Expr a #

data Prop where Source #

Constructors

PEq :: forall a. Typeable a => Expr a -> Expr a -> Prop
PLT :: Expr EWord -> Expr EWord -> Prop
PGT :: Expr EWord -> Expr EWord -> Prop
PGEq :: Expr EWord -> Expr EWord -> Prop
PLEq :: Expr EWord -> Expr EWord -> Prop
PNeg :: Prop -> Prop
PAnd :: Prop -> Prop -> Prop
POr :: Prop -> Prop -> Prop
PBool :: Bool -> Prop

Instances

Instances details

Show Prop Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Prop -> ShowS # show :: Prop -> String # showList :: [Prop] -> ShowS #
Eq Prop Source #
Instance details Defined in EVM.Types Methods (==) :: Prop -> Prop -> Bool # (/=) :: Prop -> Prop -> Bool #
Ord Prop Source #
Instance details Defined in EVM.Types Methods compare :: Prop -> Prop -> Ordering # (<) :: Prop -> Prop -> Bool # (<=) :: Prop -> Prop -> Bool # (>) :: Prop -> Prop -> Bool # (>=) :: Prop -> Prop -> Bool # max :: Prop -> Prop -> Prop # min :: Prop -> Prop -> Prop #

(.&&) :: Prop -> Prop -> Prop infixr 3 Source #

(.||) :: Prop -> Prop -> Prop infixr 2 Source #

(.<) :: Expr EWord -> Expr EWord -> Prop infix 4 Source #

(.<=) :: Expr EWord -> Expr EWord -> Prop infix 4 Source #

(.>) :: Expr EWord -> Expr EWord -> Prop infix 4 Source #

(.>=) :: Expr EWord -> Expr EWord -> Prop infix 4 Source #

(.==) :: Typeable a => Expr a -> Expr a -> Prop infix 4 Source #

(./=) :: Typeable a => Expr a -> Expr a -> Prop infix 4 Source #

unlit :: Expr EWord -> Maybe W256 Source #

unlitByte :: Expr Byte -> Maybe Word8 Source #

newtype ByteStringS Source #

Constructors

ByteStringS ByteString

Instances

Instances details

ToJSON ByteStringS Source #
Instance details Defined in EVM.Types Methods toJSON :: ByteStringS -> Value # toEncoding :: ByteStringS -> Encoding # toJSONList :: [ByteStringS] -> Value # toEncodingList :: [ByteStringS] -> Encoding #
Show ByteStringS Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> ByteStringS -> ShowS # show :: ByteStringS -> String # showList :: [ByteStringS] -> ShowS #
Eq ByteStringS Source #
Instance details Defined in EVM.Types Methods (==) :: ByteStringS -> ByteStringS -> Bool # (/=) :: ByteStringS -> ByteStringS -> Bool #

newtype Addr Source #

Constructors

Addr
Fields addressWord160 :: Word160

Instances

Instances details

FromJSON Addr Source #
Instance details Defined in EVM.Types Methods parseJSON :: Value -> Parser Addr # parseJSONList :: Value -> Parser [Addr] #
FromJSONKey Addr Source #
Instance details Defined in EVM.Types Methods fromJSONKey :: FromJSONKeyFunction Addr # fromJSONKeyList :: FromJSONKeyFunction [Addr] #
Bits Addr Source #
Instance details Defined in EVM.Types Methods (.&.) :: Addr -> Addr -> Addr # (.\|.) :: Addr -> Addr -> Addr # xor :: Addr -> Addr -> Addr # complement :: Addr -> Addr # shift :: Addr -> Int -> Addr # rotate :: Addr -> Int -> Addr # zeroBits :: Addr # bit :: Int -> Addr # setBit :: Addr -> Int -> Addr # clearBit :: Addr -> Int -> Addr # complementBit :: Addr -> Int -> Addr # testBit :: Addr -> Int -> Bool # bitSizeMaybe :: Addr -> Maybe Int # bitSize :: Addr -> Int # isSigned :: Addr -> Bool # shiftL :: Addr -> Int -> Addr # unsafeShiftL :: Addr -> Int -> Addr # shiftR :: Addr -> Int -> Addr # unsafeShiftR :: Addr -> Int -> Addr # rotateL :: Addr -> Int -> Addr # rotateR :: Addr -> Int -> Addr # popCount :: Addr -> Int #
FiniteBits Addr Source #
Instance details Defined in EVM.Types Methods finiteBitSize :: Addr -> Int # countLeadingZeros :: Addr -> Int # countTrailingZeros :: Addr -> Int #
Enum Addr Source #
Instance details Defined in EVM.Types Methods succ :: Addr -> Addr # pred :: Addr -> Addr # toEnum :: Int -> Addr # fromEnum :: Addr -> Int # enumFrom :: Addr -> [Addr] # enumFromThen :: Addr -> Addr -> [Addr] # enumFromTo :: Addr -> Addr -> [Addr] # enumFromThenTo :: Addr -> Addr -> Addr -> [Addr] #
Generic Addr Source #
Instance details Defined in EVM.Types Associated Types type Rep Addr :: Type -> Type # Methods from :: Addr -> Rep Addr x # to :: Rep Addr x -> Addr #
Num Addr Source #
Instance details Defined in EVM.Types Methods (+) :: Addr -> Addr -> Addr # (-) :: Addr -> Addr -> Addr # (*) :: Addr -> Addr -> Addr # negate :: Addr -> Addr # abs :: Addr -> Addr # signum :: Addr -> Addr # fromInteger :: Integer -> Addr #
Read Addr Source #
Instance details Defined in EVM.Types Methods readsPrec :: Int -> ReadS Addr # readList :: ReadS [Addr] # readPrec :: ReadPrec Addr # readListPrec :: ReadPrec [Addr] #
Integral Addr Source #
Instance details Defined in EVM.Types Methods quot :: Addr -> Addr -> Addr # rem :: Addr -> Addr -> Addr # div :: Addr -> Addr -> Addr # mod :: Addr -> Addr -> Addr # quotRem :: Addr -> Addr -> (Addr, Addr) # divMod :: Addr -> Addr -> (Addr, Addr) # toInteger :: Addr -> Integer #
Real Addr Source #
Instance details Defined in EVM.Types Methods toRational :: Addr -> Rational #
Show Addr Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Addr -> ShowS # show :: Addr -> String # showList :: [Addr] -> ShowS #
Eq Addr Source #
Instance details Defined in EVM.Types Methods (==) :: Addr -> Addr -> Bool # (/=) :: Addr -> Addr -> Bool #
Ord Addr Source #
Instance details Defined in EVM.Types Methods compare :: Addr -> Addr -> Ordering # (<) :: Addr -> Addr -> Bool # (<=) :: Addr -> Addr -> Bool # (>) :: Addr -> Addr -> Bool # (>=) :: Addr -> Addr -> Bool # max :: Addr -> Addr -> Addr # min :: Addr -> Addr -> Addr #
ToRPC Addr Source #
Instance details Defined in EVM.Fetch Methods toRPC :: Addr -> Value Source #
ParseField Addr Source #
Instance details Defined in EVM.Types Methods parseField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser Addr # parseListOfField :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser [Addr] # readField :: ReadM Addr # metavar :: proxy Addr -> String #
ParseFields Addr Source #
Instance details Defined in EVM.Types Methods parseFields :: Maybe Text -> Maybe Text -> Maybe Char -> Maybe String -> Parser Addr #
ParseRecord Addr Source #
Instance details Defined in EVM.Types Methods parseRecord :: Parser Addr #
type Rep Addr Source #
Instance details Defined in EVM.Types type Rep Addr = D1 ('MetaData "Addr" "EVM.Types" "hevm-0.50.2-inplace" 'True) (C1 ('MetaCons "Addr" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressWord160") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word160)))

maybeLitWord :: Expr EWord -> Maybe W256 Source #

toChecksumAddress :: String -> String Source #

strip0x :: ByteString -> ByteString Source #

strip0x' :: String -> String Source #

hexByteString :: String -> ByteString -> ByteString Source #

hexText :: Text -> ByteString Source #

readN :: Integral a => String -> a Source #

readNull :: Read a => a -> String -> a Source #

wordField :: Object -> Key -> Parser W256 Source #

word64Field :: Object -> Key -> Parser Word64 Source #

addrField :: Object -> Key -> Parser Addr Source #

addrFieldMaybe :: Object -> Key -> Parser (Maybe Addr) Source #

dataField :: Object -> Key -> Parser ByteString Source #

toWord512 :: W256 -> Word512 Source #

fromWord512 :: Word512 -> W256 Source #

num :: (Integral a, Num b) => a -> b Source #

padLeft :: Int -> ByteString -> ByteString Source #

padLeftStr :: Int -> String -> String Source #

padRight :: Int -> ByteString -> ByteString Source #

padRight' :: Int -> String -> String Source #

padLeft' :: Int -> Vector (Expr Byte) -> Vector (Expr Byte) Source #

Right padding / truncating truncpad :: Int -> [SWord 8] -> [SWord 8] truncpad n xs = if m > n then take n xs else mappend xs (replicate (n - m) 0) where m = length xs

word256 :: ByteString -> Word256 Source #

word :: ByteString -> W256 Source #

byteAt :: (Bits a, Bits b, Integral a, Num b) => a -> Int -> b Source #

fromBE :: Integral a => ByteString -> a Source #

asBE :: Integral a => a -> ByteString Source #

word256Bytes :: W256 -> ByteString Source #

word160Bytes :: Addr -> ByteString Source #

newtype Nibble Source #

Constructors

Nibble Word8

Instances

Instances details

Bounded Nibble Source #
Instance details Defined in EVM.Types Methods minBound :: Nibble # maxBound :: Nibble #
Enum Nibble Source #
Instance details Defined in EVM.Types Methods succ :: Nibble -> Nibble # pred :: Nibble -> Nibble # toEnum :: Int -> Nibble # fromEnum :: Nibble -> Int # enumFrom :: Nibble -> [Nibble] # enumFromThen :: Nibble -> Nibble -> [Nibble] # enumFromTo :: Nibble -> Nibble -> [Nibble] # enumFromThenTo :: Nibble -> Nibble -> Nibble -> [Nibble] #
Generic Nibble Source #
Instance details Defined in EVM.Types Associated Types type Rep Nibble :: Type -> Type # Methods from :: Nibble -> Rep Nibble x # to :: Rep Nibble x -> Nibble #
Num Nibble Source #
Instance details Defined in EVM.Types Methods (+) :: Nibble -> Nibble -> Nibble # (-) :: Nibble -> Nibble -> Nibble # (*) :: Nibble -> Nibble -> Nibble # negate :: Nibble -> Nibble # abs :: Nibble -> Nibble # signum :: Nibble -> Nibble # fromInteger :: Integer -> Nibble #
Integral Nibble Source #
Instance details Defined in EVM.Types Methods quot :: Nibble -> Nibble -> Nibble # rem :: Nibble -> Nibble -> Nibble # div :: Nibble -> Nibble -> Nibble # mod :: Nibble -> Nibble -> Nibble # quotRem :: Nibble -> Nibble -> (Nibble, Nibble) # divMod :: Nibble -> Nibble -> (Nibble, Nibble) # toInteger :: Nibble -> Integer #
Real Nibble Source #
Instance details Defined in EVM.Types Methods toRational :: Nibble -> Rational #
Show Nibble Source #
Instance details Defined in EVM.Types Methods showsPrec :: Int -> Nibble -> ShowS # show :: Nibble -> String # showList :: [Nibble] -> ShowS #
Eq Nibble Source #
Instance details Defined in EVM.Types Methods (==) :: Nibble -> Nibble -> Bool # (/=) :: Nibble -> Nibble -> Bool #
Ord Nibble Source #
Instance details Defined in EVM.Types Methods compare :: Nibble -> Nibble -> Ordering # (<) :: Nibble -> Nibble -> Bool # (<=) :: Nibble -> Nibble -> Bool # (>) :: Nibble -> Nibble -> Bool # (>=) :: Nibble -> Nibble -> Bool # max :: Nibble -> Nibble -> Nibble # min :: Nibble -> Nibble -> Nibble #
type Rep Nibble Source #
Instance details Defined in EVM.Types type Rep Nibble = D1 ('MetaData "Nibble" "EVM.Types" "hevm-0.50.2-inplace" 'True) (C1 ('MetaCons "Nibble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

hi :: Word8 -> Nibble Source #

lo :: Word8 -> Nibble Source #

toByte :: Nibble -> Nibble -> Word8 Source #

unpackNibbles :: ByteString -> [Nibble] Source #

packNibbles :: [Nibble] -> ByteString Source #

toWord64 :: W256 -> Maybe Word64 Source #

toInt :: W256 -> Maybe Int Source #

keccakBytes :: ByteString -> ByteString Source #

word32 :: [Word8] -> Word32 Source #

keccak :: Expr Buf -> Expr EWord Source #

keccak' :: ByteString -> W256 Source #

abiKeccak :: ByteString -> Word32 Source #

concatMapM :: Monad m => (a -> m [b]) -> [a] -> m [b] Source #

regexMatches :: Text -> Text -> Bool Source #