hevm-0.51.2: Ethereum virtual machine evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.Facts

Documentation

data File Source #

Constructors

File 

Fields

Instances

Instances details
Show File Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> File -> ShowS Source #

show :: File -> String Source #

showList :: [File] -> ShowS Source #

Eq File Source # 
Instance details

Defined in EVM.Facts

Methods

(==) :: File -> File -> Bool Source #

(/=) :: File -> File -> Bool Source #

Ord File Source # 
Instance details

Defined in EVM.Facts

Methods

compare :: File -> File -> Ordering Source #

(<) :: File -> File -> Bool Source #

(<=) :: File -> File -> Bool Source #

(>) :: File -> File -> Bool Source #

(>=) :: File -> File -> Bool Source #

max :: File -> File -> File Source #

min :: File -> File -> File Source #

data Fact Source #

Constructors

BalanceFact 

Fields

NonceFact 

Fields

StorageFact 

Fields

CodeFact 

Fields

Instances

Instances details
Show Fact Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> Fact -> ShowS Source #

show :: Fact -> String Source #

showList :: [Fact] -> ShowS Source #

Eq Fact Source # 
Instance details

Defined in EVM.Facts

Methods

(==) :: Fact -> Fact -> Bool Source #

(/=) :: Fact -> Fact -> Bool Source #

Ord Fact Source # 
Instance details

Defined in EVM.Facts

Methods

compare :: Fact -> Fact -> Ordering Source #

(<) :: Fact -> Fact -> Bool Source #

(<=) :: Fact -> Fact -> Bool Source #

(>) :: Fact -> Fact -> Bool Source #

(>=) :: Fact -> Fact -> Bool Source #

max :: Fact -> Fact -> Fact Source #

min :: Fact -> Fact -> Fact Source #

newtype Data Source #

Constructors

Data 

Fields

Instances

Instances details
Show Data Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> Data -> ShowS Source #

show :: Data -> String Source #

showList :: [Data] -> ShowS Source #

Eq Data Source # 
Instance details

Defined in EVM.Facts

Methods

(==) :: Data -> Data -> Bool Source #

(/=) :: Data -> Data -> Bool Source #

Ord Data Source # 
Instance details

Defined in EVM.Facts

Methods

compare :: Data -> Data -> Ordering Source #

(<) :: Data -> Data -> Bool Source #

(<=) :: Data -> Data -> Bool Source #

(>) :: Data -> Data -> Bool Source #

(>=) :: Data -> Data -> Bool Source #

max :: Data -> Data -> Data Source #

min :: Data -> Data -> Data Source #

data Path Source #

Constructors

Path [ASCII] ASCII 

Instances

Instances details
Show Path Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> Path -> ShowS Source #

show :: Path -> String Source #

showList :: [Path] -> ShowS Source #

Eq Path Source # 
Instance details

Defined in EVM.Facts

Methods

(==) :: Path -> Path -> Bool Source #

(/=) :: Path -> Path -> Bool Source #

Ord Path Source # 
Instance details

Defined in EVM.Facts

Methods

compare :: Path -> Path -> Ordering Source #

(<) :: Path -> Path -> Bool Source #

(<=) :: Path -> Path -> Bool Source #

(>) :: Path -> Path -> Bool Source #

(>=) :: Path -> Path -> Bool Source #

max :: Path -> Path -> Path Source #

min :: Path -> Path -> Path Source #

apply :: VM -> Set Fact -> VM Source #

applyCache :: VM -> Set Fact -> VM Source #

cacheFacts :: Cache -> Set Fact Source #

contractFacts :: Addr -> Contract -> Map W256 (Map W256 W256) -> [Fact] Source #

vmFacts :: VM -> Set Fact Source #

factToFile :: Fact -> File Source #

fileToFact :: File -> Maybe Fact Source #