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 defined resources (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).

Main internal entry point, this function completes the interpretation TODO: add some doc here

The main monad

Log

The intepreter can run in two modes : a strict mode (recommended), and a permissive mode.

Puppet has two main ways to declare classes: include-like and resource-like.

See puppet reference.

The type of the container together with its tags.

From the evaluation of Resource Default Declaration.

From the evaluation of Resource Override Declaration.

Differentiate the distinct top level types such as node, define or class.

All available queries including the global and module layer The environment layer is not implemented.

The datatype belongs to the Puppet.Interpreter module because it serves to implement how Hiera is used within Puppet.

Whether the template source is specified inline or loaded from a file.

A pure function for resolving variables.

Turns a PValue into a Bool as explained in the reference documentation.

Resolves a variable, or throws an error if it can't.

The main resolution function : turns an Expression into a PValue, if possible.

Resolves an UnresolvedValue (terminal for the Expression data type) into a PValue

Turns strings, numbers and booleans into Text, or throws an error.

Turns everything it can into a number, or throws an error

resolveExpressionString = resolveExpression >=> resolvePValueString

Just like resolveExpressionString, but accepts arrays.

A hiera helper function, that will throw all Hiera errors and log messages to the main monad.

A simple helper that checks if a given type is native or a define.

Turns an unresolved SearchExpression from the parser into a fully resolved RSearchExpression.

Checks whether a given Resource matches a RSearchExpression. Note that the expression doesn't check for type, so you must filter the resources by type beforehand, if needs be.

Turns a resource type and RSearchExpression into something that can be used in a PuppetDB query.

Generates variable associations for evaluation of blocks. Each item corresponds to an iteration in the calling block.

Sets the proper variables, and returns the scope variables the way they were before being modified. This is a hack that ensures that variables are local to the new scope.

It doesn't work at all like other Puppet parts, but consistency isn't really expected here ...

Restores what needs restoring. This will erase all allocations.

Converts class resource names to lowercase (fix for the jenkins plugin).

Checks that a value matches a puppet datatype

The operational interpreter function