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.
Terminal !UnresolvedValue	Terminal object contains no expression

Instances

IsList Expression #
Associated Types type Item Expression :: * # Methods fromList :: [Item Expression] -> Expression # fromListN :: Int -> [Item Expression] -> Expression # toList :: Expression -> [Item Expression] #
Eq Expression #
Methods (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool #
Fractional Expression #
Methods (/) :: Expression -> Expression -> Expression # recip :: Expression -> Expression # fromRational :: Rational -> Expression #
Num Expression #
Methods (+) :: Expression -> Expression -> Expression # (-) :: Expression -> Expression -> Expression # (*) :: Expression -> Expression -> Expression # negate :: Expression -> Expression # abs :: Expression -> Expression # signum :: Expression -> Expression # fromInteger :: Integer -> Expression #
Show Expression #
Methods showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS #
IsString Expression #
Methods fromString :: String -> Expression #
type Item Expression #
type Item Expression = Expression

data SelectorCase #

Constructors

SelectorValue !UnresolvedValue
SelectorType !UDataType
SelectorDefault

Instances

Eq SelectorCase #
Methods (==) :: SelectorCase -> SelectorCase -> Bool # (/=) :: SelectorCase -> SelectorCase -> Bool #
Show SelectorCase #
Methods showsPrec :: Int -> SelectorCase -> ShowS # show :: SelectorCase -> String # showList :: [SelectorCase] -> ShowS #

data UnresolvedValue #

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 Expression)	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 !CompRegex	The regular expression compilation is performed during parsing.
UVariableReference !Text
UFunctionCall !Text !(Vector Expression)
UHOLambdaCall !HOLambdaCall
UNumber !Scientific
UDataType UDataType

Instances

IsList UnresolvedValue #
Associated Types type Item UnresolvedValue :: * # Methods fromList :: [Item UnresolvedValue] -> UnresolvedValue # fromListN :: Int -> [Item UnresolvedValue] -> UnresolvedValue # toList :: UnresolvedValue -> [Item UnresolvedValue] #
Eq UnresolvedValue #
Methods (==) :: UnresolvedValue -> UnresolvedValue -> Bool # (/=) :: UnresolvedValue -> UnresolvedValue -> Bool #
Show UnresolvedValue #
Methods showsPrec :: Int -> UnresolvedValue -> ShowS # show :: UnresolvedValue -> String # showList :: [UnresolvedValue] -> ShowS #
IsString UnresolvedValue #
Methods fromString :: String -> UnresolvedValue #
type Item UnresolvedValue #
type Item UnresolvedValue = Expression

data LambdaFunc #

High Order lambdas.

Constructors

LambEach
LambMap
LambReduce
LambFilter
LambSlice
LambLookup

Instances

Eq LambdaFunc #
Methods (==) :: LambdaFunc -> LambdaFunc -> Bool # (/=) :: LambdaFunc -> LambdaFunc -> Bool #
Show LambdaFunc #
Methods showsPrec :: Int -> LambdaFunc -> ShowS # show :: LambdaFunc -> String # showList :: [LambdaFunc] -> ShowS #

data HOLambdaCall #

Constructors

HOLambdaCall
Fields _hoLambdaFunc :: !LambdaFunc _hoLambdaExpr :: !(Maybe Expression) _hoLambdaParams :: !LambdaParameters _hoLambdaStatements :: !(Vector Statement) _hoLambdaLastExpr :: !(Maybe Expression)

Instances

Eq HOLambdaCall #
Methods (==) :: HOLambdaCall -> HOLambdaCall -> Bool # (/=) :: HOLambdaCall -> HOLambdaCall -> Bool #
Show HOLambdaCall #
Methods showsPrec :: Int -> HOLambdaCall -> ShowS # show :: HOLambdaCall -> String # showList :: [HOLambdaCall] -> ShowS #
HasHOLambdaCall HOLambdaCall #
Methods hOLambdaCall :: Lens' HOLambdaCall HOLambdaCall # hoLambdaExpr :: Lens' HOLambdaCall (Maybe Expression) # hoLambdaFunc :: Lens' HOLambdaCall LambdaFunc # hoLambdaLastExpr :: Lens' HOLambdaCall (Maybe Expression) # hoLambdaParams :: Lens' HOLambdaCall LambdaParameters # hoLambdaStatements :: Lens' HOLambdaCall (Vector Statement) #

data ChainableRes #

Constructors

ChainResColl !ResCollDecl
ChainResDecl !ResDecl
ChainResRefr !Text [Expression] !PPosition

Instances

Eq ChainableRes #
Methods (==) :: ChainableRes -> ChainableRes -> Bool # (/=) :: ChainableRes -> ChainableRes -> Bool #
Show ChainableRes #
Methods showsPrec :: Int -> ChainableRes -> ShowS # show :: ChainableRes -> String # showList :: [ChainableRes] -> ShowS #

class HasHOLambdaCall c where #

Minimal complete definition

hOLambdaCall

Methods

hOLambdaCall :: Lens' c HOLambdaCall #

hoLambdaExpr :: Lens' c (Maybe Expression) #

hoLambdaFunc :: Lens' c LambdaFunc #

hoLambdaLastExpr :: Lens' c (Maybe Expression) #

hoLambdaParams :: Lens' c LambdaParameters #

hoLambdaStatements :: Lens' c (Vector Statement) #

Instances

data LambdaParameter #

Constructors

LParam !(Maybe UDataType) !Text

Instances

Eq LambdaParameter #
Methods (==) :: LambdaParameter -> LambdaParameter -> Bool # (/=) :: LambdaParameter -> LambdaParameter -> Bool #
Show LambdaParameter #
Methods showsPrec :: Int -> LambdaParameter -> ShowS # show :: LambdaParameter -> String # showList :: [LambdaParameter] -> ShowS #

data LambdaParameters #

Lambda block parameters:

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

Constructors

BPSingle !LambdaParameter	\|k\|
BPPair !LambdaParameter !LambdaParameter	\|k,v\|

Instances

Eq LambdaParameters #
Methods (==) :: LambdaParameters -> LambdaParameters -> Bool # (/=) :: LambdaParameters -> LambdaParameters -> Bool #
Show LambdaParameters #
Methods showsPrec :: Int -> LambdaParameters -> ShowS # show :: LambdaParameters -> String # showList :: [LambdaParameters] -> ShowS #

data CompRegex #

Constructors

CompRegex !Text !Regex

Instances

Eq CompRegex #
Methods (==) :: CompRegex -> CompRegex -> Bool # (/=) :: CompRegex -> CompRegex -> Bool #
Show CompRegex #
Methods showsPrec :: Int -> CompRegex -> ShowS # show :: CompRegex -> String # showList :: [CompRegex] -> ShowS #
ToJSON CompRegex #
Methods toJSON :: CompRegex -> Value # toEncoding :: CompRegex -> Encoding # toJSONList :: [CompRegex] -> Value # toEncodingList :: [CompRegex] -> Encoding #
FromJSON CompRegex #
Methods parseJSON :: Value -> Parser CompRegex # parseJSONList :: Value -> Parser [CompRegex] #
Pretty CompRegex #
Methods pretty :: CompRegex -> Doc # prettyList :: [CompRegex] -> Doc #

data CollectorType #

Constructors

Collector
ExportedCollector

Instances

Eq CollectorType #
Methods (==) :: CollectorType -> CollectorType -> Bool # (/=) :: CollectorType -> CollectorType -> Bool #
Show CollectorType #
Methods showsPrec :: Int -> CollectorType -> ShowS # show :: CollectorType -> String # showList :: [CollectorType] -> ShowS #

data Virtuality #

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 realized in the catalog.

Instances

Eq Virtuality #
Methods (==) :: Virtuality -> Virtuality -> Bool # (/=) :: Virtuality -> Virtuality -> Bool #
Show Virtuality #
Methods showsPrec :: Int -> Virtuality -> ShowS # show :: Virtuality -> String # showList :: [Virtuality] -> ShowS #

data NodeDesc #

Constructors

NodeName !Text
NodeMatch !CompRegex
NodeDefault

Instances

Eq NodeDesc #
Methods (==) :: NodeDesc -> NodeDesc -> Bool # (/=) :: NodeDesc -> NodeDesc -> Bool #
Show NodeDesc #
Methods showsPrec :: Int -> NodeDesc -> ShowS # show :: NodeDesc -> String # showList :: [NodeDesc] -> ShowS #

data LinkType #

Relationship/ordering between resources.

Constructors

RRequire	Applies a resource after the target resource.
RBefore	Applies a resource before the target resource.
RNotify	Applies a resource before the target resource. The target resource refreshes if the notifying resource changes.
RSubscribe	Applies a resource after the target resource. The subscribing resource refreshes if the target resource changes.

Instances

Eq LinkType #
Methods (==) :: LinkType -> LinkType -> Bool # (/=) :: LinkType -> LinkType -> Bool #
Show LinkType #
Methods showsPrec :: Int -> LinkType -> ShowS # show :: LinkType -> String # showList :: [LinkType] -> ShowS #
Generic LinkType #
Associated Types type Rep LinkType :: * -> * # Methods from :: LinkType -> Rep LinkType x # to :: Rep LinkType x -> LinkType #
Hashable LinkType #
Methods hashWithSalt :: Int -> LinkType -> Int # hash :: LinkType -> Int #
ToJSON LinkType #
Methods toJSON :: LinkType -> Value # toEncoding :: LinkType -> Encoding # toJSONList :: [LinkType] -> Value # toEncodingList :: [LinkType] -> Encoding #
FromJSON LinkType #
Methods parseJSON :: Value -> Parser LinkType # parseJSONList :: Value -> Parser [LinkType] #
Pretty LinkType #
Methods pretty :: LinkType -> Doc # prettyList :: [LinkType] -> Doc #
type Rep LinkType #
type Rep LinkType = D1 * (MetaData "LinkType" "Puppet.Language.Resource" "language-puppet-1.3.19-E5GvKpRNireIAt8kFBmKBu" False) ((:+:) * ((:+:) * (C1 * (MetaCons "RRequire" PrefixI False) (U1 )) (C1 (MetaCons "RBefore" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "RNotify" PrefixI False) (U1 )) (C1 (MetaCons "RSubscribe" PrefixI False) (U1 *))))

Datatypes

data UDataType #

Constructors

UDTType
UDTString (Maybe Int) (Maybe Int)
UDTInteger (Maybe Int) (Maybe Int)
UDTFloat (Maybe Double) (Maybe Double)
UDTBoolean
UDTArray UDataType Int (Maybe Int)
UDTHash UDataType UDataType Int (Maybe Int)
UDTUndef
UDTScalar
UDTData
UDTOptional UDataType
UNotUndef
UDTVariant (NonEmpty UDataType)
UDTPattern (NonEmpty CompRegex)
UDTEnum (NonEmpty Expression)
UDTAny
UDTCollection
UDTRegexp (Maybe CompRegex)

Instances

Eq UDataType #
Methods (==) :: UDataType -> UDataType -> Bool # (/=) :: UDataType -> UDataType -> Bool #
Show UDataType #
Methods showsPrec :: Int -> UDataType -> ShowS # show :: UDataType -> String # showList :: [UDataType] -> ShowS #

Search Expressions

data SearchExpression #

Search expression inside collector `searchexpr |`

Constructors

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

Instances

Eq SearchExpression #
Methods (==) :: SearchExpression -> SearchExpression -> Bool # (/=) :: SearchExpression -> SearchExpression -> Bool #
Show SearchExpression #
Methods showsPrec :: Int -> SearchExpression -> ShowS # show :: SearchExpression -> String # showList :: [SearchExpression] -> ShowS #

Declaration

data AttributeDecl #

Constructors

AttributeDecl !Text !ArrowOp !Expression
AttributeWildcard !Expression

Instances

Eq AttributeDecl #
Methods (==) :: AttributeDecl -> AttributeDecl -> Bool # (/=) :: AttributeDecl -> AttributeDecl -> Bool #
Show AttributeDecl #
Methods showsPrec :: Int -> AttributeDecl -> ShowS # show :: AttributeDecl -> String # showList :: [AttributeDecl] -> ShowS #

data ArrowOp #

Constructors

AppendArrow	`+>`
AssignArrow	`=>`

Instances

Eq ArrowOp #
Methods (==) :: ArrowOp -> ArrowOp -> Bool # (/=) :: ArrowOp -> ArrowOp -> Bool #
Show ArrowOp #
Methods showsPrec :: Int -> ArrowOp -> ShowS # show :: ArrowOp -> String # showList :: [ArrowOp] -> ShowS #

data ConditionalDecl #

All types of conditional statements : case, if, ...

Stored as an ordered list of pair (condition, statements) . Interpreted as "if first cond is true, choose first statements, else take the next pair, check the condition ..."

Constructors

ConditionalDecl !(Vector (Pair Expression (Vector Statement))) !PPosition

Instances

Eq ConditionalDecl #
Methods (==) :: ConditionalDecl -> ConditionalDecl -> Bool # (/=) :: ConditionalDecl -> ConditionalDecl -> Bool #
Show ConditionalDecl #
Methods showsPrec :: Int -> ConditionalDecl -> ShowS # show :: ConditionalDecl -> String # showList :: [ConditionalDecl] -> ShowS #

data ClassDecl #

Constructors

ClassDecl !Text !(Vector (Pair (Pair Text (Maybe UDataType)) (Maybe Expression))) !(Maybe Text) !(Vector Statement) !PPosition

Instances

Eq ClassDecl #
Methods (==) :: ClassDecl -> ClassDecl -> Bool # (/=) :: ClassDecl -> ClassDecl -> Bool #
Show ClassDecl #
Methods showsPrec :: Int -> ClassDecl -> ShowS # show :: ClassDecl -> String # showList :: [ClassDecl] -> ShowS #

data ResDefaultDecl #

Resource default:

 File { mode => 755 }

puppet reference.

Constructors

ResDefaultDecl !Text !(Vector AttributeDecl) !PPosition

Instances

Eq ResDefaultDecl #
Methods (==) :: ResDefaultDecl -> ResDefaultDecl -> Bool # (/=) :: ResDefaultDecl -> ResDefaultDecl -> Bool #
Show ResDefaultDecl #
Methods showsPrec :: Int -> ResDefaultDecl -> ShowS # show :: ResDefaultDecl -> String # showList :: [ResDefaultDecl] -> ShowS #

data DepDecl #

Constructors

DepDecl !(Pair Text Expression) !(Pair Text Expression) !LinkType !PPosition

Instances

Eq DepDecl #
Methods (==) :: DepDecl -> DepDecl -> Bool # (/=) :: DepDecl -> DepDecl -> Bool #
Show DepDecl #
Methods showsPrec :: Int -> DepDecl -> ShowS # show :: DepDecl -> String # showList :: [DepDecl] -> ShowS #

data Statement #

All possible statements.

Constructors

ResourceDeclaration !ResDecl
ResourceDefaultDeclaration !ResDefaultDecl
ResourceOverrideDeclaration !ResOverrideDecl
ResourceCollectionDeclaration !ResCollDecl
ClassDeclaration !ClassDecl
DefineDeclaration !DefineDecl
NodeDeclaration !NodeDecl
ConditionalDeclaration !ConditionalDecl
VarAssignmentDeclaration !VarAssignDecl
MainFunctionDeclaration !MainFuncDecl
HigherOrderLambdaDeclaration !HigherOrderLambdaDecl
DependencyDeclaration !DepDecl
TopContainer !(Vector Statement) !Statement	Special statement used to include the expressions that are top level. Certainly buggy, but probably just like the original implementation.

Instances

Eq Statement #
Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
Show Statement #
Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #

data ResDecl #

Resource declaration:

 file { mode => 755}

Constructors

ResDecl !Text !Expression !(Vector AttributeDecl) !Virtuality !PPosition

Instances

Eq ResDecl #
Methods (==) :: ResDecl -> ResDecl -> Bool # (/=) :: ResDecl -> ResDecl -> Bool #
Show ResDecl #
Methods showsPrec :: Int -> ResDecl -> ShowS # show :: ResDecl -> String # showList :: [ResDecl] -> ShowS #

data ResOverrideDecl #

Resource override:

 File[title] { mode => 755}

See puppet reference.

Constructors

ResOverrideDecl !Text !Expression !(Vector AttributeDecl) !PPosition

Instances

Eq ResOverrideDecl #
Methods (==) :: ResOverrideDecl -> ResOverrideDecl -> Bool # (/=) :: ResOverrideDecl -> ResOverrideDecl -> Bool #
Show ResOverrideDecl #
Methods showsPrec :: Int -> ResOverrideDecl -> ShowS # show :: ResOverrideDecl -> String # showList :: [ResOverrideDecl] -> ShowS #

data DefineDecl #

Constructors

DefineDecl !Text !(Vector (Pair (Pair Text (Maybe UDataType)) (Maybe Expression))) !(Vector Statement) !PPosition

Instances

Eq DefineDecl #
Methods (==) :: DefineDecl -> DefineDecl -> Bool # (/=) :: DefineDecl -> DefineDecl -> Bool #
Show DefineDecl #
Methods showsPrec :: Int -> DefineDecl -> ShowS # show :: DefineDecl -> String # showList :: [DefineDecl] -> ShowS #

data NodeDecl #

A node is a collection of statements + maybe an inherit node.

Constructors

NodeDecl !NodeDesc !(Vector Statement) !(Maybe NodeDesc) !PPosition

Instances

Eq NodeDecl #
Methods (==) :: NodeDecl -> NodeDecl -> Bool # (/=) :: NodeDecl -> NodeDecl -> Bool #
Show NodeDecl #
Methods showsPrec :: Int -> NodeDecl -> ShowS # show :: NodeDecl -> String # showList :: [NodeDecl] -> ShowS #

data VarAssignDecl #

 $newvar = world

Constructors

VarAssignDecl
Fields _vadtype :: Maybe UDataType _vadname :: !Text _vadvalue :: !Expression _vadpos :: !PPosition

Instances

Eq VarAssignDecl #
Methods (==) :: VarAssignDecl -> VarAssignDecl -> Bool # (/=) :: VarAssignDecl -> VarAssignDecl -> Bool #
Show VarAssignDecl #
Methods showsPrec :: Int -> VarAssignDecl -> ShowS # show :: VarAssignDecl -> String # showList :: [VarAssignDecl] -> ShowS #

data MainFuncDecl #

Constructors

MainFuncDecl !Text !(Vector Expression) !PPosition

Instances

Eq MainFuncDecl #
Methods (==) :: MainFuncDecl -> MainFuncDecl -> Bool # (/=) :: MainFuncDecl -> MainFuncDecl -> Bool #
Show MainFuncDecl #
Methods showsPrec :: Int -> MainFuncDecl -> ShowS # show :: MainFuncDecl -> String # showList :: [MainFuncDecl] -> ShowS #

data HigherOrderLambdaDecl #

Higher order function call.

Constructors

HigherOrderLambdaDecl !HOLambdaCall !PPosition

Instances

Eq HigherOrderLambdaDecl #
Methods (==) :: HigherOrderLambdaDecl -> HigherOrderLambdaDecl -> Bool # (/=) :: HigherOrderLambdaDecl -> HigherOrderLambdaDecl -> Bool #
Show HigherOrderLambdaDecl #
Methods showsPrec :: Int -> HigherOrderLambdaDecl -> ShowS # show :: HigherOrderLambdaDecl -> String # showList :: [HigherOrderLambdaDecl] -> ShowS #

data ResCollDecl #

Resource Collector including exported collector (`<<| |>>`)

 User <| title == jenkins |> { groups +> "docker"}

See puppet reference

Constructors

ResCollDecl !CollectorType !Text !SearchExpression !(Vector AttributeDecl) !PPosition

Instances

Eq ResCollDecl #
Methods (==) :: ResCollDecl -> ResCollDecl -> Bool # (/=) :: ResCollDecl -> ResCollDecl -> Bool #
Show ResCollDecl #
Methods showsPrec :: Int -> ResCollDecl -> ShowS # show :: ResCollDecl -> String # showList :: [ResCollDecl] -> ShowS #