Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data DappInfo = DappInfo {
- root :: FilePath
- solcByName :: Map Text SolcContract
- solcByHash :: Map W256 (CodeType, SolcContract)
- solcByCode :: [(Code, SolcContract)]
- sources :: SourceCache
- unitTests :: [(Text, [(Test, [AbiType])])]
- abiMap :: Map FunctionSelector Method
- eventMap :: Map W256 Event
- errorMap :: Map W256 SolError
- astIdMap :: Map Int Value
- astSrcMap :: SrcMap -> Maybe Value
- data Code = Code {
- raw :: ByteString
- immutableLocations :: [Reference]
- data DappContext = DappContext {}
- data Test
- dappInfo :: FilePath -> Map Text SolcContract -> SourceCache -> DappInfo
- emptyDapp :: DappInfo
- unitTestMarkerAbi :: FunctionSelector
- 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
DappInfo | |
|
bytecode modulo immutables, to identify contracts
Code | |
|
data DappContext 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 #