eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.

Index - P

paddedLeftChunksOfLanguage.EO.Phi.Rules.Common
padLeftLanguage.EO.Phi.Rules.Common
parenthLanguage.EO.Phi.Syntax.Print
parseProgramLanguage.EO.Phi
parseProgramsRawLanguage.EO.Phi.Pipeline.EOTests.PrepareTests
parseRuleSetFromFileLanguage.EO.Phi.Rules.Yaml
parseTestLanguage.EO.Phi.Pipeline.EOTests.PrepareTests
parseTest'Language.EO.Phi.Pipeline.EOTests.PrepareTests
parseWithLanguage.EO.Phi.Rules.Common
PathLanguage.EO.Phi.Metrics.Data
pAttributeLanguage.EO.Phi.Syntax.Par
pBindingLanguage.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
peelObjectLanguage.EO.Phi.Normalize
Percent 
1 (Type/Class)Language.EO.Phi.Pipeline.Config
2 (Data Constructor)Language.EO.Phi.Pipeline.Config
PhiLanguage.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
pListBindingLanguage.EO.Phi.Syntax.Par
pListObjectActionLanguage.EO.Phi.Syntax.Par
pMetaIdLanguage.EO.Phi.Syntax.Par
PnLanguage.EO.Phi.Syntax.Lex
pObjectLanguage.EO.Phi.Syntax.Par
pObjectActionLanguage.EO.Phi.Syntax.Par
pObjectHeadLanguage.EO.Phi.Syntax.Par
Pos 
1 (Type/Class)Language.EO.Phi.Pipeline.EOTests.Data
2 (Data Constructor)Language.EO.Phi.Pipeline.EOTests.Data
posLineColLanguage.EO.Phi.Syntax.Lex
PosnLanguage.EO.Phi.Syntax.Lex
pPeeledObjectLanguage.EO.Phi.Syntax.Par
pProgramLanguage.EO.Phi.Syntax.Par
prepareTestsLanguage.EO.Phi.Pipeline.EOTests.PrepareTests
PresentAttrsLanguage.EO.Phi.Rules.Yaml
PrintLanguage.EO.Phi.Syntax.Print
printDataizeConfigsLanguage.EO.Phi.Pipeline.Dataize.PrintConfigs
printPosnLanguage.EO.Phi.Syntax.Lex
printStringLanguage.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
propagateName1Language.EO.Phi.Rules.Common
propagateName2Language.EO.Phi.Rules.Common
prPrecLanguage.EO.Phi.Syntax.Print
prtLanguage.EO.Phi.Syntax.Print
prTokenLanguage.EO.Phi.Syntax.Lex
pRuleAttributeLanguage.EO.Phi.Syntax.Par
PTLanguage.EO.Phi.Syntax.Lex