hevm-0.44.1: 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 #

data DappContext Source #

Constructors

DappContext 

Fields

data Test Source #

Constructors

ConcreteTest Text 
SymbolicTest Text 
Instances
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 #