EVM.Facts

Documentation

data File

Constructors

File

Fields

• filePath :: Path
• fileData :: Data

Instances

Show File

Defined in EVM.Facts

Methods

showsPrec :: Int -> File -> ShowS

show :: File -> String

showList :: [File] -> ShowS

Eq File

Defined in EVM.Facts

Methods

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

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

Ord File

Defined in EVM.Facts

Methods

compare :: File -> File -> Ordering

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

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

(>) :: File -> File -> Bool

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

max :: File -> File -> File

min :: File -> File -> File

data Fact

Constructors

BalanceFact

Fields

• addr :: Addr
• what :: W256

NonceFact

Fields

• addr :: Addr
• what :: W256

StorageFact

Fields

• addr :: Addr
• what :: W256
• which :: W256

CodeFact

Fields

• addr :: Addr
• blob :: ByteString

Instances

Show Fact

Defined in EVM.Facts

Methods

showsPrec :: Int -> Fact -> ShowS

show :: Fact -> String

showList :: [Fact] -> ShowS

Eq Fact

Defined in EVM.Facts

Methods

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

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

Ord Fact

Defined in EVM.Facts

Methods

compare :: Fact -> Fact -> Ordering

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

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

(>) :: Fact -> Fact -> Bool

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

max :: Fact -> Fact -> Fact

min :: Fact -> Fact -> Fact

newtype Data

Constructors

Data

Fields

• dataASCII :: ASCII

Instances

Show Data

Defined in EVM.Facts

Methods

showsPrec :: Int -> Data -> ShowS

show :: Data -> String

showList :: [Data] -> ShowS

Eq Data

Defined in EVM.Facts

Methods

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

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

Ord Data

Defined in EVM.Facts

Methods

compare :: Data -> Data -> Ordering

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

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

(>) :: Data -> Data -> Bool

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

max :: Data -> Data -> Data

min :: Data -> Data -> Data

data Path

Constructors

Path [ASCII] ASCII

Instances

Show Path

Defined in EVM.Facts

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

Eq Path

Defined in EVM.Facts

Methods

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

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

Ord Path

Defined in EVM.Facts

Methods

compare :: Path -> Path -> Ordering

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

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

(>) :: Path -> Path -> Bool

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

max :: Path -> Path -> Path

min :: Path -> Path -> Path

apply :: VM -> Set Fact -> VM

applyCache :: VM -> Set Fact -> VM

cacheFacts :: Cache -> Set Fact

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

vmFacts :: VM -> Set Fact

factToFile :: Fact -> File

fileToFact :: File -> Maybe Fact