| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
EVM.Dapp
Synopsis
- data DappInfo = DappInfo {
- _dappRoot :: FilePath
- _dappSolcByName :: Map Text SolcContract
- _dappSolcByHash :: Map W256 (CodeType, SolcContract)
- _dappSolcByCode :: [(Code, SolcContract)]
- _dappSources :: SourceCache
- _dappUnitTests :: [(Text, [(Test, [AbiType])])]
- _dappAbiMap :: Map Word32 Method
- _dappEventMap :: Map W256 Event
- _dappErrorMap :: Map W256 SolError
- _dappAstIdMap :: Map Int Value
- _dappAstSrcMap :: SrcMap -> Maybe Value
- data Code = Code {
- raw :: ByteString
- immutableLocations :: [Reference]
- data DappContext = DappContext {}
- data Test
- dappUnitTests :: Lens' DappInfo [(Text, [(Test, [AbiType])])]
- dappSources :: Lens' DappInfo SourceCache
- dappSolcByName :: Lens' DappInfo (Map Text SolcContract)
- dappSolcByHash :: Lens' DappInfo (Map W256 (CodeType, SolcContract))
- dappSolcByCode :: Lens' DappInfo [(Code, SolcContract)]
- dappRoot :: Lens' DappInfo FilePath
- dappEventMap :: Lens' DappInfo (Map W256 Event)
- dappErrorMap :: Lens' DappInfo (Map W256 SolError)
- dappAstSrcMap :: Lens' DappInfo (SrcMap -> Maybe Value)
- dappAstIdMap :: Lens' DappInfo (Map Int Value)
- dappAbiMap :: Lens' DappInfo (Map Word32 Method)
- contextInfo :: Lens' DappContext DappInfo
- contextEnv :: Lens' DappContext (Map Addr Contract)
- dappInfo :: FilePath -> Map Text SolcContract -> SourceCache -> DappInfo
- emptyDapp :: DappInfo
- unitTestMarkerAbi :: Word32
- findAllUnitTests :: [SolcContract] -> [(Text, [(Test, [AbiType])])]
- mkTest :: Text -> Maybe Test
- findUnitTests :: Text -> [SolcContract] -> [(Text, [(Test, [AbiType])])]
- unitTestMethodsFiltered :: (Text -> Bool) -> SolcContract -> [(Test, [AbiType])]
- unitTestMethods :: SolcContract -> [(Test, [AbiType])]
- extractSig :: Test -> Text
- 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
Documentation
Constructors
| DappInfo | |
Fields
| |
bytecode modulo immutables, to identify contracts
Constructors
| Code | |
Fields
| |
data DappContext Source #
Constructors
| DappContext | |
Fields | |
Constructors
| ConcreteTest Text | |
| SymbolicTest Text | |
| InvariantTest Text |
dappSolcByHash :: Lens' DappInfo (Map W256 (CodeType, SolcContract)) Source #
dappSolcByCode :: Lens' DappInfo [(Code, SolcContract)] Source #
contextEnv :: Lens' DappContext (Map Addr Contract) Source #
dappInfo :: FilePath -> Map Text SolcContract -> SourceCache -> DappInfo Source #
findAllUnitTests :: [SolcContract] -> [(Text, [(Test, [AbiType])])] Source #
findUnitTests :: Text -> [SolcContract] -> [(Text, [(Test, [AbiType])])] Source #
unitTestMethodsFiltered :: (Text -> Bool) -> SolcContract -> [(Test, [AbiType])] Source #
unitTestMethods :: SolcContract -> [(Test, [AbiType])] Source #
extractSig :: Test -> Text Source #
lookupCode :: ContractCode -> DappInfo -> Maybe SolcContract Source #
compareCode :: ByteString -> Code -> Bool Source #