EVM.Dev

Documentation

loadDappInfo :: String -> String -> IO DappInfo

ghciTest :: String -> String -> Maybe String -> IO [Bool]

runBCTest :: (String, Case) -> IO Bool

ghciBCTest :: String -> IO ()

ghciTty :: String -> String -> Maybe String -> IO ()

ghciEmacs :: IO ()

foo :: IO ()

data VMTrace

Constructors

VMTrace

Fields

• pc :: Int
• op :: Int
• stack :: [Word]
• memSize :: Int
• depth :: Int
• gas :: Word

Instances

Generic VMTrace

Defined in EVM.Dev

Associated Types

type Rep VMTrace :: Type -> Type

Methods

from :: VMTrace -> Rep VMTrace x

to :: Rep VMTrace x -> VMTrace

ToJSON VMTrace

Defined in EVM.Dev

Methods

toJSON :: VMTrace -> Value

toEncoding :: VMTrace -> Encoding

toJSONList :: [VMTrace] -> Value

toEncodingList :: [VMTrace] -> Encoding

type Rep VMTrace

Defined in EVM.Dev

type Rep VMTrace = D1 (MetaData "VMTrace" "EVM.Dev" "hevm-0.44.1-inplace" False) (C1 (MetaCons "VMTrace" PrefixI True) ((S1 (MetaSel (Just "pc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: (S1 (MetaSel (Just "op") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "stack") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Word]))) :*: (S1 (MetaSel (Just "memSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: (S1 (MetaSel (Just "depth") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "gas") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))))

data VMTraceResult

Constructors

VMTraceResult

Fields

• output :: String
• gasUsed :: Word

Instances

Generic VMTraceResult

Defined in EVM.Dev

Associated Types

type Rep VMTraceResult :: Type -> Type

Methods

from :: VMTraceResult -> Rep VMTraceResult x

to :: Rep VMTraceResult x -> VMTraceResult

ToJSON VMTraceResult

Defined in EVM.Dev

Methods

toJSON :: VMTraceResult -> Value

toEncoding :: VMTraceResult -> Encoding

toJSONList :: [VMTraceResult] -> Value

toEncodingList :: [VMTraceResult] -> Encoding

type Rep VMTraceResult

Defined in EVM.Dev

type Rep VMTraceResult = D1 (MetaData "VMTraceResult" "EVM.Dev" "hevm-0.44.1-inplace" False) (C1 (MetaCons "VMTraceResult" PrefixI True) (S1 (MetaSel (Just "output") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "gasUsed") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)))

getOp :: VM -> Word8

vmtrace :: VM -> VMTrace

vmres :: VM -> VMTraceResult

interpretWithTrace :: Fetcher -> Stepper a -> StateT VM IO a