Safe Haskell | None |
---|
- vmapM :: (Monad m, Foldable t) => (a -> m b) -> t a -> m [b]
- getCatalog :: (TopLevelType -> Text -> IO (Either Doc Statement)) -> (Either Text Text -> Text -> Container ScopeInformation -> IO (Either Doc Text)) -> PuppetDBAPI -> Text -> Facts -> Container PuppetTypeMethods -> Container ([PValue] -> InterpreterMonad PValue) -> HieraQueryFunc -> IO (Pair (Either Doc (FinalCatalog, EdgeMap, FinalCatalog, [Resource])) [Pair Priority Doc])
- isParent :: Text -> CurContainerDesc -> InterpreterMonad Bool
- finalize :: [Resource] -> InterpreterMonad [Resource]
- popScope :: InterpreterMonad ()
- pushScope :: CurContainerDesc -> InterpreterMonad ()
- evalTopLevel :: Statement -> InterpreterMonad ([Resource], Statement)
- getstt :: TopLevelType -> Text -> InterpreterMonad ([Resource], Statement)
- computeCatalog :: Text -> InterpreterMonad (FinalCatalog, EdgeMap, FinalCatalog, [Resource])
- dependencyErrors :: [Tree Vertex] -> (Vertex -> (RIdentifier, RIdentifier, [RIdentifier])) -> InterpreterMonad ()
- makeEdgeMap :: FinalCatalog -> InterpreterMonad EdgeMap
- realize :: [Resource] -> InterpreterMonad (Pair FinalCatalog FinalCatalog)
- evaluateNode :: Statement -> InterpreterMonad [Resource]
- evaluateStatementsVector :: Foldable f => f Statement -> InterpreterMonad [Resource]
- fromArgumentList :: [Pair Text a] -> InterpreterMonad (Container a)
- evaluateStatement :: Statement -> InterpreterMonad [Resource]
- loadVariable :: Text -> PValue -> InterpreterMonad ()
- loadParameters :: Foldable f => Container PValue -> f (Pair Text (Maybe Expression)) -> PPosition -> Maybe Text -> InterpreterMonad ()
- data ScopeEnteringContext
- enterScope :: ScopeEnteringContext -> CurContainerDesc -> Text -> PPosition -> InterpreterMonad Text
- dropInitialColons :: Text -> Text
- expandDefine :: Resource -> InterpreterMonad [Resource]
- loadClass :: Text -> Maybe Text -> Container PValue -> ClassIncludeType -> InterpreterMonad [Resource]
- addRelationship :: LinkType -> PValue -> Resource -> InterpreterMonad Resource
- addTagResource :: Resource -> Text -> Resource
- addAttribute :: OverrideType -> Resource -> (Text, PValue) -> InterpreterMonad Resource
- registerResource :: Text -> Text -> Container PValue -> Virtuality -> PPosition -> InterpreterMonad [Resource]
- logWithModifier :: Priority -> (Doc -> Doc) -> [PValue] -> InterpreterMonad [Resource]
- mainFunctionCall :: Text -> [PValue] -> InterpreterMonad [Resource]
- evaluateHFC :: HFunctionCall -> InterpreterMonad [Resource]
Documentation
:: (TopLevelType -> Text -> IO (Either Doc Statement)) | get statements function |
-> (Either Text Text -> Text -> Container ScopeInformation -> IO (Either Doc Text)) | compute template function |
-> PuppetDBAPI | |
-> Text | Node name |
-> Facts | Facts ... |
-> Container PuppetTypeMethods | List of native types |
-> Container ([PValue] -> InterpreterMonad PValue) | |
-> HieraQueryFunc | Hiera query function |
-> IO (Pair (Either Doc (FinalCatalog, EdgeMap, FinalCatalog, [Resource])) [Pair Priority Doc]) |
This is the main function for computing catalogs. It returns the result of the compulation (either an error, or a tuple containing all the resources, dependency map, exported resources, and defined resources (this last one might not be up to date and is only useful for code coverage tests)) along with all messages that have been generated by the compilation process.
finalize :: [Resource] -> InterpreterMonad [Resource]Source
evalTopLevel :: Statement -> InterpreterMonad ([Resource], Statement)Source
getstt :: TopLevelType -> Text -> InterpreterMonad ([Resource], Statement)Source
dependencyErrors :: [Tree Vertex] -> (Vertex -> (RIdentifier, RIdentifier, [RIdentifier])) -> InterpreterMonad ()Source
evaluateStatementsVector :: Foldable f => f Statement -> InterpreterMonad [Resource]Source
fromArgumentList :: [Pair Text a] -> InterpreterMonad (Container a)Source
Converts a list of pairs into a container, checking there is no duplicate
loadVariable :: Text -> PValue -> InterpreterMonad ()Source
loadParameters :: Foldable f => Container PValue -> f (Pair Text (Maybe Expression)) -> PPosition -> Maybe Text -> InterpreterMonad ()Source
This function loads class and define parameters into scope. It checks that all mandatory parameters are set, that no extra parameter is declared.
It is able to fill unset parameters with values from Hiera (for classes only) or default values.
enterScope :: ScopeEnteringContext -> CurContainerDesc -> Text -> PPosition -> InterpreterMonad TextSource
Enters a new scope, checks it is not already defined, and inherits the defaults from the current scope
Inheriting the defaults is necessary for non native types, because they will be expanded in finalize, so if this was not done, we would be expanding the defines without the defaults applied
dropInitialColons :: Text -> TextSource
:: Text | |
-> Maybe Text | Set if this is an inheritance load, so that we can set calling module properly |
-> Container PValue | |
-> ClassIncludeType | |
-> InterpreterMonad [Resource] |
addRelationship :: LinkType -> PValue -> Resource -> InterpreterMonad ResourceSource
addTagResource :: Resource -> Text -> ResourceSource
addAttribute :: OverrideType -> Resource -> (Text, PValue) -> InterpreterMonad ResourceSource
registerResource :: Text -> Text -> Container PValue -> Virtuality -> PPosition -> InterpreterMonad [Resource]Source
logWithModifier :: Priority -> (Doc -> Doc) -> [PValue] -> InterpreterMonad [Resource]Source
mainFunctionCall :: Text -> [PValue] -> InterpreterMonad [Resource]Source