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

Index - R

randomStringRandom
RCB 
1 (Type/Class)CST
2 (Data Constructor)CST
reachableMatcher
reachable'Matcher
readInputCLI.Helpers
readLambdasLambdas
recalledMorph
redexRule
ReduceContext 
1 (Type/Class)Morph
2 (Data Constructor)Morph
ReduceExceptionMorph
reductionDataize
ReductionFuncMorph
referencelessYaml
RefusalForks
refused 
1 (Function)Deps
2 (Function)Morph
Regex 
1 (Type/Class)Regexp
2 (Data Constructor)Regexp
regexExecutionFailedRegexp
rememberMorph
rememberedMorph
renameAtomsXMIR
RenderRender
renderRender
repeatedAST
replaceAllRegexp
replaceExpressionReplacer
replaceExpressionFastReplacer
ReplaceExpressionFuncReplacer
replaceFirstRegexp
ResidualDataize
resitedDeps
retainedMorph
revealXiSugar
rewriteRewriter
RewriteContext 
1 (Type/Class)Rewriter
2 (Data Constructor)Rewriter
rewriteParserCLI.Parsers
Rewritten 
1 (Type/Class)Rewriter
2 (Data Constructor)Lambdas
rewrittenLambdas
RewrittensRewriter
Rewrittens'Rewriter
rewrittensToLatexLaTeX
RHO 
1 (Type/Class)CST
2 (Data Constructor)CST
RHO'CST
RighthandForks
RSB 
1 (Type/Class)CST
2 (Data Constructor)CST
RSB'CST
Rule 
1 (Type/Class)Yaml
2 (Data Constructor)Yaml
RuleContext 
1 (Type/Class)Rule
2 (Data Constructor)Rule
runCLICLI
runCompileCLI.Runners
runDataizeCLI.Runners
runExplainCLI.Runners
runMatchCLI.Runners
runMergeCLI.Runners
runMorphCLI.Runners
runRewriteCLI.Runners