hevm-0.41.0: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Solidity

Synopsis

Documentation

data JumpType Source #

Constructors

JumpInto 
JumpFrom 
JumpRegular 
Instances
Eq JumpType Source # 
Instance details

Defined in EVM.Solidity

Ord JumpType Source # 
Instance details

Defined in EVM.Solidity

Show JumpType Source # 
Instance details

Defined in EVM.Solidity

Generic JumpType Source # 
Instance details

Defined in EVM.Solidity

Associated Types

type Rep JumpType :: Type -> Type #

Methods

from :: JumpType -> Rep JumpType x #

to :: Rep JumpType x -> JumpType #

type Rep JumpType Source # 
Instance details

Defined in EVM.Solidity

type Rep JumpType = D1 (MetaData "JumpType" "EVM.Solidity" "hevm-0.41.0-inplace" False) (C1 (MetaCons "JumpInto" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "JumpFrom" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "JumpRegular" PrefixI False) (U1 :: Type -> Type)))

data SolcContract Source #

Instances
Eq SolcContract Source # 
Instance details

Defined in EVM.Solidity

Show SolcContract Source # 
Instance details

Defined in EVM.Solidity

Generic SolcContract Source # 
Instance details

Defined in EVM.Solidity

Associated Types

type Rep SolcContract :: Type -> Type #

type Rep SolcContract Source # 
Instance details

Defined in EVM.Solidity

type Rep SolcContract = D1 (MetaData "SolcContract" "EVM.Solidity" "hevm-0.41.0-inplace" False) (C1 (MetaCons "SolcContract" PrefixI True) (((S1 (MetaSel (Just "_runtimeCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 W256) :*: (S1 (MetaSel (Just "_creationCodehash") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 W256) :*: S1 (MetaSel (Just "_runtimeCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ByteString))) :*: (S1 (MetaSel (Just "_creationCode") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ByteString) :*: (S1 (MetaSel (Just "_contractName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Just "_constructorInputs") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [(Text, AbiType)])))) :*: ((S1 (MetaSel (Just "_abiMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map Word32 Method)) :*: (S1 (MetaSel (Just "_eventMap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Map W256 Event)) :*: S1 (MetaSel (Just "_storageLayout") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Map Text StorageItem))))) :*: (S1 (MetaSel (Just "_runtimeSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Seq SrcMap)) :*: (S1 (MetaSel (Just "_creationSrcmap") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Seq SrcMap)) :*: S1 (MetaSel (Just "_contractAst") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Value))))))

data StorageItem Source #

Constructors

StorageItem 

Fields

Instances
Eq StorageItem Source # 
Instance details

Defined in EVM.Solidity

Show StorageItem Source # 
Instance details

Defined in EVM.Solidity

data SourceCache Source #

Instances
Eq SourceCache Source # 
Instance details

Defined in EVM.Solidity

Show SourceCache Source # 
Instance details

Defined in EVM.Solidity

Generic SourceCache Source # 
Instance details

Defined in EVM.Solidity

Associated Types

type Rep SourceCache :: Type -> Type #

Semigroup SourceCache Source # 
Instance details

Defined in EVM.Solidity

Monoid SourceCache Source # 
Instance details

Defined in EVM.Solidity

type Rep SourceCache Source # 
Instance details

Defined in EVM.Solidity

data SrcMap Source #

Instances
Eq SrcMap Source # 
Instance details

Defined in EVM.Solidity

Methods

(==) :: SrcMap -> SrcMap -> Bool #

(/=) :: SrcMap -> SrcMap -> Bool #

Ord SrcMap Source # 
Instance details

Defined in EVM.Solidity

Show SrcMap Source # 
Instance details

Defined in EVM.Solidity

Generic SrcMap Source # 
Instance details

Defined in EVM.Solidity

Associated Types

type Rep SrcMap :: Type -> Type #

Methods

from :: SrcMap -> Rep SrcMap x #

to :: Rep SrcMap x -> SrcMap #

type Rep SrcMap Source # 
Instance details

Defined in EVM.Solidity

data CodeType Source #

Constructors

Creation 
Runtime 
Instances
Eq CodeType Source # 
Instance details

Defined in EVM.Solidity

Ord CodeType Source # 
Instance details

Defined in EVM.Solidity

Show CodeType Source # 
Instance details

Defined in EVM.Solidity

data Method Source #

Instances
Eq Method Source # 
Instance details

Defined in EVM.Solidity

Methods

(==) :: Method -> Method -> Bool #

(/=) :: Method -> Method -> Bool #

Ord Method Source # 
Instance details

Defined in EVM.Solidity

Show Method Source # 
Instance details

Defined in EVM.Solidity

Generic Method Source # 
Instance details

Defined in EVM.Solidity

Associated Types

type Rep Method :: Type -> Type #

Methods

from :: Method -> Rep Method x #

to :: Rep Method x -> Method #

type Rep Method Source # 
Instance details

Defined in EVM.Solidity

astIdMap :: Foldable f => f Value -> Map Int Value Source #

Every node in the AST has an ID, and other nodes reference those IDs. This function recurses through the tree looking for objects with the "id" key and makes a big map from ID to value.