hevm-0.44.1: 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.44.1-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

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

data Language Source #

Constructors

Solidity 
Yul 
Instances
Show Language 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.