Safe Haskell	None
Language	Haskell2010

EVM.Facts

Documentation

Constructors

File
Fields filePath :: Path fileData :: Data

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 #

Constructors

BalanceFact
Fields addr :: Addr what :: Word
NonceFact
Fields addr :: Addr what :: Word
StorageFact
Fields addr :: Addr what :: Word which :: Word
CodeFact
Fields addr :: Addr blob :: ByteString

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 #

Constructors

Data
Fields dataASCII :: ASCII

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 #

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 #