Ethereum.Analyzer

Documentation

module Ethereum.Analyzer.Disasm

type HplBody = Body HplOp

data HplCode

Constructors

HplCode

Fields

• entryOf :: Maybe Label
• bodyOf :: HplBody

Instances

Show HplCode

Methods

showsPrec :: Int -> HplCode -> ShowS

show :: HplCode -> String

showList :: [HplCode] -> ShowS

data HplContract

Constructors

HplContract

Fields

• ctorOf :: HplCode
• dispatcherOf :: HplCode

Instances

Show HplContract

Methods

showsPrec :: Int -> HplContract -> ShowS

show :: HplContract -> String

showList :: [HplContract] -> ShowS

data HplOp e x where

Constructors

CoOp :: Label -> HplOp C O

OoOp :: (Word256, Operation) -> HplOp O O

OcOp :: (Word256, Operation) -> [Label] -> HplOp O C

HpCodeCopy :: Word256 -> HplOp O O

Instances

NonLocal HplOp

Methods

entryLabel :: HplOp C x -> Label

successors :: HplOp e C -> [Label]

Eq (HplOp O O)

Methods

(==) :: HplOp O O -> HplOp O O -> Bool

(/=) :: HplOp O O -> HplOp O O -> Bool

Eq (HplOp O C)

Methods

(==) :: HplOp O C -> HplOp O C -> Bool

(/=) :: HplOp O C -> HplOp O C -> Bool

Eq (HplOp C O)

Methods

(==) :: HplOp C O -> HplOp C O -> Bool

(/=) :: HplOp C O -> HplOp C O -> Bool

Show (HplOp e x)

Methods

showsPrec :: Int -> HplOp e x -> ShowS

show :: HplOp e x -> String

showList :: [HplOp e x] -> ShowS

Show (Block HplOp C C)

Methods

showsPrec :: Int -> Block HplOp C C -> ShowS

show :: Block HplOp C C -> String

showList :: [Block HplOp C C] -> ShowS

data WordLabelMapM a

Instances

Monad WordLabelMapM

Methods

(>>=) :: WordLabelMapM a -> (a -> WordLabelMapM b) -> WordLabelMapM b

(>>) :: WordLabelMapM a -> WordLabelMapM b -> WordLabelMapM b

return :: a -> WordLabelMapM a

fail :: String -> WordLabelMapM a

Functor WordLabelMapM

Methods

fmap :: (a -> b) -> WordLabelMapM a -> WordLabelMapM b

(<$) :: a -> WordLabelMapM b -> WordLabelMapM a

Applicative WordLabelMapM

Methods

pure :: a -> WordLabelMapM a

(<*>) :: WordLabelMapM (a -> b) -> WordLabelMapM a -> WordLabelMapM b

(*>) :: WordLabelMapM a -> WordLabelMapM b -> WordLabelMapM b

(<*) :: WordLabelMapM a -> WordLabelMapM b -> WordLabelMapM a

CheckpointMonad WordLabelMapM

Associated Types

type Checkpoint (WordLabelMapM :: * -> *) :: *

Methods

checkpoint :: WordLabelMapM (Checkpoint WordLabelMapM)

restart :: Checkpoint WordLabelMapM -> WordLabelMapM ()

type Checkpoint WordLabelMapM

type Checkpoint WordLabelMapM

type WordLabelMapFuelM = CheckingFuelMonad WordLabelMapM

unWordLabelMapM :: UnWordLabelMapM a => WordLabelMapM a -> a

evmOps2HplCode :: [(Word256, Operation)] -> WordLabelMapM HplCode

evmOps2HplContract :: [(Word256, Operation)] -> WordLabelMapM HplContract

labelFor :: Word256 -> WordLabelMapM Label

labelsFor :: [Word256] -> WordLabelMapM [Label]

showOp :: (Word256, Operation) -> String

showOps :: [(Word256, Operation)] -> [String]