$sel:absent_attrs:IsNF | Language.EO.Phi.Rules.Yaml |
$sel:applications:Metrics | Language.EO.Phi.Metrics.Data |
$sel:apply_in_abstract_subformations:IsNF | Language.EO.Phi.Rules.Yaml |
$sel:apply_in_subformations:IsNF | Language.EO.Phi.Rules.Yaml |
$sel:atoms:TestSet | Language.EO.Phi.Pipeline.Config |
$sel:attributeInitial:ReportRow | Language.EO.Phi.Report.Data |
$sel:attributeMetas:Subst | Language.EO.Phi.Rules.Yaml |
$sel:attributeNormalized:ReportRow | Language.EO.Phi.Report.Data |
$sel:attrs:AttrsInBindings | Language.EO.Phi.Rules.Yaml |
$sel:bindings:AttrsInBindings | Language.EO.Phi.Rules.Yaml |
$sel:bindingsByPathMetrics:ObjectMetrics | Language.EO.Phi.Metrics.Data |
$sel:bindingsByPathMetrics:ProgramMetrics | Language.EO.Phi.Metrics.Data |
$sel:bindingsMetas:Subst | Language.EO.Phi.Rules.Yaml |
$sel:bindingsMetrics:BindingsByPathMetrics | Language.EO.Phi.Metrics.Data |
$sel:bindingsPathInitial:ReportRow | Language.EO.Phi.Report.Data |
$sel:bindingsPathInitial:TestSetPhi | Language.EO.Phi.Pipeline.Config |
$sel:bindingsPathNormalized:ReportRow | Language.EO.Phi.Report.Data |
$sel:bindingsPathNormalized:TestSetPhi | Language.EO.Phi.Pipeline.Config |
$sel:bindingsRows:ProgramReport | Language.EO.Phi.Report.Data |
$sel:bytesMetas:Subst | Language.EO.Phi.Rules.Yaml |
$sel:change:MetricsChange'Good | Language.EO.Phi.Pipeline.Config |
$sel:context:Rule | Language.EO.Phi.Rules.Yaml |
$sel:contextMetas:Subst | Language.EO.Phi.Rules.Yaml |
$sel:contextObject:OneHoleContext | Language.EO.Phi.Rules.Yaml |
$sel:css:ReportInput | Language.EO.Phi.Pipeline.Config |
$sel:current_attribute:RuleContext | Language.EO.Phi.Rules.Yaml |
$sel:current_object:RuleContext | Language.EO.Phi.Rules.Yaml |
$sel:dataless:Metrics | Language.EO.Phi.Metrics.Data |
$sel:description:Rule | Language.EO.Phi.Rules.Yaml |
$sel:disable:AtomsSet | Language.EO.Phi.Pipeline.Config |
$sel:dispatches:Metrics | Language.EO.Phi.Metrics.Data |
$sel:enable:AtomsSet | Language.EO.Phi.Pipeline.Config |
$sel:enable:TestSet | Language.EO.Phi.Pipeline.Config |
$sel:eo:TestSet | Language.EO.Phi.Pipeline.Config |
$sel:exclude:TestSetEO | Language.EO.Phi.Pipeline.Config |
$sel:expectedImprovedProgramsPercentage:ReportConfig | Language.EO.Phi.Pipeline.Config |
$sel:expectedMetricsChange:ReportConfig | Language.EO.Phi.Pipeline.Config |
$sel:file:Pos | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:fileInitial:ReportRow | Language.EO.Phi.Report.Data |
$sel:fileNormalized:ReportRow | Language.EO.Phi.Report.Data |
$sel:filtered:TestSetEO | Language.EO.Phi.Pipeline.Config |
$sel:forall:Rule | Language.EO.Phi.Rules.Yaml |
$sel:formations:Metrics | Language.EO.Phi.Metrics.Data |
$sel:fresh:Rule | Language.EO.Phi.Rules.Yaml |
$sel:global_object:RuleContext | Language.EO.Phi.Rules.Yaml |
$sel:holeMetaId:OneHoleContext | Language.EO.Phi.Rules.Yaml |
$sel:html:ReportOutput | Language.EO.Phi.Pipeline.Config |
$sel:include:TestSetEO | Language.EO.Phi.Pipeline.Config |
$sel:initial:TestSetPhi | Language.EO.Phi.Pipeline.Config |
$sel:input:ReportConfig | Language.EO.Phi.Pipeline.Config |
$sel:input:RuleTest | Language.EO.Phi.Rules.Yaml |
$sel:js:ReportInput | Language.EO.Phi.Pipeline.Config |
$sel:json:ReportOutput | Language.EO.Phi.Pipeline.Config |
$sel:license:Test | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:line:Pos | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:markdown:ReportOutput | Language.EO.Phi.Pipeline.Config |
$sel:meta:Test | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:meta:TestContent | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:metrics:BindingMetrics | Language.EO.Phi.Metrics.Data |
$sel:metricsChange:ReportRow | Language.EO.Phi.Report.Data |
$sel:metricsInitial:ReportRow | Language.EO.Phi.Report.Data |
$sel:metricsNormalized:ReportRow | Language.EO.Phi.Report.Data |
$sel:name:BindingMetrics | Language.EO.Phi.Metrics.Data |
$sel:name:FreshMetaId | Language.EO.Phi.Rules.Yaml |
$sel:name:Program | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:name:Rule | Language.EO.Phi.Rules.Yaml |
$sel:name:RuleTest | Language.EO.Phi.Rules.Yaml |
$sel:nf:IsNF | Language.EO.Phi.Rules.Yaml |
$sel:nf_inside_formation:IsNF | Language.EO.Phi.Rules.Yaml |
$sel:normalized:TestSetPhi | Language.EO.Phi.Pipeline.Config |
$sel:not_equal:IsNF | Language.EO.Phi.Rules.Yaml |
$sel:objectMetas:Subst | Language.EO.Phi.Rules.Yaml |
$sel:options:RuleTest | Language.EO.Phi.Rules.Yaml |
$sel:original:TestSetEO | Language.EO.Phi.Pipeline.Config |
$sel:output:ReportConfig | Language.EO.Phi.Pipeline.Config |
$sel:output:RuleTest | Language.EO.Phi.Rules.Yaml |
$sel:path:BindingsByPathMetrics | Language.EO.Phi.Metrics.Data |
$sel:pattern:Rule | Language.EO.Phi.Rules.Yaml |
$sel:percent:Percent | Language.EO.Phi.Pipeline.Config |
$sel:phi:TestSet | Language.EO.Phi.Pipeline.Config |
$sel:prefix:FreshMetaId | Language.EO.Phi.Rules.Yaml |
$sel:present_attrs:IsNF | Language.EO.Phi.Rules.Yaml |
$sel:programMetrics:ProgramMetrics | Language.EO.Phi.Metrics.Data |
$sel:programReports:Report | Language.EO.Phi.Report.Data |
$sel:programRow:ProgramReport | Language.EO.Phi.Report.Data |
$sel:programs:Test | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:programs:TestContent | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:report:PipelineConfig | Language.EO.Phi.Pipeline.Config |
$sel:result:Rule | Language.EO.Phi.Rules.Yaml |
$sel:rules:RuleSet | Language.EO.Phi.Rules.Yaml |
$sel:source:Program | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:source:Test | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:source:TestContent | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:take_one:TakeOne | Language.EO.Phi.Rules.Yaml |
$sel:tests:Rule | Language.EO.Phi.Rules.Yaml |
$sel:testSets:PipelineConfig | Language.EO.Phi.Pipeline.Config |
$sel:text:Program | Language.EO.Phi.Pipeline.EOTests.Data |
$sel:thisObjectMetrics:ObjectMetrics | Language.EO.Phi.Metrics.Data |
$sel:title:RuleSet | Language.EO.Phi.Rules.Yaml |
$sel:totalRow:Report | Language.EO.Phi.Report.Data |
$sel:when:Rule | Language.EO.Phi.Rules.Yaml |
$sel:yaml:TestSetEO | Language.EO.Phi.Pipeline.Config |
AbsentAttrs | Language.EO.Phi.Rules.Yaml |
ActionApplication | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
ActionDispatch | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
AlexA# | Language.EO.Phi.Syntax.Lex |
AlexAcc | |
1 (Type/Class) | Language.EO.Phi.Syntax.Lex |
2 (Data Constructor) | Language.EO.Phi.Syntax.Lex |
AlexAccNone | Language.EO.Phi.Syntax.Lex |
AlexAccSkip | Language.EO.Phi.Syntax.Lex |
AlexAddr | Language.EO.Phi.Syntax.Lex |
AlexEOF | Language.EO.Phi.Syntax.Lex |
AlexError | Language.EO.Phi.Syntax.Lex |
alexGetByte | Language.EO.Phi.Syntax.Lex |
alexIndexInt16OffAddr | Language.EO.Phi.Syntax.Lex |
alexIndexInt32OffAddr | Language.EO.Phi.Syntax.Lex |
AlexInput | Language.EO.Phi.Syntax.Lex |
alexInputPrevChar | Language.EO.Phi.Syntax.Lex |
AlexLastAcc | |
1 (Type/Class) | Language.EO.Phi.Syntax.Lex |
2 (Data Constructor) | Language.EO.Phi.Syntax.Lex |
AlexLastSkip | Language.EO.Phi.Syntax.Lex |
alexMove | Language.EO.Phi.Syntax.Lex |
AlexNone | Language.EO.Phi.Syntax.Lex |
AlexReturn | Language.EO.Phi.Syntax.Lex |
alexScan | Language.EO.Phi.Syntax.Lex |
alexScanUser | Language.EO.Phi.Syntax.Lex |
AlexSkip | Language.EO.Phi.Syntax.Lex |
alexStartPos | Language.EO.Phi.Syntax.Lex |
AlexToken | Language.EO.Phi.Syntax.Lex |
alex_accept | Language.EO.Phi.Syntax.Lex |
alex_actions | Language.EO.Phi.Syntax.Lex |
alex_action_10 | Language.EO.Phi.Syntax.Lex |
alex_action_11 | Language.EO.Phi.Syntax.Lex |
alex_action_12 | Language.EO.Phi.Syntax.Lex |
alex_action_13 | Language.EO.Phi.Syntax.Lex |
alex_action_14 | Language.EO.Phi.Syntax.Lex |
alex_action_3 | Language.EO.Phi.Syntax.Lex |
alex_action_4 | Language.EO.Phi.Syntax.Lex |
alex_action_5 | Language.EO.Phi.Syntax.Lex |
alex_action_6 | Language.EO.Phi.Syntax.Lex |
alex_action_7 | Language.EO.Phi.Syntax.Lex |
alex_action_8 | Language.EO.Phi.Syntax.Lex |
alex_action_9 | Language.EO.Phi.Syntax.Lex |
alex_base | Language.EO.Phi.Syntax.Lex |
alex_check | Language.EO.Phi.Syntax.Lex |
alex_deflt | Language.EO.Phi.Syntax.Lex |
alex_scan_tkn | Language.EO.Phi.Syntax.Lex |
alex_table | Language.EO.Phi.Syntax.Lex |
alex_tab_size | Language.EO.Phi.Syntax.Lex |
allRules | Language.EO.Phi.Rules.Common |
Alpha | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
AlphaBinding | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
AlphaIndex | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
Application | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
ApplicationLimits | |
1 (Type/Class) | Language.EO.Phi.Rules.Common |
2 (Data Constructor) | Language.EO.Phi.Rules.Common |
ApplyInAbstractSubformations | Language.EO.Phi.Rules.Yaml |
ApplyInSubformations | Language.EO.Phi.Rules.Yaml |
applyOneRule | Language.EO.Phi.Rules.Common |
applyOneRuleAtRoot | Language.EO.Phi.Rules.Common |
applyRules | Language.EO.Phi.Rules.Common |
applyRulesChain | Language.EO.Phi.Rules.Common |
applyRulesChain' | Language.EO.Phi.Rules.Common |
applyRulesChainWith | Language.EO.Phi.Rules.Common |
applyRulesChainWith' | Language.EO.Phi.Rules.Common |
applyRulesInsideOut | Language.EO.Phi.Rules.Fast |
applyRulesWith | Language.EO.Phi.Rules.Common |
applySubst | Language.EO.Phi.Rules.Yaml |
applySubstAttr | Language.EO.Phi.Rules.Yaml |
applySubstBinding | Language.EO.Phi.Rules.Yaml |
applySubstBindings | Language.EO.Phi.Rules.Yaml |
Atoms | Language.EO.Phi.Rules.Common |
AtomsSet | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
attrHasMetavars | Language.EO.Phi.Rules.Yaml |
Attribute | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
attrLabelIds | Language.EO.Phi.Rules.Yaml |
attrMetaIds | Language.EO.Phi.Rules.Yaml |
AttrNotEqual | Language.EO.Phi.Rules.Yaml |
AttrsInBindings | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
B | Language.EO.Phi.Syntax.Lex |
Binding | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
bindingAttr | Language.EO.Phi.Dependencies |
bindingHasMetavars | Language.EO.Phi.Rules.Yaml |
bindingLabelIds | Language.EO.Phi.Rules.Yaml |
bindingMetaIds | Language.EO.Phi.Rules.Yaml |
BindingMetrics | |
1 (Type/Class) | Language.EO.Phi.Metrics.Data |
2 (Data Constructor) | Language.EO.Phi.Metrics.Data |
BindingsByPathMetrics | |
1 (Type/Class) | Language.EO.Phi.Metrics.Data |
2 (Data Constructor) | Language.EO.Phi.Metrics.Data |
bindingSize | Language.EO.Phi.Rules.Common |
BindingsMetaId | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
boolToBytes | Language.EO.Phi.Rules.Common |
BTree | Language.EO.Phi.Syntax.Lex |
builtinRules | Language.EO.Phi.Rules.Common |
Byte | Language.EO.Phi.Syntax.Lex |
Bytes | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
BytesMetaId | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
bytesToBool | Language.EO.Phi.Rules.Common |
bytesToByteString | Language.EO.Phi.Rules.Common |
bytesToFloat | Language.EO.Phi.Rules.Common |
bytesToInt | Language.EO.Phi.Rules.Common |
bytesToString | Language.EO.Phi.Rules.Common |
bytestringToBytes | Language.EO.Phi.Rules.Common |
calculateMetricsChange | Language.EO.Phi.Report.Data |
Chain | |
1 (Type/Class) | Language.EO.Phi.Rules.Common |
2 (Data Constructor) | Language.EO.Phi.Rules.Common |
checkCond | Language.EO.Phi.Rules.Yaml |
choose | Language.EO.Phi.Rules.Common |
chunksOf | Language.EO.Phi.Rules.Common |
concatBytes | Language.EO.Phi.Rules.Common |
concatD | Language.EO.Phi.Syntax.Print |
concatS | Language.EO.Phi.Syntax.Print |
Condition | Language.EO.Phi.Rules.Yaml |
Context | |
1 (Type/Class) | Language.EO.Phi.Rules.Common |
2 (Data Constructor) | Language.EO.Phi.Rules.Common |
contextualize | Language.EO.Phi.Rules.Yaml |
contextualizeBinding | Language.EO.Phi.Rules.Yaml |
convertRule | Language.EO.Phi.Rules.Yaml |
convertRuleNamed | Language.EO.Phi.Rules.Yaml |
count | Language.EO.Phi.Metrics.Collect |
countDataless | Language.EO.Phi.Metrics.Collect |
currentAttr | Language.EO.Phi.Rules.Common |
DataizeChain | Language.EO.Phi.Rules.Common |
dataizePackage | Language.EO.Phi.Rules.Common |
dataizeRecursively | Language.EO.Phi.Dataize |
dataizeRecursivelyChain | Language.EO.Phi.Dataize |
dataizeRecursivelyChain' | Language.EO.Phi.Dataize |
dataizeStep | Language.EO.Phi.Dataize |
dataizeStep' | Language.EO.Phi.Dataize |
dataizeStepChain | Language.EO.Phi.Dataize |
dataizeStepChain' | Language.EO.Phi.Dataize |
deepMerge | Language.EO.Phi.Dependencies |
deepMergePrograms | Language.EO.Phi.Dependencies |
defaultApplicationLimits | Language.EO.Phi.Rules.Common |
defaultContext | Language.EO.Phi.Dataize.Context |
defaultMain | Language.EO.Phi |
defaultOptions' | Language.EO.Phi.TH |
DeltaAttr | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
DeltaBinding | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
DeltaEmptyBinding | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
deriveJSON | Language.EO.Phi.TH |
directoryTests | Language.EO.Test.Yaml |
Doc | Language.EO.Phi.Syntax.Print |
doc | Language.EO.Phi.Syntax.Print |
eitherResIdent | Language.EO.Phi.Syntax.Lex |
EmptyBinding | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
emptySubst | Language.EO.Phi.Rules.Yaml |
enabledAtoms | Language.EO.Phi.Rules.Common |
equalBinding | Language.EO.Phi.Rules.Common |
equalBindings | Language.EO.Phi.Rules.Common |
equalObject | Language.EO.Phi.Rules.Common |
equalObjectNamed | Language.EO.Phi.Rules.Common |
equalProgram | Language.EO.Phi.Rules.Common |
Err | Language.EO.Phi.Syntax.Lex |
evaluateBinaryDataizationFunChain | Language.EO.Phi.Dataize |
evaluateBuiltinFun | Language.EO.Phi.Dataize |
evaluateBuiltinFunChain | Language.EO.Phi.Dataize |
evaluateBuiltinFunChainUnknown | Language.EO.Phi.Dataize |
evaluateBytesBytesBytesFunChain | Language.EO.Phi.Dataize |
evaluateBytesBytesFunChain | Language.EO.Phi.Dataize |
evaluateDataizationFunChain | Language.EO.Phi.Dataize |
evaluateFloatFloatFloatFunChain | Language.EO.Phi.Dataize |
evaluateIntIntBoolFunChain | Language.EO.Phi.Dataize |
evaluateIntIntIntFunChain | Language.EO.Phi.Dataize |
evaluateIODataizationFunChain | Language.EO.Phi.Dataize |
evaluateMetaFuncs | Language.EO.Phi.Rules.Yaml |
evaluateMetaFuncs' | Language.EO.Phi.Rules.Yaml |
evaluateMetaFuncsBinding | Language.EO.Phi.Rules.Yaml |
evaluateUnaryDataizationFunChain | Language.EO.Phi.Dataize |
EvaluationState | Language.EO.Phi.Rules.Common |
extendContextWith | Language.EO.Phi.Rules.Common |
extractAlpha0 | Language.EO.Phi.Dataize |
extractLabel | Language.EO.Phi.Dataize |
extractRho | Language.EO.Phi.Dataize |
fastYegorInsideOut | Language.EO.Phi.Rules.Fast |
fastYegorInsideOutAsRule | Language.EO.Phi.Rules.Fast |
fastYegorInsideOutBinding | Language.EO.Phi.Rules.Fast |
fileTests | Language.EO.Test.Yaml |
floatToBytes | Language.EO.Phi.Rules.Common |
Formation | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
FreshMetaId | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
Function | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
getBindingsByPathMetrics | Language.EO.Phi.Metrics.Collect |
getContext | Language.EO.Phi.Rules.Common |
getHeight | Language.EO.Phi.Metrics.Collect |
getObjectByPath | Language.EO.Phi.Metrics.Collect |
getObjectMetrics | Language.EO.Phi.Metrics.Collect |
getProgramMetrics | Language.EO.Phi.Metrics.Collect |
getThisObjectMetrics | Language.EO.Phi.Metrics.Collect |
GlobalObject | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
happyError | Language.EO.Phi.Syntax.Par |
hasAttr | Language.EO.Phi.Rules.Yaml |
HeadFormation | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
HeadGlobal | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
HeadTermination | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
HeadThis | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
HeightSafe | Language.EO.Phi.Metrics.Collect |
hideRho | Language.EO.Phi.Rules.Common |
hideRho1 | Language.EO.Phi.Rules.Common |
hideRhoInBinding | Language.EO.Phi.Rules.Common |
hideRhoInBinding1 | Language.EO.Phi.Rules.Common |
incLogLevel | Language.EO.Phi.Rules.Common |
inMathMode | Language.EO.Phi.ToLaTeX |
insideAbstractFormation | Language.EO.Phi.Rules.Common |
insideFormation | Language.EO.Phi.Rules.Common |
insideSubObject | Language.EO.Phi.Rules.Common |
inspect | Language.EO.Phi.Metrics.Collect |
Inspectable | Language.EO.Phi.Metrics.Collect |
InspectM | Language.EO.Phi.Metrics.Collect |
intToBytes | Language.EO.Phi.Rules.Common |
isEmptyBinding | Language.EO.Phi.Rules.Common |
isLambdaBinding | Language.EO.Phi.Rules.Fast |
IsNF | Language.EO.Phi.Rules.Yaml |
isNF | Language.EO.Phi.Rules.Common |
IsNFInsideFormation | Language.EO.Phi.Rules.Yaml |
isNonEmptyContext | Language.EO.Phi.ToLaTeX |
isPackage | Language.EO.Phi.Dependencies |
isPackageBinding | Language.EO.Phi.Dependencies |
isRhoBinding | Language.EO.Phi.Rules.Common |
knownAtoms | Language.EO.Phi.Rules.Common |
knownAtomsList | Language.EO.Phi.Dataize.Atoms |
knownAtomsMap | Language.EO.Phi.Dataize.Context |
Label | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
LabelId | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
LabelMetaId | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
LambdaAttr | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
LambdaBinding | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
LaTeX | |
1 (Type/Class) | Language.EO.Phi.ToLaTeX |
2 (Data Constructor) | Language.EO.Phi.ToLaTeX |
latexToString | Language.EO.Phi.ToLaTeX |
listen | Language.EO.Phi.Rules.Common |
LogEntry | |
1 (Type/Class) | Language.EO.Phi.Rules.Common |
2 (Data Constructor) | Language.EO.Phi.Rules.Common |
logEntryLevel | Language.EO.Phi.Rules.Common |
logEntryLog | Language.EO.Phi.Rules.Common |
logEntryMessage | Language.EO.Phi.Rules.Common |
logStep | Language.EO.Phi.Rules.Common |
lookupBinding | Language.EO.Phi.Rules.Common |
makeProgramReport | Language.EO.Phi.Report.Data |
makeReport | Language.EO.Phi.Report.Data |
matchAttr | Language.EO.Phi.Rules.Yaml |
matchBinding | Language.EO.Phi.Rules.Yaml |
matchBindings | Language.EO.Phi.Rules.Yaml |
matchContext | Language.EO.Phi.Rules.Yaml |
matchFindBinding | Language.EO.Phi.Rules.Yaml |
matchObject | Language.EO.Phi.Rules.Yaml |
matchOneHoleContext | Language.EO.Phi.Rules.Yaml |
maxDepth | Language.EO.Phi.Rules.Common |
maxTermSize | Language.EO.Phi.Rules.Common |
mergeBinding | Language.EO.Phi.Dependencies |
mergeBindings | Language.EO.Phi.Dependencies |
mergeSubst | Language.EO.Phi.Rules.Yaml |
MetaAttr | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaBindings | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaContextualize | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaDeltaBinding | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaFunction | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaFunctionName | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaId | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaIdBindings | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaIdBytes | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaIdLabel | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaIdObject | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaIdTail | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaObject | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaState | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
MetaSubstThis | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
MetaTailContext | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
Metrics | |
1 (Type/Class) | Language.EO.Phi.Metrics.Data |
2 (Data Constructor) | Language.EO.Phi.Metrics.Data |
MetricsChange | Language.EO.Phi.Pipeline.Config |
MetricsChange'Bad | Language.EO.Phi.Pipeline.Config |
MetricsChange'Good | Language.EO.Phi.Pipeline.Config |
MetricsChange'NA | Language.EO.Phi.Pipeline.Config |
MetricsChangeCategorized | Language.EO.Phi.Pipeline.Config |
MetricsChangeCategory | Language.EO.Phi.Pipeline.Config |
MetricsCount | Language.EO.Phi.Metrics.Data |
metricsNames | Language.EO.Phi.Report.Html |
minimizeObject | Language.EO.Phi.Rules.Common |
minimizeObject' | Language.EO.Phi.Rules.Common |
minimizeTerms | Language.EO.Phi.Rules.Common |
mkDataSortAttribute | Language.EO.Phi.Report.Html |
mkEnabledAtoms | Language.EO.Phi.Dataize.Context |
mkEsc | Language.EO.Phi.Syntax.Print |
mkFreshAttribute | Language.EO.Phi.Rules.Yaml |
mkFreshAttributes | Language.EO.Phi.Rules.Yaml |
mkFreshSubst | Language.EO.Phi.Rules.Yaml |
mkItem | Language.EO.Phi.Report.Html |
mkNumber | Language.EO.Phi.Report.Html |
mkPercentage | Language.EO.Phi.Report.Html |
mkPercentItem | Language.EO.Phi.Report.Html |
mkPosToken | Language.EO.Phi.Syntax.Lex |
modifyContext | Language.EO.Phi.Rules.Common |
msplit | Language.EO.Phi.Rules.Common |
myLexer | Language.EO.Phi.Syntax.Par |
N | Language.EO.Phi.Syntax.Lex |
NamedRule | Language.EO.Phi.Rules.Common |
normalize | Language.EO.Phi.Normalize, Language.EO.Phi |
normalizeBytes | Language.EO.Phi.Rules.Common |
NormalizeChain | Language.EO.Phi.Rules.Common |
normalizeObject | Language.EO.Phi.Normalize |
Object | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
ObjectAction | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
ObjectAttr | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
objectBindings | Language.EO.Phi.Rules.Common |
ObjectDispatch | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
objectHasMetavars | Language.EO.Phi.Rules.Yaml |
ObjectHead | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
objectLabelIds | Language.EO.Phi.Rules.Yaml |
ObjectMetaId | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
objectMetaIds | Language.EO.Phi.Rules.Yaml |
ObjectMetrics | |
1 (Type/Class) | Language.EO.Phi.Metrics.Data |
2 (Data Constructor) | Language.EO.Phi.Metrics.Data |
objectSize | Language.EO.Phi.Rules.Common |
OneHoleContext | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
outerFormations | Language.EO.Phi.Rules.Common |
paddedLeftChunksOf | Language.EO.Phi.Rules.Common |
padLeft | Language.EO.Phi.Rules.Common |
parenth | Language.EO.Phi.Syntax.Print |
parseProgram | Language.EO.Phi |
parseProgramsRaw | Language.EO.Phi.Pipeline.EOTests.PrepareTests |
parseRuleSetFromFile | Language.EO.Phi.Rules.Yaml |
parseTest | Language.EO.Phi.Pipeline.EOTests.PrepareTests |
parseTest' | Language.EO.Phi.Pipeline.EOTests.PrepareTests |
parseWith | Language.EO.Phi.Rules.Common |
Path | Language.EO.Phi.Metrics.Data |
pAttribute | Language.EO.Phi.Syntax.Par |
pBinding | Language.EO.Phi.Syntax.Par |
PeeledObject | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
peelObject | Language.EO.Phi.Normalize |
Percent | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
Phi | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
PipelineConfig | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
pListBinding | Language.EO.Phi.Syntax.Par |
pListObjectAction | Language.EO.Phi.Syntax.Par |
pMetaId | Language.EO.Phi.Syntax.Par |
Pn | Language.EO.Phi.Syntax.Lex |
pObject | Language.EO.Phi.Syntax.Par |
pObjectAction | Language.EO.Phi.Syntax.Par |
pObjectHead | Language.EO.Phi.Syntax.Par |
Pos | |
1 (Type/Class) | Language.EO.Phi.Pipeline.EOTests.Data |
2 (Data Constructor) | Language.EO.Phi.Pipeline.EOTests.Data |
posLineCol | Language.EO.Phi.Syntax.Lex |
Posn | Language.EO.Phi.Syntax.Lex |
pPeeledObject | Language.EO.Phi.Syntax.Par |
pProgram | Language.EO.Phi.Syntax.Par |
prepareTests | Language.EO.Phi.Pipeline.EOTests.PrepareTests |
PresentAttrs | Language.EO.Phi.Rules.Yaml |
Print | Language.EO.Phi.Syntax.Print |
printDataizeConfigs | Language.EO.Phi.Pipeline.Dataize.PrintConfigs |
printPosn | Language.EO.Phi.Syntax.Lex |
printString | Language.EO.Phi.Syntax.Print |
printTree | |
1 (Function) | Language.EO.Phi.Syntax.Print |
2 (Function) | Language.EO.Phi.Syntax, Language.EO.Phi |
Program | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
3 (Type/Class) | Language.EO.Phi.Pipeline.EOTests.Data |
4 (Data Constructor) | Language.EO.Phi.Pipeline.EOTests.Data |
ProgramMetrics | |
1 (Type/Class) | Language.EO.Phi.Metrics.Data |
2 (Data Constructor) | Language.EO.Phi.Metrics.Data |
ProgramReport | |
1 (Type/Class) | Language.EO.Phi.Report.Data |
2 (Data Constructor) | Language.EO.Phi.Report.Data |
propagateName1 | Language.EO.Phi.Rules.Common |
propagateName2 | Language.EO.Phi.Rules.Common |
prPrec | Language.EO.Phi.Syntax.Print |
prt | Language.EO.Phi.Syntax.Print |
prToken | Language.EO.Phi.Syntax.Lex |
pRuleAttribute | Language.EO.Phi.Syntax.Par |
PT | Language.EO.Phi.Syntax.Lex |
quickIndex | Language.EO.Phi.Syntax.Lex |
removeAlpha | Language.EO.Phi.ToLaTeX |
removeExclamationsMarks | Language.EO.Phi.ToLaTeX |
removeOrgEolang | Language.EO.Phi.ToLaTeX |
render | Language.EO.Phi.Syntax.Print |
replicateS | Language.EO.Phi.Syntax.Print |
Report | |
1 (Type/Class) | Language.EO.Phi.Report.Data |
2 (Data Constructor) | Language.EO.Phi.Report.Data |
ReportConfig | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
reportCSS | Language.EO.Phi.Report.Html |
ReportFormat | Language.EO.Phi.Pipeline.Config |
ReportFormat'Html | Language.EO.Phi.Pipeline.Config |
ReportFormat'Markdown | Language.EO.Phi.Pipeline.Config |
ReportInput | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
reportJS | Language.EO.Phi.Report.Html |
ReportOutput | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
ReportRow | |
1 (Type/Class) | Language.EO.Phi.Report.Data |
2 (Data Constructor) | Language.EO.Phi.Report.Data |
resWords | Language.EO.Phi.Syntax.Lex |
Rho | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
roundToStr | Language.EO.Phi.Pipeline.Config |
Rule | |
1 (Type/Class) | Language.EO.Phi.Rules.Common |
2 (Type/Class) | Language.EO.Phi.Rules.Yaml |
3 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
rule6 | Language.EO.Phi.Rules.PhiPaper |
RuleAttribute | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
RuleContext | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
RuleSet | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
rulesToLatexCompact | Language.EO.Phi.ToLaTeX |
RuleTest | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
RuleTestOption | Language.EO.Phi.Rules.Yaml |
ruleToLatexCompact | Language.EO.Phi.ToLaTeX |
runChain | Language.EO.Phi.Rules.Common |
runWithYegorRules | Language.EO.Phi.Rules.RunYegor |
sameContext | Language.EO.Phi.Rules.Common |
select | Language.EO.Phi.Rules.Yaml |
shrinkDots | Language.EO.Phi.Syntax, Language.EO.Phi |
sliceBytes | Language.EO.Phi.Rules.Common |
smallestObject | Language.EO.Phi.Rules.Common |
spec | Language.EO.Test.YamlSpec |
splitPath | Language.EO.Phi.Metrics.Data |
splitStringOn | Language.EO.Phi.Metrics.Data |
stringToBytes | Language.EO.Phi.Rules.Common |
Subst | |
1 (Type/Class) | Language.EO.Phi.Rules.Yaml |
2 (Data Constructor) | Language.EO.Phi.Rules.Yaml |
substituteTau | Language.EO.Phi.ToLaTeX |
substThis | Language.EO.Phi.Rules.Yaml |
substThisBinding | Language.EO.Phi.Rules.Yaml |
TailMetaId | |
1 (Type/Class) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
2 (Data Constructor) | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
TakeOne | Language.EO.Phi.Rules.Yaml |
TC | Language.EO.Phi.Syntax.Lex |
TD | Language.EO.Phi.Syntax.Lex |
Termination | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
Test | |
1 (Type/Class) | Language.EO.Phi.Pipeline.EOTests.Data |
2 (Data Constructor) | Language.EO.Phi.Pipeline.EOTests.Data |
TestContent | |
1 (Type/Class) | Language.EO.Phi.Pipeline.EOTests.Data |
2 (Data Constructor) | Language.EO.Phi.Pipeline.EOTests.Data |
TestSet | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
TestSetEO | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
TestSetPhi | |
1 (Type/Class) | Language.EO.Phi.Pipeline.Config |
2 (Data Constructor) | Language.EO.Phi.Pipeline.Config |
ThisObject | Language.EO.Phi.Syntax.Abs, Language.EO.Phi.Syntax, Language.EO.Phi |
TI | Language.EO.Phi.Syntax.Lex |
TK | Language.EO.Phi.Syntax.Lex |
TL | Language.EO.Phi.Syntax.Lex |
ToDataSort | Language.EO.Phi.Report.Html |
toDataSort | Language.EO.Phi.Report.Html |
toHtmlChange | Language.EO.Phi.Report.Html |
toHtmlMetrics | Language.EO.Phi.Report.Html |
toHtmlMetricsChange | Language.EO.Phi.Report.Html |
toHtmlReport | Language.EO.Phi.Report.Html |
toHtmlReportRow | Language.EO.Phi.Report.Html |
toHtmlReportTableHeader | Language.EO.Phi.Report.Html |
Tok | Language.EO.Phi.Syntax.Lex |
tok | Language.EO.Phi.Syntax.Lex |
Token | Language.EO.Phi.Syntax.Lex |
tokenLineCol | Language.EO.Phi.Syntax.Lex |
tokenPos | Language.EO.Phi.Syntax.Lex |
tokenPosn | Language.EO.Phi.Syntax.Lex |
tokens | Language.EO.Phi.Syntax.Lex |
tokenText | Language.EO.Phi.Syntax.Lex |
TokSymbol | |
1 (Type/Class) | Language.EO.Phi.Syntax.Lex |
2 (Data Constructor) | Language.EO.Phi.Syntax.Lex |
ToLatex | Language.EO.Phi.ToLaTeX |
toLatex | Language.EO.Phi.ToLaTeX |
toLatexString | Language.EO.Phi.ToLaTeX |
toListMetrics | Language.EO.Phi.Metrics.Data |
toStringReport | Language.EO.Phi.Report.Html |
transformLogs | Language.EO.Phi.Rules.Common |
transformNormLogs | Language.EO.Phi.Rules.Common |
TS | Language.EO.Phi.Syntax.Lex |
tsID | Language.EO.Phi.Syntax.Lex |
tsText | Language.EO.Phi.Syntax.Lex |
TV | Language.EO.Phi.Syntax.Lex |
T_AlphaIndex | Language.EO.Phi.Syntax.Lex |
T_BindingsMetaId | Language.EO.Phi.Syntax.Lex |
T_Bytes | Language.EO.Phi.Syntax.Lex |
T_BytesMetaId | Language.EO.Phi.Syntax.Lex |
T_Function | Language.EO.Phi.Syntax.Lex |
T_LabelId | Language.EO.Phi.Syntax.Lex |
T_LabelMetaId | Language.EO.Phi.Syntax.Lex |
T_MetaFunctionName | Language.EO.Phi.Syntax.Lex |
T_ObjectMetaId | Language.EO.Phi.Syntax.Lex |
T_TailMetaId | Language.EO.Phi.Syntax.Lex |
unescapeInitTail | Language.EO.Phi.Syntax.Lex |
unLaTeX | Language.EO.Phi.ToLaTeX |
unpeelObject | Language.EO.Phi.Normalize |
unsafeParseObject | Language.EO.Phi |
unsafeParseProgram | Language.EO.Phi |
unsafeParseWith | Language.EO.Phi.Rules.Common |
usedLabelIds | Language.EO.Phi.Rules.Yaml |
utf8Encode | Language.EO.Phi.Syntax.Lex |
withBinding | Language.EO.Phi.Rules.Fast |
withContext | Language.EO.Phi.Rules.Common |
withCorrectLocale | Language.EO.Locale |
withSubObject | Language.EO.Phi.Rules.Common |
withSubObjectBinding | Language.EO.Phi.Rules.Common |
withSubObjectBindings | Language.EO.Phi.Rules.Common |
withSubObjects | Language.EO.Phi.Rules.Fast |
wrapBytesAsBool | Language.EO.Phi.Dataize |
wrapBytesInBytes | Language.EO.Phi.Dataize |
wrapBytesInFloat | Language.EO.Phi.Dataize |
wrapBytesInInt | Language.EO.Phi.Dataize |
wrapBytesInString | Language.EO.Phi.Dataize |
wrapTermination | Language.EO.Phi.Dataize |
yegorRules | Language.EO.Phi.Rules.RunYegor |
yegorRuleSet | Language.EO.Phi.Rules.RunYegor |
zipBindings | Language.EO.Phi.Dependencies |