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

Index - E

ECST
E'CST
emittedEmit
EMPTYCST
emptyLambdasLambdas
emptyNestingDeps
emptyProgressDeps
emptyProtocolDeps
emptyStateMorph
EmptySubstsOnMatchCLI.Types
EncodingEncoding
endedMorph
endEvalDeps
endEvalXmlDeps
EndingLambdas
Engine 
1 (Type/Class)Engine
2 (Data Constructor)Engine
engineCLI.Helpers
ensuredFileFiles
enterMorph
enteringMorph
EOL 
1 (Type/Class)CST
2 (Data Constructor)CST
EqYaml
EQUAL 
1 (Type/Class)CST
2 (Data Constructor)CST
ERRORLogger
escapeXMLXMIR
escapeXMLTextXMIR
EvaluatedLambdas
EvaluatesInference
Evaluation 
1 (Type/Class)Deps
2 (Data Constructor)Deps
evaluationEvaluate
EvaluationFuncMorph
EvAnswerDeps
EvAppliedDeps
EvBoundDeps
EvBoxedDeps
EvBuiltDeps
EvCastDeps
EvDataDeps
EvDeferredDeps
EvDeltaDeps
EvDivergedDeps
everyRewriter
EvFabricatedDeps
EvFiringDeps
EvHeaderDeps
EvJoinedDeps
EvLoopedDeps
EvManufacturedDeps
EvMintedDeps
EvMorphedDeps
EvReshapedDeps
EvRunDeps
EvSpentDeps
EvStallDeps
EvStartedDeps
EvStarvedDeps
EvStuckDeps
EvStuckOnDeps
EvSymbolizedDeps
EvTakenDeps
EvTermDeps
EvTimeoutDeps
EvUndressedDeps
EvUnripeDeps
EvWorldDeps
ExAnyAST
ExApplicationAST
ExBytesAST
exceedsUpperBoundMust
EXCLCST
EXCLAMATIONCST
excludeFilter
exclude'Filter
ExDispatchAST
execBuildTermMorph
execFunctionsFunctions
ExFormationAST
ExMetaAST
exMetaHeadCST
ExPhiAgainAST
ExPhiMeetAST
expiredMorph
explainContextualizeRulesLaTeX
explainDataizeRulesLaTeX
explainMorphRulesLaTeX
explainParserCLI.Parsers
explainRulesLaTeX
EXPRESSIONCST
ExpressionAST
expressionToCSTCST
expressionToCSTFromCST
expressionToLaTeXLaTeX
expressionToXMIRXMIR
ExRootAST
ExTerminationAST
EXTRA 
1 (Type/Class)CST
2 (Data Constructor)CST
Extra 
1 (Type/Class)Yaml
2 (Data Constructor)Yaml
ExtraArgumentYaml
extractGroupsRegexp
extractGroupsWithRegexp
extraToCSTCST
EXTRA_ARGCST
ExXiAST
EX_APPLICATIONCST
EX_ATTRCST
EX_BYTESCST
EX_DISPATCHCST
EX_FORMATIONCST
EX_GLOBALCST
EX_METACST
EX_NONFINITECST
EX_NUMBERCST
EX_PHI_AGAINCST
EX_PHI_MEETCST
EX_SINGLECST
EX_STRINGCST
EX_TERMINATIONCST
EX_XICST