EVM.Dapp

Documentation

data DappInfo

Constructors

DappInfo

Fields

• root :: FilePath
• solcByName :: Map Text SolcContract
• solcByHash :: Map W256 (CodeType, SolcContract)
• solcByCode :: [(Code, SolcContract)]
• sources :: SourceCache
• unitTests :: [(Text, [Sig])]
• abiMap :: Map FunctionSelector Method
• eventMap :: Map W256 Event
• errorMap :: Map W256 SolError
• astIdMap :: Map Int Value
• astSrcMap :: SrcMap -> Maybe Value

data Code

bytecode modulo immutables, to identify contracts

Constructors

Code

Fields

• raw :: ByteString
• immutableLocations :: [Reference]

Instances

Show Code

Defined in EVM.Dapp

Methods

showsPrec :: Int -> Code -> ShowS

show :: Code -> String

showList :: [Code] -> ShowS

data DappContext

Constructors

DappContext

Fields

• info :: DappInfo
• env :: Map (Expr EAddr) Contract

dappInfo :: FilePath -> BuildOutput -> DappInfo

emptyDapp :: DappInfo

unitTestMarkerAbi :: FunctionSelector

findAllUnitTests :: [SolcContract] -> [(Text, [Sig])]

mkSig :: Method -> Maybe Sig

findUnitTests :: Text -> [SolcContract] -> [(Text, [Sig])]

unitTestMethodsFiltered :: (Text -> Bool) -> SolcContract -> [Sig]

unitTestMethods :: SolcContract -> [Sig]

traceSrcMap :: DappInfo -> Trace -> Maybe SrcMap

srcMap :: DappInfo -> Contract -> Int -> Maybe SrcMap

findSrc :: Contract -> DappInfo -> Maybe SolcContract

lookupCode :: ContractCode -> DappInfo -> Maybe SolcContract

compareCode :: ByteString -> Code -> Bool

showTraceLocation :: DappInfo -> Trace -> Either Text Text

srcMapCodePos :: SourceCache -> SrcMap -> Maybe (FilePath, Int)

srcMapCode :: SourceCache -> SrcMap -> Maybe ByteString