libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.

Index - P

PageModeUtil.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint, Util.PrettyPrint
PAlphaParallelCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PanicUtil.Exception
panicUtil.Exception, CSPM.TypeChecker.Monad
ParenCSPM.DataStructures.Syntax, CSPM
parenExpressionCSPM.DataStructures.Syntax, CSPM
parens 
1 (Function)Util.PrettyPrint
2 (Function)Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
parentFunctionIdentifierCSPM.Evaluator.Values, CSPM.Evaluator, CSPM
parentScopeIdentifier 
1 (Function)CSPM.Evaluator.Monad
2 (Function)CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
ParsedTypeAnnotationCSPM.DataStructures.Syntax, CSPM
parseErrorMessageCSPM.Parser.Exceptions
parseExpression 
1 (Function)CSPM.Parser
2 (Function)CSPM
parseExpression_CSPM.Parser.Parser
parseFile 
1 (Function)CSPM.Parser
2 (Function)CSPM
parseFile_CSPM.Parser.Parser
parseInteractiveStmt 
1 (Function)CSPM.Parser
2 (Function)CSPM
parseInteractiveStmt_CSPM.Parser.Parser
ParseMonadCSPM.Parser.Monad, CSPM.Parser
ParserState 
1 (Type/Class)CSPM.Parser.Monad
2 (Data Constructor)CSPM.Parser.Monad
parseStringAsFile 
1 (Function)CSPM.Parser
2 (Function)CSPM
PartialFunctionUtil.PartialFunctions
PAssertionCSPM.DataStructures.Syntax, CSPM
PatCSPM.DataStructures.Syntax, CSPM
PatBindCSPM.DataStructures.Syntax, CSPM
patternMatchesFailureMessageCSPM.Evaluator.Exceptions
patternMatchFailureMessageCSPM.Evaluator.Exceptions
PBinaryOpCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PCompDotCSPM.DataStructures.Syntax, CSPM
PCompListCSPM.DataStructures.Syntax, CSPM
PConcatCSPM.DataStructures.Syntax, CSPM
pConcatLeftPatCSPM.DataStructures.Syntax, CSPM
pConcatRightPatCSPM.DataStructures.Syntax, CSPM
PCSPMFileCSPM.DataStructures.Syntax, CSPM
PDataTypeClauseCSPM.DataStructures.Syntax, CSPM
PDeclCSPM.DataStructures.Syntax, CSPM
PDotAppCSPM.DataStructures.Syntax, CSPM
pDotItemsCSPM.DataStructures.Syntax, CSPM
pDotLeftPatCSPM.DataStructures.Syntax, CSPM
pDotOriginalpatternCSPM.DataStructures.Syntax, CSPM
pDotRightPatCSPM.DataStructures.Syntax, CSPM
pDoublePatLeftPatCSPM.DataStructures.Syntax, CSPM
pDoublePatRightPatCSPM.DataStructures.Syntax, CSPM
PDoublePatternCSPM.DataStructures.Syntax, CSPM
PExceptionCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PExpCSPM.DataStructures.Syntax, CSPM
PExternalChoiceCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PFieldCSPM.DataStructures.Syntax, CSPM
PGenParallelCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PHideCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PInteractiveStmtCSPM.DataStructures.Syntax, CSPM
PInterleaveCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PInternalChoiceCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PInterruptCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PLinkParallelCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PListCSPM.DataStructures.Syntax, CSPM
pListItemsCSPM.DataStructures.Syntax, CSPM
pListMiddleEndItemsCSPM.DataStructures.Syntax, CSPM
pListOriginalPatternCSPM.DataStructures.Syntax, CSPM
pListStartItemsCSPM.DataStructures.Syntax, CSPM
PLitCSPM.DataStructures.Syntax, CSPM
pLitLiteralCSPM.DataStructures.Syntax, CSPM
PlusCSPM.DataStructures.Syntax, CSPM
PMatchCSPM.DataStructures.Syntax, CSPM
POpCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
POperatorCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
popLayerUtil.HierarchicalMap
PowersetCSPM.Evaluator.ValueSet, CSPM.Evaluator
powersetCSPM.Evaluator.ValueSet, CSPM.Evaluator
PParenCSPM.DataStructures.Syntax, CSPM
pParenPatternCSPM.DataStructures.Syntax, CSPM
PPatCSPM.DataStructures.Syntax, CSPM
ppBinaryOpUtil.MonadicPrettyPrint
ppBinaryOp'Util.MonadicPrettyPrint
PPrefixCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PProcCallCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PrecedenceUtil.Precedence
precedenceUtil.Precedence
PrefixCSPM.DataStructures.Syntax, CSPM
prefixChannelCSPM.DataStructures.Syntax, CSPM
prefixFieldsCSPM.DataStructures.Syntax, CSPM
prefixProcessCSPM.DataStructures.Syntax, CSPM
PRenameCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
prettyPrint 
1 (Function)Util.MonadicPrettyPrint
2 (Function)Util.PrettyPrint, CSPM.PrettyPrinter
PrettyPrintableUtil.PrettyPrint
prettyPrintAllRequiredProcessesCSPM.Evaluator.ValuePrettyPrinter
prettyPrintBriefUtil.MonadicPrettyPrint
prettyPrintBriefPrecUtil.MonadicPrettyPrint
prettyPrintMatchCSPM.PrettyPrinter
prettyPrintPrecUtil.MonadicPrettyPrint
prettyPrintTypesCSPM.DataStructures.Types, CSPM
previousCharCSPM.Parser.Monad
printCallStackCSPM.Evaluator.Exceptions
PrintStatementCSPM.DataStructures.Syntax, CSPM
printStatementCSPM.DataStructures.Syntax, CSPM
PrioritiseCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
prioritiseEmptyListMessageCSPM.Evaluator.Exceptions
ProcCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
ProcessesCSPM.Evaluator.ValueSet, CSPM.Evaluator
ProcName 
1 (Type/Class)CSPM.Evaluator.ProcessValues, CSPM.Evaluator
2 (Data Constructor)CSPM.Evaluator.ProcessValues, CSPM.Evaluator
procNameCSPM.Evaluator.Values, CSPM.Evaluator, CSPM
ProcOperatorCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
productionsCSPM.Evaluator.Dot
productionsSetCSPM.Evaluator.Dot
profilerActiveCSPM.Evaluator.Profiler
ProfilerOptions 
1 (Type/Class)CSPM.Evaluator.Profiler, CSPM.Evaluator, CSPM
2 (Data Constructor)CSPM.Evaluator.Profiler, CSPM.Evaluator, CSPM
profilerOptionsCSPM.Evaluator, CSPM
ProfilerStateCSPM.Evaluator.Profiler
profilerStateCSPM.Evaluator.Monad
ProfilingDataCSPM.Evaluator.Profiler, CSPM.Evaluator
profilingData 
1 (Function)CSPM.Evaluator
2 (Function)CSPM
PropertyCheckCSPM.DataStructures.Syntax, CSPM
propertyCheckModelCSPM.DataStructures.Syntax, CSPM
propertyCheckProcessCSPM.DataStructures.Syntax, CSPM
propertyCheckPropertyCSPM.DataStructures.Syntax, CSPM
PSequentialCompCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PSetCSPM.DataStructures.Syntax, CSPM
pSetItemsCSPM.DataStructures.Syntax, CSPM
PSlidingChoiceCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PStmtCSPM.DataStructures.Syntax, CSPM
PStrUtil.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint, Util.PrettyPrint
PSTypeCSPM.DataStructures.Syntax, CSPM
PSTypeConstraintCSPM.DataStructures.Syntax, CSPM
PSTypeSchemeCSPM.DataStructures.Syntax, CSPM
PSymbolTableCSPM.DataStructures.Types, CSPM
PSynchronisingExternalChoiceCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
PSynchronisingInterruptCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
ptext 
1 (Function)Util.PrettyPrint
2 (Function)Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
PTupleCSPM.DataStructures.Syntax, CSPM
pTupleItemsCSPM.DataStructures.Syntax, CSPM
PTypeCSPM.DataStructures.Types, CSPM
PUnaryOpCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
punctuate 
1 (Function)Util.PrettyPrint
2 (Function)Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
punctuateFront 
1 (Function)Util.MonadicPrettyPrint
2 (Function)Util.PrettyPrint
pushFileCSPM.Parser.Monad
pushFileContentsCSPM.Parser.Monad
PVarCSPM.DataStructures.Syntax, CSPM
pVarIdentityCSPM.DataStructures.Syntax, CSPM
PWildCardCSPM.DataStructures.Syntax, CSPM