language-puppet-0.12.1: Tools to parse and evaluate the Puppet DSL.

Safe HaskellNone

Puppet.Parser.Types

Contents

Description

All the types used for parsing, and helpers working on these types.

Synopsis

Position management

type Position = SourcePosSource

Position in a puppet file. Currently an alias to SourcePos.

type PPosition = Pair Position PositionSource

A pair containing the start and end of a given token.

initialPPos :: Text -> PPositionSource

Generates an initial position based on a filename.

toPPos :: Text -> Int -> PPositionSource

Generates a PPosition based on a filename and line number.

Lenses

lSourceName :: Lens' Position SourceNameSource

lSourceLine :: Lens' Position LineSource

lSourceColumn :: Lens' Position ColumnSource

Helpers

capitalize' :: Text -> TextSource

capitalizeRT :: Text -> TextSource

Properly capitalizes resource types

array :: [Expression] -> UValueSource

A helper function for writing arrays.

toBool :: UValue -> BoolSource

Tries to turn an unresolved value into a Bool without any context.

Types

Expressions

data Expression Source

The Expressions

Constructors

Equal !Expression !Expression 
Different !Expression !Expression 
Not !Expression 
And !Expression !Expression 
Or !Expression !Expression 
LessThan !Expression !Expression 
MoreThan !Expression !Expression 
LessEqualThan !Expression !Expression 
MoreEqualThan !Expression !Expression 
RegexMatch !Expression !Expression 
NotRegexMatch !Expression !Expression 
Contains !Expression !Expression 
Addition !Expression !Expression 
Substraction !Expression !Expression 
Division !Expression !Expression 
Multiplication !Expression !Expression 
Modulo !Expression !Expression 
RightShift !Expression !Expression 
LeftShift !Expression !Expression 
Lookup !Expression !Expression 
Negate !Expression 
ConditionalValue !Expression !(Vector (Pair SelectorCase Expression))

All conditionals are stored in this format.

FunctionApplication !Expression !Expression

This is for higher order functions.

PValue !UValue 

Instances

data SelectorCase Source

Constructors

SelectorValue UValue 
SelectorDefault 

Instances

data UValue Source

An unresolved value, typically the parser's output.

Constructors

UBoolean !Bool

Special tokens generated when parsing the true or false literals.

UString !Text

Raw string.

UInterpolable !(Vector UValue)

A string that might contain variable references. The type should be refined at one point.

UUndef

Special token that is generated when parsing the undef literal.

UResourceReference !Text !Expression

A Resource[reference]

UArray !(Vector Expression) 
UHash !(Vector (Pair Expression Expression)) 
URegexp !Text !Regex

The regular expression compilation is performed during parsing.

UVariableReference !Text 
UFunctionCall !Text !(Vector Expression) 
UHFunctionCall !HFunctionCall 

Instances

data HigherFuncType Source

The distinct Puppet higher order functions

Constructors

HFEach 
HFMap 
HFReduce 
HFFilter 
HFSlice 

Instances

data HFunctionCall Source

Constructors

HFunctionCall 

Fields

_hftype :: !HigherFuncType
 
_hfexpr :: !(Maybe Expression)
 
_hfparams :: !BlockParameters
 
_hfstatements :: !(Vector Statement)
 
_hfexpression :: !(Maybe Expression)
 

Instances

class HasHFunctionCall t whereSource

Methods

hFunctionCall :: Lens' t HFunctionCallSource

hfexpr :: Lens' t (Maybe Expression)Source

hfexpression :: Lens' t (Maybe Expression)Source

hfparams :: Lens' t BlockParametersSource

hfstatements :: Lens' t (Vector Statement)Source

hftype :: Lens' t HigherFuncTypeSource

Instances

data BlockParameters Source

Currently only two types of block parameters are supported, single values and pairs.

Constructors

BPSingle !Text
|k|
BPPair !Text !Text
|k,v|

Instances

data CollectorType Source

Constructors

Collector 
ExportedCollector 

Instances

data Virtuality Source

Constructors

Normal

Normal resource, that will be included in the catalog

Virtual

Type for virtual resources

Exported

Type for exported resources

ExportedRealized

These are resources that are exported AND included in the catalog

Instances

data NodeDesc Source

Constructors

NodeName !Text 
NodeMatch !Text !Regex 
NodeDefault 

Instances

Search Expressions

data SearchExpression Source

Constructors

EqualitySearch !Text !Expression 
NonEqualitySearch !Text !Expression 
AndSearch !SearchExpression !SearchExpression 
OrSearch !SearchExpression !SearchExpression 
AlwaysTrue 

Instances

Statements

data Statement Source

All the possible statements

Constructors

ResourceDeclaration !Text !Expression !(Vector (Pair Text Expression)) !Virtuality !PPosition 
DefaultDeclaration !Text !(Vector (Pair Text Expression)) !PPosition 
ResourceOverride !Text !Expression !(Vector (Pair Text Expression)) !PPosition 
ConditionalStatement !(Vector (Pair Expression (Vector Statement))) !PPosition

All types of conditional statements are stored that way (case, if, etc.)

ClassDeclaration !Text !(Vector (Pair Text (Maybe Expression))) !(Maybe Text) !(Vector Statement) !PPosition 
DefineDeclaration !Text !(Vector (Pair Text (Maybe Expression))) !(Vector Statement) !PPosition 
Node !NodeDesc !(Vector Statement) !(Maybe NodeDesc) !PPosition 
VariableAssignment !Text !Expression !PPosition 
MainFunctionCall !Text !(Vector Expression) !PPosition 
SHFunctionCall !HFunctionCall !PPosition

Higher order function call.

ResourceCollection !CollectorType !Text !SearchExpression !(Vector (Pair Text Expression)) !PPosition

For all types of collectors.

Dependency !(Pair Text Expression) !(Pair Text Expression) !PPosition 
TopContainer !(Vector Statement) !Statement

This is a special statement that is used to include the expressions that are top level. This is certainly buggy, but probably just like the original implementation.

Instances