Safe Haskell	None
Language	Haskell2010

EVM.Dev

Documentation

Constructors

VMTrace
Fields pc :: Int op :: Int stack :: [Word] memSize :: Int depth :: Int gas :: Word

Instances details

Generic VMTrace Source #
Instance details Defined in EVM.Dev Associated Types type Rep VMTrace :: Type -> Type # Methods from :: VMTrace -> Rep VMTrace x # to :: Rep VMTrace x -> VMTrace #
ToJSON VMTrace Source #
Instance details Defined in EVM.Dev Methods toJSON :: VMTrace -> Value # toEncoding :: VMTrace -> Encoding # toJSONList :: [VMTrace] -> Value # toEncodingList :: [VMTrace] -> Encoding #
type Rep VMTrace Source #
Instance details Defined in EVM.Dev type Rep VMTrace = D1 ('MetaData "VMTrace" "EVM.Dev" "hevm-0.49.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)))))

Constructors

VMTraceResult
Fields output :: String gasUsed :: Word

Instances details

Generic VMTraceResult Source #
Instance details Defined in EVM.Dev Associated Types type Rep VMTraceResult :: Type -> Type # Methods from :: VMTraceResult -> Rep VMTraceResult x # to :: Rep VMTraceResult x -> VMTraceResult #
ToJSON VMTraceResult Source #
Instance details Defined in EVM.Dev Methods toJSON :: VMTraceResult -> Value # toEncoding :: VMTraceResult -> Encoding # toJSONList :: [VMTraceResult] -> Value # toEncodingList :: [VMTraceResult] -> Encoding #
type Rep VMTraceResult Source #
Instance details Defined in EVM.Dev type Rep VMTraceResult = D1 ('MetaData "VMTraceResult" "EVM.Dev" "hevm-0.49.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)))