Safe Haskell | None |
---|
- vmapM :: (Monad m, Foldable t) => (a -> m b) -> t a -> m [b]
- getModulename :: RIdentifier -> Text
- getCatalog :: Monad m => (forall a. InterpreterReader m -> InterpreterState -> InterpreterMonad a -> m (Either PrettyError a, InterpreterState, InterpreterWriter)) -> (TopLevelType -> Text -> m (Either PrettyError Statement)) -> (Either Text Text -> Text -> Container ScopeInformation -> m (Either PrettyError Text)) -> PuppetDBAPI m -> Text -> Facts -> Container PuppetTypeMethods -> Container ([PValue] -> InterpreterMonad PValue) -> HieraQueryFunc m -> ImpureMethods m -> HashSet Text -> m (Pair (Either PrettyError (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])
- 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 -> Text -> Resource -> 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
:: Monad m | |
=> (forall a. InterpreterReader m -> InterpreterState -> InterpreterMonad a -> m (Either PrettyError a, InterpreterState, InterpreterWriter)) | A function that will interpret the InterpreterMonad and will convert it to something else (for example, |
-> (TopLevelType -> Text -> m (Either PrettyError Statement)) | get statements function |
-> (Either Text Text -> Text -> Container ScopeInformation -> m (Either PrettyError Text)) | compute template function |
-> PuppetDBAPI m | |
-> Text | Node name |
-> Facts | Facts ... |
-> Container PuppetTypeMethods | List of native types |
-> Container ([PValue] -> InterpreterMonad PValue) | |
-> HieraQueryFunc m | Hiera query function |
-> ImpureMethods m | |
-> HashSet Text | The set of ignored modules |
-> m (Pair (Either PrettyError (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
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 -> Text -> Resource -> 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