Safe Haskell | None |
---|---|
Language | Haskell98 |
- interpretCatalog :: Monad m => InterpreterReader m -> NodeName -> Facts -> Container Text -> m (Pair (Either PrettyError (FinalCatalog, EdgeMap, FinalCatalog, [Resource])) [Pair Priority Doc])
- evaluateStatement :: Statement -> InterpreterMonad [Resource]
- computeCatalog :: NodeName -> InterpreterMonad (FinalCatalog, EdgeMap, FinalCatalog, [Resource])
Documentation
:: Monad m | |
=> InterpreterReader m | The whole environment required for computing catalog. |
-> NodeName | |
-> Facts | |
-> Container Text | Server settings |
-> m (Pair (Either PrettyError (FinalCatalog, EdgeMap, FinalCatalog, [Resource])) [Pair Priority Doc]) |
Call the operational interpretMonad
function to compute the catalog.
Returns either an error, or a tuple containing all the resources,
dependency map, exported resources, and defined resources alongside with
all messages that have been generated by the compilation process.
The later definedResources
(eg. all class declarations) are pulled out of the
InterpreterState
and might not be up to date.
There are only useful for coverage testing (checking dependencies for instance).
computeCatalog :: NodeName -> InterpreterMonad (FinalCatalog, EdgeMap, FinalCatalog, [Resource]) Source
Main internal entry point, this function completes the interpretation TODO: add some doc here