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.47.0-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.47.0-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