Safe Haskell	None
Language	Haskell2010

EVM.Dev

Documentation

Constructors

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

Instances

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

Constructors

VMTraceResult
Fields output :: String gasUsed :: Word

Instances

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