hevm-0.48.0: Ethereum virtual machine evaluator
Safe HaskellNone
LanguageHaskell2010

EVM.Fetch

Synopsis

Documentation

data RpcQuery a where Source #

Abstract representation of an RPC fetch request

Instances

Instances details
Show (RpcQuery a) Source # 
Instance details

Defined in EVM.Fetch

Methods

showsPrec :: Int -> RpcQuery a -> ShowS #

show :: RpcQuery a -> String #

showList :: [RpcQuery a] -> ShowS #

data BlockNumber Source #

Constructors

Latest 
BlockNumber W256 

Instances

Instances details
ToRPC BlockNumber Source # 
Instance details

Defined in EVM.Fetch

class ToRPC a where Source #

Methods

toRPC :: a -> Value Source #

Instances

Instances details
ToRPC Bool Source # 
Instance details

Defined in EVM.Fetch

Methods

toRPC :: Bool -> Value Source #

ToRPC Addr Source # 
Instance details

Defined in EVM.Fetch

Methods

toRPC :: Addr -> Value Source #

ToRPC W256 Source # 
Instance details

Defined in EVM.Fetch

Methods

toRPC :: W256 -> Value Source #

ToRPC BlockNumber Source # 
Instance details

Defined in EVM.Fetch

readText :: Read a => Text -> a Source #

type Fetcher = Query -> IO (EVM ()) Source #

checkBranch :: SBool -> SBool -> Bool -> Query BranchCondition Source #

Checks which branches are satisfiable, checking the pathconditions for consistency if the third argument is true. When in debug mode, we do not want to be able to navigate to dead paths, but for normal execution paths with inconsistent pathconditions will be pruned anyway.