hevm-0.46.0: Ethereum virtual machine evaluator

Safe Haskell	None
Language	Haskell2010

EVM.Dapp

Documentation

data DappInfo Source #

Constructors

DappInfo
Fields _dappRoot :: FilePath _dappSolcByName :: Map Text SolcContract _dappSolcByHash :: Map W256 (CodeType, SolcContract) _dappSources :: SourceCache _dappUnitTests :: [(Text, [(Test, [AbiType])])] _dappAbiMap :: Map Word32 Method _dappEventMap :: Map W256 Event _dappAstIdMap :: Map Int Value _dappAstSrcMap :: SrcMap -> Maybe Value

Instances

Instances details

SDisplay DappInfo Source #
Instance details Defined in EVM.Emacs Methods sexp :: DappInfo -> SExpr Text Source #

data DappContext Source #

Constructors

DappContext
Fields _contextInfo :: DappInfo _contextEnv :: Env

data Test Source #

Constructors

ConcreteTest Text
SymbolicTest Text

Instances

Instances details

Show Test Source #
Instance details Defined in EVM.Dapp Methods showsPrec :: Int -> Test -> ShowS # show :: Test -> String # showList :: [Test] -> ShowS #

dappUnitTests :: Lens' DappInfo [(Text, [(Test, [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 #

dappAbiMap :: Lens' DappInfo (Map Word32 Method) Source #

contextInfo :: Lens' DappContext DappInfo Source #

contextEnv :: Lens' DappContext Env Source #

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

emptyDapp :: DappInfo Source #

unitTestMarkerAbi :: Word32 Source #

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

mkTest :: Text -> Maybe Test Source #

regexMatches :: Text -> Text -> Bool Source #

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

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

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

extractSig :: Test -> Text Source #

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

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