phino-0.0.0.17: Command-Line Manipulator of 𝜑-Calculus Expressions

Index

allPathsInMisc
AlphaYaml
AndYaml
ArgAttributeYaml
ArgBindingYaml
ArgExpressionYaml
argsYaml
AtAlphaAst
AtDeltaAst
AtLabelAst
AtLambdaAst
AtMetaAst
AtPhiAst
AtRhoAst
AttributeAst
attrInBindingsCondition
BiDeltaAst
BiLambdaAst
BiMetaAst
BiMetaDeltaAst
BiMetaLambdaAst
BindingAst
BiTauAst
BiVoidAst
buildAttributeBuilder
buildBindingBuilder
buildExpressionBuilder
buildExpressionsBuilder
buildTermFromFunctionBuilder
CmpAttrYaml
CmpNumYaml
combineMatcher
combineManyMatcher
ComparableYaml
compareAttrsCondition
ConditionYaml
contextualizeBuilder
dataizeDataize
dataize'Dataize
DataizeContext 
1 (Type/Class)Dataize
2 (Data Constructor)Dataize
DataObjectMisc
DEBUGLogger
defaultDataizeContextDataize
defaultRewriteContextRewriter
defaultScopeMatcher
ensuredFileMisc
EqYaml
ERRORLogger
ExApplicationAst
ExDispatchAst
ExFormationAst
ExGlobalAst
ExMetaAst
ExMetaTailAst
ExpressionAst
ExTerminationAst
ExThisAst
Extra 
1 (Type/Class)Yaml
2 (Data Constructor)Yaml
ExtraArgumentYaml
functionYaml
hexToNumMisc
hexToStrMisc
InYaml
INFOLogger
isNFCondition
LengthYaml
LiteralYaml
logDebugLogger
logErrorLogger
logInfoLogger
LogLevelLogger
logWarningLogger
matchAttributeMatcher
matchBindingMatcher
matchBindingExpressionMatcher
matchBindingsMatcher
matchesAnyNormalizationRuleCondition
matchExpressionMatcher
matchExpressionDeepMatcher
matchProgramMatcher
matchProgramWithConditionCondition
maxDepth 
1 (Function)Rewriter
2 (Function)Dataize
meetConditionCondition
meetCondition'Condition
metaYaml
MetaValueMatcher
morphDataize
MvAttributeMatcher
MvBindingsMatcher
MvBytesMatcher
MvExpressionMatcher
MvFunctionMatcher
MvTailMatcher
nameYaml
NFYaml
NONELogger
normalizationRulesYaml
NotYaml
NumberYaml
numToHexMisc
numToIntCondition
OrYaml
OrdinalYaml
parseAttributeParser
parseBindingParser
parseExpressionParser
parseExpressionThrowsParser
parseJSON'Yaml
parseProgramParser
parseProgramThrowsParser
parseXMIRXMIR
parseXMIRThrowsXMIR
patternYaml
prettyAttributePretty
prettyBindingPretty
prettyExpressionPretty
prettyProgramPretty
prettyProgram'Pretty
prettySubstsPretty
prettySubsts'Pretty
PrintModePretty
printXMIRXMIR
Program 
1 (Type/Class)Ast
2 (Data Constructor)Ast
program 
1 (Function)Rewriter
2 (Function)Dataize
programToXMIRXMIR
replaceProgramReplacer
resultYaml
rewriteRewriter
rewrite'Rewriter
RewriteContext 
1 (Type/Class)Rewriter
2 (Data Constructor)Rewriter
Rule 
1 (Type/Class)Yaml
2 (Data Constructor)Yaml
runCLICLI
SALTYPretty
setLogLevelLogger
shuffleMisc
strToHexMisc
Subst 
1 (Type/Class)Matcher
2 (Data Constructor)Matcher
substEmptyMatcher
substSingleMatcher
SWEETPretty
TaApplicationMatcher
TaDispatchMatcher
TailMatcher
tailExpressionsMatcher
TeAttributeBuilder
TeExpressionBuilder
TermBuilder
toNameXMIR
WARNINGLogger
whenYaml
where_Yaml
withVoidRhoMisc
XIYaml
XmirContext 
1 (Type/Class)XMIR
2 (Data Constructor)XMIR
xmirToPhiXMIR
yamlRuleYaml