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

Index

allPathsInMisc
AlphaYaml
AndYaml
ArgAttributeYaml
ArgBindingYaml
ArgBytesYaml
ArgExpressionYaml
argsYaml
argToStrBytesFunctions
AtAlphaAst
AtDeltaAst
AtLabelAst
AtLambdaAst
AtMetaAst
AtPhiAst
AtRhoAst
AttributeAst
attrInBindingsCondition
BiDeltaAst
BiLambdaAst
BiMetaAst
BiMetaLambdaAst
BindingAst
BiTauAst
BiVoidAst
BtEmptyAst
BtManyAst
BtMetaAst
BtOneAst
btsToNumMisc
btsToStrMisc
btsToUnescapedStrMisc
buildAttributeBuilder
buildAttributeThrowsBuilder
buildBindingBuilder
buildBindingThrowsBuilder
buildBytesBuilder
buildBytesThrowsBuilder
BuildExceptionBuilder
buildExpressionBuilder
buildExpressionsBuilder
buildExpressionThrowsBuilder
buildTermFromFunctionFunctions
BuildTermFuncTerm
BytesAst
bytesToBtsMisc
CmpAttrYaml
CmpNumYaml
combineMatcher
combineManyMatcher
ComparableYaml
compareAttrsCondition
compileRegexp
ConditionYaml
contextualizeBuilder
CouldNotBuildAttributeBuilder
CouldNotBuildBindingBuilder
CouldNotBuildBytesBuilder
CouldNotBuildExpressionBuilder
countNodesAst
dataizeDataize
dataize'Dataize
DataizeContext 
1 (Type/Class)Dataize
2 (Data Constructor)Dataize
DataObjectMisc
DEBUGLogger
defaultScopeMatcher
ensuredFileMisc
EqYaml
ERRORLogger
ExApplicationAst
ExDispatchAst
ExFormationAst
ExGlobalAst
ExMetaAst
ExMetaTailAst
ExpressionAst
ExTerminationAst
ExThisAst
Extra 
1 (Type/Class)Yaml
2 (Data Constructor)Yaml
ExtraArgumentYaml
extractGroupsRegexp
functionYaml
InYaml
INFOLogger
isNFCondition
LengthYaml
LiteralYaml
logDebugLogger
logErrorLogger
logInfoLogger
LogLevelLogger
logWarningLogger
MatchYaml
matchRegexp
matchAttributeMatcher
matchBindingMatcher
matchBindingExpressionMatcher
matchBindingsMatcher
matchesAnyNormalizationRuleCondition
matchExpressionMatcher
matchExpressionDeepMatcher
matchProgramMatcher
matchProgramWithConditionCondition
meetConditionCondition
meetCondition'Condition
metaYaml
MetaValueMatcher
morphDataize
MvAttributeMatcher
MvBindingsMatcher
MvBytesMatcher
MvExpressionMatcher
MvFunctionMatcher
MvTailMatcher
nameYaml
NFYaml
NONELogger
normalizationRulesYaml
NotYaml
NumberYaml
numToBtsMisc
numToIntCondition
OrYaml
OrdinalYaml
parseAttributeParser
parseBindingParser
parseBytesParser
parseExpressionParser
parseExpressionThrowsParser
parseJSON'Yaml
parseProgramParser
parseProgramThrowsParser
parseXMIRXMIR
parseXMIRThrowsXMIR
patternYaml
prettyAttributePretty
prettyBindingPretty
prettyBytesPretty
prettyExpressionPretty
prettyExpression'Pretty
prettyExtraArgPretty
prettyProgramPretty
prettyProgram'Pretty
prettySubstPretty
prettySubstsPretty
prettySubsts'Pretty
PrintModePretty
printXMIRXMIR
Program 
1 (Type/Class)Ast
2 (Data Constructor)Ast
programToXMIRXMIR
replaceAllRegexp
replaceFirstRegexp
replaceProgramReplacer
replaceProgramThrowsReplacer
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
strToBtsMisc
Subst 
1 (Type/Class)Matcher
2 (Data Constructor)Matcher
substEmptyMatcher
substituteGroupsRegexp
substSingleMatcher
SWEETPretty
TaApplicationMatcher
TaDispatchMatcher
TailMatcher
tailExpressionsMatcher
TeAttributeTerm
TeBytesTerm
TeExpressionTerm
TermTerm
toNameXMIR
WARNINGLogger
whenYaml
where_Yaml
withVoidRhoMisc
XIYaml
XmirContext 
1 (Type/Class)XMIR
2 (Data Constructor)XMIR
xmirToPhiXMIR
yamlRuleYaml
_attrBuilder
_bdBuilder
_btsBuilder
_buildTerm 
1 (Function)Rewriter
2 (Function)Dataize
_exprBuilder
_maxDepth 
1 (Function)Rewriter
2 (Function)Dataize
_program 
1 (Function)Rewriter
2 (Function)Dataize
_substBuilder