Safe Haskell	None
Language	Haskell98

Puppet.Interpreter.Types

Synopsis

Documentation

metaparameters :: HashSet Text Source

type Nodename = Text Source

type Container = HashMap Text Source

newtype PrettyError Source

Constructors

PrettyError
Fields getError :: Doc

Instances

Show PrettyError
IsString PrettyError
Error PrettyError
MonadError PrettyError InterpreterMonad

data PValue Source

Constructors

PBoolean !Bool
PUndef
PString !Text
PResourceReference !Text !Text
PArray !(Vector PValue)
PHash !(Container PValue)
PNumber !Scientific

Instances

Eq PValue
Show PValue
IsString PValue
ToJSON PValue
FromJSON PValue
Pretty PValue
FromRuby PValue
ToRuby PValue
StackValue PValue
AsNumber PValue
HasFactval PFactInfo PValue

data HieraQueryType Source

The different kind of hiera queries

Constructors

Priority	standard hiera query
ArrayMerge	hiera_array
HashMerge	hiera_hash

type HieraQueryFunc m Source

Arguments

= Container Text	All the variables that Hiera can interpolate, the top level ones being prefixed with ::
-> Text	The query
-> HieraQueryType
-> m (Either PrettyError (Pair InterpreterWriter (Maybe PValue)))

The type of the Hiera API function

data RSearchExpression Source

Constructors

REqualitySearch !Text !PValue
RNonEqualitySearch !Text !PValue
RAndSearch !RSearchExpression !RSearchExpression
ROrSearch !RSearchExpression !RSearchExpression
RAlwaysTrue

Instances

Eq RSearchExpression
Pretty RSearchExpression

data ClassIncludeType Source

Constructors

IncludeStandard
IncludeResource

Instances

Eq ClassIncludeType

type Scope = Text Source

type Facts = Container PValue Source

data TopLevelType Source

This type is used to differenciate the distinct top level types that are exposed by the DSL.

Constructors

TopNode	This is for node entries.
TopDefine	This is for defines.
TopClass	This is for classes.
TopSpurious	This one is special. It represents top level statements that are not part of a node, define or class. It is defined as spurious because it is not what you are supposed to be. Also the caching system doesn't like them too much right now.

Instances

Eq TopLevelType
Generic TopLevelType
Pretty TopLevelType
Hashable TopLevelType
type Rep TopLevelType

data ResDefaults Source

Constructors

ResDefaults
Fields _defType :: !Text _defSrcScope :: !Text _defValues :: !(Container PValue) _defPos :: !PPosition

Instances

Pretty ResDefaults
HasResDefaults ResDefaults

data CurContainerDesc Source

Constructors

ContRoot	Contained at node or root level
ContClass !Text	Contained in a class
ContDefine !Text !Text !PPosition	Contained in a define, along with the position where this define was ... defined
ContImported !CurContainerDesc	Dummy container for imported resources, so that we know we must update the nodename
ContImport !Nodename !CurContainerDesc	This one is used when finalizing imported resources, and contains the current node name

Instances

Eq CurContainerDesc
Ord CurContainerDesc
Generic CurContainerDesc
Pretty CurContainerDesc
type Rep CurContainerDesc

data CurContainer Source

Constructors

CurContainer
Fields _cctype :: !CurContainerDesc _cctags :: !(HashSet Text)

Instances

Eq CurContainer
HasCurContainer CurContainer

data ResRefOverride Source

Constructors

ResRefOverride
Fields _rrid :: !RIdentifier _rrparams :: !(Container PValue) _rrpos :: !PPosition

Instances

Eq ResRefOverride
HasResRefOverride ResRefOverride

data ScopeInformation Source

Constructors

ScopeInformation
Fields _scopeVariables :: !(Container (Pair (Pair PValue PPosition) CurContainerDesc)) _scopeDefaults :: !(Container ResDefaults) _scopeExtraTags :: !(HashSet Text) _scopeContainer :: !CurContainer _scopeOverrides :: !(HashMap RIdentifier ResRefOverride) _scopeParent :: !(Maybe Text)

Instances

HasScopeInformation ScopeInformation

data InterpreterState Source

Constructors

InterpreterState
Fields _scopes :: !(Container ScopeInformation) _loadedClasses :: !(Container (Pair ClassIncludeType PPosition)) _definedResources :: !(HashMap RIdentifier Resource) _curScope :: ![CurContainerDesc] _curPos :: !PPosition _nestedDeclarations :: !(HashMap (TopLevelType, Text) Statement) _extraRelations :: ![LinkInformation] _resMod :: ![ResourceModifier]

Instances

HasInterpreterState InterpreterState
MonadStack InterpreterMonad
MonadThrowPos InterpreterMonad
MonadError PrettyError InterpreterMonad
MonadWriter InterpreterWriter InterpreterMonad

data InterpreterReader m Source

Constructors

InterpreterReader

Fields

_nativeTypes :: !(Container NativeTypeMethods)
_getStatement :: TopLevelType -> Text -> m (Either PrettyError Statement)
_computeTemplateFunction :: Either Text Text -> Text -> Container ScopeInformation -> m (Either PrettyError Text)
_pdbAPI :: PuppetDBAPI m
_externalFunctions :: Container ([PValue] -> InterpreterMonad PValue)
_thisNodename :: Text
_hieraQuery :: HieraQueryFunc m
_ioMethods :: ImpureMethods m
_ignoredModules :: HashSet Text: The set of modules we will not include or whatsoever.

Instances

HasInterpreterReader (InterpreterReader m) m

data ImpureMethods m Source

Constructors

ImpureMethods
Fields _imGetCurrentCallStack :: m [String] _imReadFile :: [Text] -> m (Either String Text) _imTraceEvent :: String -> m () _imCallLua :: MVar LuaState -> Text -> [PValue] -> m (Either String PValue)

Instances

HasImpureMethods (ImpureMethods m) m

data InterpreterInstr a where Source

Constructors

GetNativeTypes :: InterpreterInstr (Container NativeTypeMethods)
GetStatement :: TopLevelType -> Text -> InterpreterInstr Statement
ComputeTemplate :: Either Text Text -> Text -> Container ScopeInformation -> InterpreterInstr Text
ExternalFunction :: Text -> [PValue] -> InterpreterInstr PValue
GetNodeName :: InterpreterInstr Text
HieraQuery :: Container Text -> Text -> HieraQueryType -> InterpreterInstr (Pair InterpreterWriter (Maybe PValue))
GetCurrentCallStack :: InterpreterInstr [String]
IsIgnoredModule :: Text -> InterpreterInstr Bool
ErrorThrow :: PrettyError -> InterpreterInstr a
ErrorCatch :: InterpreterMonad a -> (PrettyError -> InterpreterMonad a) -> InterpreterInstr a
WriterTell :: InterpreterWriter -> InterpreterInstr ()
WriterPass :: InterpreterMonad (a, InterpreterWriter -> InterpreterWriter) -> InterpreterInstr a
WriterListen :: InterpreterMonad a -> InterpreterInstr (a, InterpreterWriter)
PDBInformation :: InterpreterInstr Doc
PDBReplaceCatalog :: WireCatalog -> InterpreterInstr ()
PDBReplaceFacts :: [(Nodename, Facts)] -> InterpreterInstr ()
PDBDeactivateNode :: Nodename -> InterpreterInstr ()
PDBGetFacts :: Query FactField -> InterpreterInstr [PFactInfo]
PDBGetResources :: Query ResourceField -> InterpreterInstr [Resource]
PDBGetNodes :: Query NodeField -> InterpreterInstr [PNodeInfo]
PDBCommitDB :: InterpreterInstr ()
PDBGetResourcesOfNode :: Nodename -> Query ResourceField -> InterpreterInstr [Resource]
ReadFile :: [Text] -> InterpreterInstr Text
TraceEvent :: String -> InterpreterInstr ()
CallLua :: MVar LuaState -> Text -> [PValue] -> InterpreterInstr PValue

Instances

MonadStack InterpreterMonad
MonadThrowPos InterpreterMonad
MonadError PrettyError InterpreterMonad
MonadWriter InterpreterWriter InterpreterMonad
Pretty (InterpreterInstr a)

newtype Warning Source

Constructors

Warning Doc

type InterpreterLog = Pair Priority Doc Source

type InterpreterWriter = [InterpreterLog] Source

warn :: (Monad m, MonadWriter InterpreterWriter m) => Doc -> m () Source

debug :: (Monad m, MonadWriter InterpreterWriter m) => Doc -> m () Source

logWriter :: (Monad m, MonadWriter InterpreterWriter m) => Priority -> Doc -> m () Source

type InterpreterMonad = ProgramT InterpreterInstr (State InterpreterState) Source

The main monad

data RIdentifier Source

Constructors

RIdentifier
Fields _itype :: !Text _iname :: !Text

data ModifierType Source

Constructors

ModifierCollector	For collectors, optional resources
ModifierMustMatch	For stuff like realize

Instances

Eq ModifierType

data OverrideType Source

Constructors

CantOverride	Overriding forbidden, will throw an error
Replace	Can silently replace
CantReplace	Silently ignore errors

data ResourceCollectorType Source

Constructors

RealizeVirtual
RealizeCollected
DontRealize

Instances

Eq ResourceCollectorType

data ResourceModifier Source

Constructors

ResourceModifier
Fields _rmResType :: !Text _rmModifierType :: !ModifierType _rmType :: !ResourceCollectorType _rmSearch :: !RSearchExpression _rmMutation :: !(Resource -> InterpreterMonad Resource) _rmDeclaration :: !PPosition

Instances

Pretty ResourceModifier
HasResourceModifier ResourceModifier

data LinkInformation Source

Constructors

LinkInformation
Fields _linksrc :: !RIdentifier _linkdst :: !RIdentifier _linkType :: !LinkType _linkPos :: !PPosition

Instances

Pretty LinkInformation
HasLinkInformation LinkInformation

type EdgeMap = HashMap RIdentifier [LinkInformation] Source

data Resource Source

This is a fully resolved resource that will be used in the FinalCatalog.

Constructors

Resource

Fields

_rid :: !RIdentifier: Resource name.
_ralias :: !(HashSet Text): All the resource aliases
_rattributes :: !(Container PValue): Resource parameters.
_rrelations :: !(HashMap RIdentifier (HashSet LinkType)): Resource relations.
_rscope :: ![CurContainerDesc]: Resource scope when it was defined, the real container will be the first item
_rvirtuality :: !Virtuality
_rtags :: !(HashSet Text)
_rpos :: !PPosition: Source code position of the resource definition.
_rnode :: !Nodename: The node were this resource was created, if remote

Instances

Eq Resource
ToJSON Resource
FromJSON Resource
Pretty Resource
HasResource Resource
HasWResources WireCatalog (Vector Resource)

type NativeTypeValidate = Resource -> Either PrettyError Resource Source

data NativeTypeMethods Source

Attributes (and providers) of a puppet resource type bundled with validation rules

Constructors

NativeTypeMethods
Fields _puppetValidate :: NativeTypeValidate _puppetFields :: HashSet Text

Instances

HasNativeTypeMethods NativeTypeMethods

type FinalCatalog = HashMap RIdentifier Resource Source

data DaemonMethods Source

Constructors

DaemonMethods

Fields

_dGetCatalog :: Text -> Facts -> IO (Either PrettyError (FinalCatalog, EdgeMap, FinalCatalog, [Resource])): The most important function, computing catalogs. Given a node name and a list of facts, it returns the result of the catalog compilation : either an error, or a tuple containing all the resources in this catalog, the dependency map, the exported resources, and a list of known resources, that might not be up to date, but are here for code coverage tests.
_dParserStats :: MStats
_dCatalogStats :: MStats
_dTemplateStats :: MStats

Instances

HasDaemonMethods DaemonMethods

data PuppetEdge Source

Constructors

PuppetEdge RIdentifier RIdentifier LinkType

Instances

ToJSON PuppetEdge
FromJSON PuppetEdge
HasWEdges WireCatalog (Vector PuppetEdge)

data WireCatalog Source

Wire format, see http://docs.puppetlabs.com/puppetdb/1.5/api/wire_format/catalog_format.html.

Constructors

WireCatalog
Fields _wirecatalogNodename :: !Nodename _wirecatalogWVersion :: !Text _wirecatalogWEdges :: !(Vector PuppetEdge) _wirecatalogWResources :: !(Vector Resource) _wirecatalogTransactionUUID :: !Text

data PFactInfo Source

Constructors

PFactInfo
Fields _pfactinfoNodename :: !Text _pfactinfoFactname :: !Text _pfactinfoFactval :: !PValue

Instances

ToJSON PFactInfo
FromJSON PFactInfo
HasNodename PFactInfo Text
HasFactval PFactInfo PValue
HasFactname PFactInfo Text

data PNodeInfo Source

Constructors

PNodeInfo
Fields _pnodeinfoNodename :: !Nodename _pnodeinfoDeactivated :: !Bool _pnodeinfoCatalogT :: !(Maybe UTCTime) _pnodeinfoFactsT :: !(Maybe UTCTime) _pnodeinfoReportT :: !(Maybe UTCTime)

data PuppetDBAPI m Source

Constructors

PuppetDBAPI

Fields

pdbInformation :: m Doc
replaceCatalog :: WireCatalog -> m (Either PrettyError ()): http://docs.puppetlabs.com/puppetdb/1.5/api/commands.html#replace-catalog-version-3
replaceFacts :: [(Nodename, Facts)] -> m (Either PrettyError ()): http://docs.puppetlabs.com/puppetdb/1.5/api/commands.html#replace-facts-version-1
deactivateNode :: Nodename -> m (Either PrettyError ()): http://docs.puppetlabs.com/puppetdb/1.5/api/commands.html#deactivate-node-version-1
getFacts :: Query FactField -> m (Either PrettyError [PFactInfo]): http://docs.puppetlabs.com/puppetdb/1.5/api/query/v3/facts.html#get-v3facts
getResources :: Query ResourceField -> m (Either PrettyError [Resource]): http://docs.puppetlabs.com/puppetdb/1.5/api/query/v3/resources.html#get-v3resources
getNodes :: Query NodeField -> m (Either PrettyError [PNodeInfo])
commitDB :: m (Either PrettyError ()): This is only here to tell the test PuppetDB to save its content to disk.
getResourcesOfNode :: Nodename -> Query ResourceField -> m (Either PrettyError [Resource])

data Query a Source

Pretty straightforward way to define the various PuppetDB queries

Constructors

QEqual a Text
QG a Integer
QL a Integer
QGE a Integer
QLE a Integer
QMatch Text Text
QAnd [Query a]
QOr [Query a]
QNot (Query a)
QEmpty

Instances

ToJSON a => ToJSON (Query a)
FromJSON a => FromJSON (Query a)

data FactField Source

Fields for the fact endpoint

Constructors

FName
FValue
FCertname

Instances

ToJSON FactField
FromJSON FactField

data NodeField Source

Fields for the node endpoint

Constructors

NName
NFact Text

Instances

ToJSON NodeField
FromJSON NodeField

data ResourceField Source

Fields for the resource endpoint

Constructors

RTag
RCertname
RParameter Text
RType
RTitle
RExported
RFile
RLine

Instances

ToJSON ResourceField
FromJSON ResourceField

class HasRIdentifier c where Source

Minimal complete definition

rIdentifier

Methods

rIdentifier :: Lens' c RIdentifier Source

iname :: Lens' c Text Source

itype :: Lens' c Text Source

Instances

HasRIdentifier RIdentifier

class HasResRefOverride c where Source

Minimal complete definition

resRefOverride

Methods

resRefOverride :: Lens' c ResRefOverride Source

rrid :: Lens' c RIdentifier Source

rrparams :: Lens' c (Container PValue) Source

rrpos :: Lens' c PPosition Source

Instances

HasResRefOverride ResRefOverride

class HasLinkInformation c where Source

Minimal complete definition

linkInformation

Methods

linkInformation :: Lens' c LinkInformation Source

linkPos :: Lens' c PPosition Source

linkType :: Lens' c LinkType Source

linkdst :: Lens' c RIdentifier Source

linksrc :: Lens' c RIdentifier Source

Instances

HasLinkInformation LinkInformation

class HasResDefaults c where Source

Minimal complete definition

resDefaults

Methods

resDefaults :: Lens' c ResDefaults Source

defPos :: Lens' c PPosition Source

defSrcScope :: Lens' c Text Source

defType :: Lens' c Text Source

defValues :: Lens' c (Container PValue) Source

Instances

HasResDefaults ResDefaults

class HasResourceModifier c where Source

Minimal complete definition

resourceModifier

Methods

resourceModifier :: Lens' c ResourceModifier Source

rmDeclaration :: Lens' c PPosition Source

rmModifierType :: Lens' c ModifierType Source

rmMutation :: Lens' c (Resource -> InterpreterMonad Resource) Source

rmResType :: Lens' c Text Source

rmSearch :: Lens' c RSearchExpression Source

rmType :: Lens' c ResourceCollectorType Source

Instances

HasResourceModifier ResourceModifier

class HasDaemonMethods c where Source

Minimal complete definition

daemonMethods

Methods

daemonMethods :: Lens' c DaemonMethods Source

dCatalogStats :: Lens' c MStats Source

dGetCatalog :: Lens' c (Text -> Facts -> IO (Either PrettyError (FinalCatalog, EdgeMap, FinalCatalog, [Resource]))) Source

dParserStats :: Lens' c MStats Source

dTemplateStats :: Lens' c MStats Source

Instances

HasDaemonMethods DaemonMethods

class HasNativeTypeMethods c where Source

Minimal complete definition

nativeTypeMethods

Methods

nativeTypeMethods :: Lens' c NativeTypeMethods Source

puppetFields :: Lens' c (HashSet Text) Source

puppetValidate :: Lens' c NativeTypeValidate Source

Instances

HasNativeTypeMethods NativeTypeMethods

class HasScopeInformation c where Source

Minimal complete definition

scopeInformation

Methods

scopeInformation :: Lens' c ScopeInformation Source

scopeContainer :: Lens' c CurContainer Source

scopeDefaults :: Lens' c (Container ResDefaults) Source

scopeExtraTags :: Lens' c (HashSet Text) Source

scopeOverrides :: Lens' c (HashMap RIdentifier ResRefOverride) Source

scopeParent :: Lens' c (Maybe Text) Source

scopeVariables :: Lens' c (Container (Pair (Pair PValue PPosition) CurContainerDesc)) Source

Instances

HasScopeInformation ScopeInformation

class HasResource c where Source

Minimal complete definition

resource

Methods

resource :: Lens' c Resource Source

ralias :: Lens' c (HashSet Text) Source

rattributes :: Lens' c (Container PValue) Source

rid :: Lens' c RIdentifier Source

rnode :: Lens' c Nodename Source

rpos :: Lens' c PPosition Source

rrelations :: Lens' c (HashMap RIdentifier (HashSet LinkType)) Source

rscope :: Lens' c [CurContainerDesc] Source

rtags :: Lens' c (HashSet Text) Source

rvirtuality :: Lens' c Virtuality Source

Instances

HasResource Resource

class HasInterpreterState c where Source

Minimal complete definition

interpreterState

Methods

interpreterState :: Lens' c InterpreterState Source

curPos :: Lens' c PPosition Source

curScope :: Lens' c [CurContainerDesc] Source

definedResources :: Lens' c (HashMap RIdentifier Resource) Source

extraRelations :: Lens' c [LinkInformation] Source

loadedClasses :: Lens' c (Container (Pair ClassIncludeType PPosition)) Source

nestedDeclarations :: Lens' c (HashMap (TopLevelType, Text) Statement) Source

resMod :: Lens' c [ResourceModifier] Source

scopes :: Lens' c (Container ScopeInformation) Source

Instances

HasInterpreterState InterpreterState

class HasInterpreterReader c m | c -> m where Source

Minimal complete definition

interpreterReader

Methods

interpreterReader :: Lens' c (InterpreterReader m) Source

computeTemplateFunction :: Lens' c (Either Text Text -> Text -> Container ScopeInformation -> m (Either PrettyError Text)) Source

externalFunctions :: Lens' c (Container ([PValue] -> InterpreterMonad PValue)) Source

getStatement :: Lens' c (TopLevelType -> Text -> m (Either PrettyError Statement)) Source

hieraQuery :: Lens' c (HieraQueryFunc m) Source

ignoredModules :: Lens' c (HashSet Text) Source

ioMethods :: Lens' c (ImpureMethods m) Source

nativeTypes :: Lens' c (Container NativeTypeMethods) Source

pdbAPI :: Lens' c (PuppetDBAPI m) Source

thisNodename :: Lens' c Text Source

Instances

HasInterpreterReader (InterpreterReader m) m

class HasImpureMethods c m | c -> m where Source

Minimal complete definition

impureMethods

Methods

impureMethods :: Lens' c (ImpureMethods m) Source

imCallLua :: Lens' c (MVar LuaState -> Text -> [PValue] -> m (Either String PValue)) Source

imGetCurrentCallStack :: Lens' c (m [String]) Source

imReadFile :: Lens' c ([Text] -> m (Either String Text)) Source

imTraceEvent :: Lens' c (String -> m ()) Source

Instances

HasImpureMethods (ImpureMethods m) m

class HasCurContainer c where Source

Minimal complete definition

curContainer

Methods

curContainer :: Lens' c CurContainer Source

cctags :: Lens' c (HashSet Text) Source

cctype :: Lens' c CurContainerDesc Source

Instances

HasCurContainer CurContainer

class HasNodename s a | s -> a where Source

Methods

nodename :: Lens' s a Source

Instances

HasNodename PNodeInfo Nodename
HasNodename PFactInfo Text
HasNodename WireCatalog Nodename

class HasTransactionUUID s a | s -> a where Source

Methods

transactionUUID :: Lens' s a Source

Instances

HasTransactionUUID WireCatalog Text

class HasWEdges s a | s -> a where Source

Methods

wEdges :: Lens' s a Source

Instances

HasWEdges WireCatalog (Vector PuppetEdge)

class HasWResources s a | s -> a where Source

Methods

wResources :: Lens' s a Source

Instances

HasWResources WireCatalog (Vector Resource)

class HasWVersion s a | s -> a where Source

Methods

wVersion :: Lens' s a Source

Instances

HasWVersion WireCatalog Text

class HasFactname s a | s -> a where Source

Methods

factname :: Lens' s a Source

Instances

HasFactname PFactInfo Text

class HasFactval s a | s -> a where Source

Methods

factval :: Lens' s a Source

Instances

HasFactval PFactInfo PValue

class HasCatalogT s a | s -> a where Source

Methods

catalogT :: Lens' s a Source

Instances

HasCatalogT PNodeInfo (Maybe UTCTime)

class HasDeactivated s a | s -> a where Source

Methods

deactivated :: Lens' s a Source

Instances

HasDeactivated PNodeInfo Bool

class HasFactsT s a | s -> a where Source

Methods

factsT :: Lens' s a Source

Instances

HasFactsT PNodeInfo (Maybe UTCTime)

class HasReportT s a | s -> a where Source

Methods

reportT :: Lens' s a Source

Instances

HasReportT PNodeInfo (Maybe UTCTime)

rcurcontainer :: Resource -> CurContainerDesc Source

class MonadThrowPos m where Source

Methods

throwPosError :: Doc -> m a Source

Instances

MonadThrowPos InterpreterMonad

class MonadStack m where Source

Methods

getCallStack :: m [String] Source

Instances

MonadStack InterpreterMonad

getCurContainer :: InterpreterMonad CurContainer Source

scopeName :: CurContainerDesc -> Text Source

getScopeName :: InterpreterMonad Text Source

getScope :: InterpreterMonad CurContainerDesc Source

eitherDocIO :: IO (Either PrettyError a) -> IO (Either PrettyError a) Source

interpreterIO :: (MonadThrowPos m, MonadIO m) => IO (Either PrettyError a) -> m a Source

mightFail :: (MonadError PrettyError m, MonadThrowPos m) => m (Either PrettyError a) -> m a Source

safeDecodeUtf8 :: ByteString -> InterpreterMonad Text Source

interpreterError :: InterpreterMonad (Either PrettyError a) -> InterpreterMonad a Source

resourceRelations :: Resource -> [(RIdentifier, LinkType)] Source

ifromList :: (Monoid m, At m, Foldable f) => f (Index m, IxValue m) -> m Source

helper for hashmap, in case we want another kind of map ..

ikeys :: (Eq k, Hashable k) => HashMap k v -> HashSet k Source

isingleton :: (Monoid b, At b) => Index b -> IxValue b -> b Source

ifromListWith :: (Monoid m, At m, Foldable f) => (IxValue m -> IxValue m -> IxValue m) -> f (Index m, IxValue m) -> m Source

iinsertWith :: At m => (IxValue m -> IxValue m -> IxValue m) -> Index m -> IxValue m -> m -> m Source

iunionWith :: (Hashable k, Eq k) => (v -> v -> v) -> HashMap k v -> HashMap k v -> HashMap k v Source

fnull :: (Eq x, Monoid x) => x -> Bool Source

rid2text :: RIdentifier -> Text Source

text2Scientific :: Text -> Maybe Scientific Source

initialState :: Facts -> InterpreterState Source

dummypos :: PPosition Source

Eq RIdentifier
Ord RIdentifier
Show RIdentifier
Generic RIdentifier
ToJSON RIdentifier
FromJSON RIdentifier
Pretty RIdentifier
Hashable RIdentifier
HasRIdentifier RIdentifier
type Rep RIdentifier

ToJSON WireCatalog
FromJSON WireCatalog
HasWVersion WireCatalog Text
HasTransactionUUID WireCatalog Text
HasNodename WireCatalog Nodename
HasWResources WireCatalog (Vector Resource)
HasWEdges WireCatalog (Vector PuppetEdge)

ToJSON PNodeInfo
FromJSON PNodeInfo
HasNodename PNodeInfo Nodename
HasDeactivated PNodeInfo Bool
HasReportT PNodeInfo (Maybe UTCTime)
HasFactsT PNodeInfo (Maybe UTCTime)
HasCatalogT PNodeInfo (Maybe UTCTime)