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

Index

allPathsInMisc
AlphaYaml
AndYaml
ArgAttributeYaml
ArgBindingYaml
ArgBytesYaml
ArgExpressionYaml
argsYaml
ASCIIPretty
AtAlphaAst
AtDeltaAst
AtLabelAst
AtLambdaAst
AtMetaAst
AtPhiAst
AtRhoAst
AttributeAst
attributesFromBindingsMisc
BiDeltaAst
BiLambdaAst
BiMetaAst
BiMetaLambdaAst
BindingAst
BiTauAst
BiVoidAst
BtEmptyAst
BtManyAst
BtMetaAst
BtOneAst
btsToNumMisc
btsToStrMisc
btsToUnescapedStrMisc
buildAttributeBuilder
buildAttributeThrowsBuilder
buildBindingBuilder
buildBindingThrowsBuilder
buildBytesBuilder
buildBytesThrowsBuilder
BuildExceptionBuilder
buildExpressionBuilder
buildExpressionsBuilder
buildExpressionThrowsBuilder
buildTermFunctions
BuildTermFuncTerm
BuildTermMethodTerm
BytesAst
bytesToBtsMisc
CmpAttrYaml
CmpExprYaml
CmpNumYaml
combineMatcher
combineManyMatcher
ComparableYaml
compileRegexp
ConditionYaml
contextualizeBuilder
CouldNotBuildAttributeBuilder
CouldNotBuildBindingBuilder
CouldNotBuildBytesBuilder
CouldNotBuildExpressionBuilder
countNodesAst
dataizeDataize
dataize'Dataize
DataizeContext 
1 (Type/Class)Dataize
2 (Data Constructor)Dataize
DataNumberMisc
DataObjectMisc
DataStringMisc
DEBUGLogger
defaultScopeMatcher
defaultXmirContextXMIR
descriptionYaml
EncodingPretty
ensuredFileMisc
EqYaml
ERRORLogger
ExApplicationAst
exceedsUpperBoundMust
ExDispatchAst
ExFormationAst
ExGlobalAst
ExMetaAst
ExMetaTailAst
explainRulesLaTeX
ExpressionAst
ExTerminationAst
ExThisAst
Extra 
1 (Type/Class)Yaml
2 (Data Constructor)Yaml
ExtraArgumentYaml
extractGroupsRegexp
functionYaml
havingYaml
InYaml
INFOLogger
inRangeMust
isNFRule
LengthYaml
LiteralYaml
logDebugLogger
logErrorLogger
logInfoLogger
LogLevelLogger
logWarningLogger
matchRegexp
matchAttributeMatcher
matchBindingMatcher
matchBindingExpressionMatcher
matchBindingsMatcher
MatchesYaml
matchExpressionMatcher
matchExpressionDeepMatcher
matchProgramMatcher
matchProgramWithRuleRule
meetConditionRule
metaYaml
MetaValueMatcher
morphDataize
MtDisabledMust
MtExactMust
MtRangeMust
MustMust
MvAttributeMatcher
MvBindingsMatcher
MvBytesMatcher
MvExpressionMatcher
MvFunctionMatcher
MvTailMatcher
nameYaml
NFYaml
NONELogger
normalizationRulesYaml
NotYaml
NumberYaml
numToBtsMisc
OrYaml
OrdinalYaml
parseAttributeParser
parseAttributeThrowsParser
parseBindingParser
parseBytesParser
parseExpressionParser
parseExpressionThrowsParser
parseJSON'Yaml
parseNumberParser
parseNumberThrowsParser
parseProgramParser
parseProgramThrowsParser
parseXMIRXMIR
parseXMIRThrowsXMIR
PartOfYaml
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
programToLaTeXLaTeX
programToXMIRXMIR
randomStringRandom
replaceAllRegexp
replaceFirstRegexp
replaceProgramReplacer
ReplaceProgramContext 
1 (Type/Class)Replacer
2 (Data Constructor)Replacer
replaceProgramFastReplacer
replaceProgramFastThrowsReplacer
ReplaceProgramFuncReplacer
replaceProgramThrowsReplacer
ReplaceProgramThrowsFuncReplacer
resultYaml
rewriteRewriter
rewrite'Rewriter
RewriteContext 
1 (Type/Class)Rewriter
2 (Data Constructor)Rewriter
Rule 
1 (Type/Class)Yaml
2 (Data Constructor)Yaml
RuleContext 
1 (Type/Class)Rule
2 (Data Constructor)Rule
runCLICLI
SALTYPretty
setLogLevelLogger
shuffleMisc
strToBtsMisc
Subst 
1 (Type/Class)Matcher
2 (Data Constructor)Matcher
substEmptyMatcher
substituteGroupsRegexp
substSingleMatcher
SWEETPretty
TaApplicationMatcher
TaDispatchMatcher
TailMatcher
tailExpressionsMatcher
TeAttributeTerm
TeBindingsTerm
TeBytesTerm
TeExpressionTerm
TermTerm
toDoubleMisc
toNameXMIR
UNICODEPretty
uniqueBindingsMisc
uniqueBindings'Misc
validateYamlObjectMisc
WARNINGLogger
whenYaml
where_Yaml
withVoidRhoMisc
XIYaml
XmirContext 
1 (Type/Class)XMIR
2 (Data Constructor)XMIR
xmirToPhiXMIR
yamlRuleYaml
_attrBuilder
_bdBuilder
_btsBuilder
_buildTerm 
1 (Function)Rule
2 (Function)Rewriter
3 (Function)Dataize
_depthSensitive 
1 (Function)Rewriter
2 (Function)Dataize
_exprBuilder
_maxCycles 
1 (Function)Rewriter
2 (Function)Dataize
_maxDepth 
1 (Function)Replacer
2 (Function)Rewriter
3 (Function)Dataize
_msgBuilder
_mustRewriter
_program 
1 (Function)Replacer
2 (Function)Rule
3 (Function)Rewriter
4 (Function)Dataize