hevm-0.42.0: Ethereum virtual machine evaluator

Safe HaskellNone
LanguageHaskell2010

EVM.Dapp

Documentation

data DappInfo Source #

Constructors

DappInfo 

Fields

Instances
SDisplay DappInfo Source # 
Instance details

Defined in EVM.Emacs

Methods

sexp :: DappInfo -> SExpr Text Source #

dappUnitTests :: Lens' DappInfo [(Text, [(Text, [AbiType])])] Source #

dappSources :: Lens' DappInfo SourceCache Source #

dappSolcByName :: Lens' DappInfo (Map Text SolcContract) Source #

dappSolcByHash :: Lens' DappInfo (Map W256 (CodeType, SolcContract)) Source #

dappRoot :: Lens' DappInfo FilePath Source #

dappEventMap :: Lens' DappInfo (Map W256 Event) Source #

dappAstSrcMap :: Lens' DappInfo (SrcMap -> Maybe Value) Source #

dappAstIdMap :: Lens' DappInfo (Map Int Value) Source #

dappInfo :: FilePath -> Map Text SolcContract -> SourceCache -> DappInfo Source #

unitTestMarkerAbi :: Word32 Source #

findUnitTests :: (Text -> Bool) -> [SolcContract] -> [(Text, [(Text, [AbiType])])] Source #

unitTestMethodsFiltered :: (Text -> Bool) -> SolcContract -> [(Text, [AbiType])] Source #

unitTestMethods :: SolcContract -> [(Text, [AbiType])] Source #

traceSrcMap :: DappInfo -> Trace -> Maybe SrcMap Source #

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