hevm-0.17: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Facts

Documentation

data File Source #

Constructors

File 

Fields

Instances
Eq File Source # 
Instance details

Defined in EVM.Facts

Methods

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

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

Ord File Source # 
Instance details

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 #

Show File Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> File -> ShowS #

show :: File -> String #

showList :: [File] -> ShowS #

data Fact Source #

Constructors

BalanceFact 

Fields

NonceFact 

Fields

StorageFact 

Fields

CodeFact 

Fields

Instances
Eq Fact Source # 
Instance details

Defined in EVM.Facts

Methods

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

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

Ord Fact Source # 
Instance details

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 #

Show Fact Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> Fact -> ShowS #

show :: Fact -> String #

showList :: [Fact] -> ShowS #

newtype Data Source #

Constructors

Data 

Fields

Instances
Eq Data Source # 
Instance details

Defined in EVM.Facts

Methods

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

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

Ord Data Source # 
Instance details

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 #

Show Data Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> Data -> ShowS #

show :: Data -> String #

showList :: [Data] -> ShowS #

data Path Source #

Constructors

Path [ASCII] ASCII 
Instances
Eq Path Source # 
Instance details

Defined in EVM.Facts

Methods

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

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

Ord Path Source # 
Instance details

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 #

Show Path Source # 
Instance details

Defined in EVM.Facts

Methods

showsPrec :: Int -> Path -> ShowS #

show :: Path -> String #

showList :: [Path] -> ShowS #