| :$ | Language.Syntactic.Syntax, Language.Syntactic |
| :&: | |
| 1 (Type/Class) | Language.Syntactic.Decoration, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Decoration, Language.Syntactic |
| :* | Language.Syntactic.Traversal, Language.Syntactic |
| :+: | Language.Syntactic.Syntax, Language.Syntactic |
| :-> | Language.Syntactic.Syntax, Language.Syntactic |
| :<: | Language.Syntactic.Syntax, Language.Syntactic |
| allVars | Language.Syntactic.Functional |
| AlphaEnv | Language.Syntactic.Functional |
| alphaEq | Language.Syntactic.Functional |
| alphaEq' | Language.Syntactic.Functional |
| appArgs | Language.Syntactic.Traversal, Language.Syntactic |
| Args | Language.Syntactic.Traversal, Language.Syntactic |
| AST | Language.Syntactic.Syntax, Language.Syntactic |
| ASTF | Language.Syntactic.Syntax, Language.Syntactic |
| ASTFull | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| Bind | Language.Syntactic.Functional |
| Binding | Language.Syntactic.Functional |
| BindingDomain | Language.Syntactic.Functional |
| BindingT | Language.Syntactic.Functional |
| BindingWS | Language.Syntactic.Functional.WellScoped |
| castExpr | Language.Syntactic.Syntax, Language.Syntactic |
| castExprCM | Language.Syntactic.Functional.Sharing |
| classPred | Language.Syntactic.TH, Language.Syntactic.Functional.Tuple |
| codeMotion | Language.Syntactic.Functional.Sharing |
| CodeMotionInterface | Language.Syntactic.Functional.Sharing |
| compileSym | Language.Syntactic.Functional |
| compileSymDefault | Language.Syntactic.Functional |
| conName | Language.Syntactic.TH |
| Construct | |
| 1 (Type/Class) | Language.Syntactic.Functional |
| 2 (Data Constructor) | Language.Syntactic.Functional |
| decorExpr | Language.Syntactic.Decoration, Language.Syntactic |
| decorInfo | Language.Syntactic.Decoration, Language.Syntactic |
| defaultInterface | Language.Syntactic.Functional.Sharing |
| defaultInterfaceDecor | Language.Syntactic.Functional.Sharing |
| DefaultMethod | Language.Syntactic.TH |
| Denotation | Language.Syntactic.Functional |
| DenotationM | Language.Syntactic.Functional |
| DenResult | Language.Syntactic.Syntax, Language.Syntactic |
| deriveClass | Language.Syntactic.TH |
| deriveClassSimple | Language.Syntactic.TH |
| deriveEquality | Language.Syntactic.TH |
| deriveRender | Language.Syntactic.TH |
| deriveSymbol | Language.Syntactic.TH |
| deriveSyntacticForTuples | Language.Syntactic.Functional.Tuple |
| desugar | Language.Syntactic.Sugar, Language.Syntactic |
| desugarMonad | Language.Syntactic.Functional |
| desugarMonadTyped | Language.Syntactic.Functional |
| desugarN | Language.Syntactic.Sugar, Language.Syntactic |
| diff | Language.Syntactic.Functional.WellScoped |
| Domain | Language.Syntactic.Sugar, Language.Syntactic |
| drawAST | Language.Syntactic.Interpretation, Language.Syntactic |
| drawDecorWith | Language.Syntactic.Decoration, Language.Syntactic |
| E | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| EF | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| Empty | Language.Syntactic.Syntax, Language.Syntactic |
| eqPred | Language.Syntactic.TH, Language.Syntactic.Functional.Tuple |
| equal | Language.Syntactic.Interpretation, Language.Syntactic |
| equalDefault | Language.Syntactic.Interpretation, Language.Syntactic |
| Equality | Language.Syntactic.Interpretation, Language.Syntactic |
| Eval | Language.Syntactic.Functional |
| evalClosed | Language.Syntactic.Functional |
| evalClosedWS | Language.Syntactic.Functional.WellScoped |
| evalDen | Language.Syntactic.Functional |
| EvalEnv | Language.Syntactic.Functional |
| evalOpen | Language.Syntactic.Functional |
| evalOpenWS | Language.Syntactic.Functional.WellScoped |
| evalSym | Language.Syntactic.Functional |
| everywhereDown | Language.Syntactic.Traversal, Language.Syntactic |
| everywhereUp | Language.Syntactic.Traversal, Language.Syntactic |
| Ext | Language.Syntactic.Functional.WellScoped |
| fold | Language.Syntactic.Traversal, Language.Syntactic |
| foldrArgs | Language.Syntactic.Traversal, Language.Syntactic |
| freeVars | Language.Syntactic.Functional |
| fromDeBruijn | Language.Syntactic.Functional |
| fromWS | Language.Syntactic.Functional.WellScoped |
| Full | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| getDecor | Language.Syntactic.Decoration, Language.Syntactic |
| gmapQ | Language.Syntactic.Traversal, Language.Syntactic |
| gmapT | Language.Syntactic.Traversal, Language.Syntactic |
| hash | Language.Syntactic.Interpretation, Language.Syntactic |
| hashDefault | Language.Syntactic.Interpretation, Language.Syntactic |
| hoistOver | Language.Syntactic.Functional.Sharing |
| inj | Language.Syntactic.Syntax, Language.Syntactic |
| InjDict | |
| 1 (Type/Class) | Language.Syntactic.Functional.Sharing |
| 2 (Data Constructor) | Language.Syntactic.Functional.Sharing |
| InjL | Language.Syntactic.Syntax, Language.Syntactic |
| injLambda | Language.Syntactic.Functional.Sharing |
| injLet | Language.Syntactic.Functional.Sharing |
| InjR | Language.Syntactic.Syntax, Language.Syntactic |
| injT | Language.Syntactic.Syntax, Language.Syntactic |
| injVariable | Language.Syntactic.Functional.Sharing |
| Interface | Language.Syntactic.Functional.Sharing |
| Internal | Language.Syntactic.Sugar, Language.Syntactic |
| Lam | Language.Syntactic.Functional |
| lam | Language.Syntactic.Functional |
| LamT | Language.Syntactic.Functional |
| lamT | Language.Syntactic.Functional |
| lamTyped | Language.Syntactic.Functional |
| lamT_template | Language.Syntactic.Functional |
| LamWS | Language.Syntactic.Functional.WellScoped |
| lamWS | Language.Syntactic.Functional.WellScoped |
| lam_template | Language.Syntactic.Functional |
| Let | |
| 1 (Type/Class) | Language.Syntactic.Functional |
| 2 (Data Constructor) | Language.Syntactic.Functional |
| liftDecor | Language.Syntactic.Decoration, Language.Syntactic |
| liftDenotationM | Language.Syntactic.Functional |
| liftE | Language.Syntactic.Syntax, Language.Syntactic |
| liftE2 | Language.Syntactic.Syntax, Language.Syntactic |
| liftEF | Language.Syntactic.Syntax, Language.Syntactic |
| liftEF2 | Language.Syntactic.Syntax, Language.Syntactic |
| LiftReader | Language.Syntactic.Functional.WellScoped |
| listArgs | Language.Syntactic.Traversal, Language.Syntactic |
| listFold | Language.Syntactic.Traversal, Language.Syntactic |
| Literal | |
| 1 (Type/Class) | Language.Syntactic.Functional |
| 2 (Data Constructor) | Language.Syntactic.Functional |
| lookEnv | Language.Syntactic.Functional.WellScoped |
| LowerReader | Language.Syntactic.Functional.WellScoped |
| mapArgs | Language.Syntactic.Traversal, Language.Syntactic |
| mapArgsA | Language.Syntactic.Traversal, Language.Syntactic |
| mapArgsM | Language.Syntactic.Traversal, Language.Syntactic |
| mapAST | Language.Syntactic.Traversal, Language.Syntactic |
| mapDecor | Language.Syntactic.Decoration, Language.Syntactic |
| match | Language.Syntactic.Traversal, Language.Syntactic |
| MatchingMethod | Language.Syntactic.TH |
| matchTrans | Language.Syntactic.Traversal, Language.Syntactic |
| maxLam | Language.Syntactic.Functional |
| maxLamT | Language.Syntactic.Functional |
| Method | Language.Syntactic.TH |
| mkInjDict | Language.Syntactic.Functional.Sharing |
| mkSelectClassPlusInstances | Language.Syntactic.Functional.Tuple |
| MONAD | Language.Syntactic.Functional |
| Name | |
| 1 (Type/Class) | Language.Syntactic.Functional |
| 2 (Data Constructor) | Language.Syntactic.Functional |
| NFData1 | Language.Syntactic.Syntax, Language.Syntactic |
| Nil | Language.Syntactic.Traversal, Language.Syntactic |
| Partial | Language.Syntactic.Syntax, Language.Syntactic |
| prj | Language.Syntactic.Syntax, Language.Syntactic |
| prjP | Language.Syntactic.Syntax, Language.Syntactic |
| prLam | Language.Syntactic.Functional |
| Project | Language.Syntactic.Syntax, Language.Syntactic |
| prVar | Language.Syntactic.Functional |
| ReaderSym | |
| 1 (Type/Class) | Language.Syntactic.Functional.WellScoped |
| 2 (Data Constructor) | Language.Syntactic.Functional.WellScoped |
| Remon | |
| 1 (Type/Class) | Language.Syntactic.Functional |
| 2 (Data Constructor) | Language.Syntactic.Functional |
| Render | Language.Syntactic.Interpretation, Language.Syntactic |
| render | Language.Syntactic.Interpretation, Language.Syntactic |
| renderArgs | Language.Syntactic.Interpretation, Language.Syntactic |
| renderArgsSmart | Language.Syntactic.Interpretation, Language.Syntactic |
| renderSym | Language.Syntactic.Interpretation, Language.Syntactic |
| resugar | Language.Syntactic.Sugar, Language.Syntactic |
| result | Language.Syntactic.Syntax, Language.Syntactic |
| Return | Language.Syntactic.Functional |
| rnf1 | Language.Syntactic.Syntax, Language.Syntactic |
| RunEnv | Language.Syntactic.Functional |
| Sel1 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel10 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel11 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel12 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel13 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel14 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel15 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel2 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel3 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel4 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel5 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel6 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel7 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel8 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Sel9 | |
| 1 (Type/Class) | Language.Syntactic.Functional.Tuple |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| Select1 | Language.Syntactic.Functional.Tuple |
| select1 | Language.Syntactic.Functional.Tuple |
| Select10 | Language.Syntactic.Functional.Tuple |
| select10 | Language.Syntactic.Functional.Tuple |
| Select11 | Language.Syntactic.Functional.Tuple |
| select11 | Language.Syntactic.Functional.Tuple |
| Select12 | Language.Syntactic.Functional.Tuple |
| select12 | Language.Syntactic.Functional.Tuple |
| Select13 | Language.Syntactic.Functional.Tuple |
| select13 | Language.Syntactic.Functional.Tuple |
| Select14 | Language.Syntactic.Functional.Tuple |
| select14 | Language.Syntactic.Functional.Tuple |
| Select15 | Language.Syntactic.Functional.Tuple |
| select15 | Language.Syntactic.Functional.Tuple |
| Select2 | Language.Syntactic.Functional.Tuple |
| select2 | Language.Syntactic.Functional.Tuple |
| Select3 | Language.Syntactic.Functional.Tuple |
| select3 | Language.Syntactic.Functional.Tuple |
| Select4 | Language.Syntactic.Functional.Tuple |
| select4 | Language.Syntactic.Functional.Tuple |
| Select5 | Language.Syntactic.Functional.Tuple |
| select5 | Language.Syntactic.Functional.Tuple |
| Select6 | Language.Syntactic.Functional.Tuple |
| select6 | Language.Syntactic.Functional.Tuple |
| Select7 | Language.Syntactic.Functional.Tuple |
| select7 | Language.Syntactic.Functional.Tuple |
| Select8 | Language.Syntactic.Functional.Tuple |
| select8 | Language.Syntactic.Functional.Tuple |
| Select9 | Language.Syntactic.Functional.Tuple |
| select9 | Language.Syntactic.Functional.Tuple |
| showAST | Language.Syntactic.Interpretation, Language.Syntactic |
| showDecorWith | Language.Syntactic.Decoration, Language.Syntactic |
| SigFull | Language.Syntactic.Syntax, Language.Syntactic |
| SigMore | Language.Syntactic.Syntax, Language.Syntactic |
| Signature | Language.Syntactic.Syntax, Language.Syntactic |
| signature | Language.Syntactic.Syntax, Language.Syntactic |
| SigRep | Language.Syntactic.Syntax, Language.Syntactic |
| simpleFold | Language.Syntactic.Traversal, Language.Syntactic |
| simpleMatch | Language.Syntactic.Traversal, Language.Syntactic |
| size | Language.Syntactic.Syntax, Language.Syntactic |
| SmartFun | Language.Syntactic.Syntax, Language.Syntactic |
| SmartSig | Language.Syntactic.Syntax, Language.Syntactic |
| SmartSym | Language.Syntactic.Syntax, Language.Syntactic |
| smartSym | Language.Syntactic.Syntax, Language.Syntactic |
| smartSym' | Language.Syntactic.Syntax, Language.Syntactic |
| smartSymTyped | Language.Syntactic.Syntax, Language.Syntactic |
| smartWS | Language.Syntactic.Functional.WellScoped |
| StringTree | Language.Syntactic.Interpretation, Language.Syntactic |
| stringTree | Language.Syntactic.Interpretation, Language.Syntactic |
| stringTreeDecor | Language.Syntactic.Decoration, Language.Syntactic |
| stringTreeSym | Language.Syntactic.Interpretation, Language.Syntactic |
| stripDecor | Language.Syntactic.Decoration, Language.Syntactic |
| sugar | Language.Syntactic.Sugar, Language.Syntactic |
| sugarMonad | |
| 1 (Function) | Language.Syntactic.Sugar.Monad |
| 2 (Function) | Language.Syntactic.Sugar.MonadTyped |
| sugarN | Language.Syntactic.Sugar, Language.Syntactic |
| sugarSym | Language.Syntactic.Sugar, Language.Syntactic |
| sugarSymTyped | Language.Syntactic.Sugar, Language.Syntactic |
| Sym | Language.Syntactic.Syntax, Language.Syntactic |
| Symbol | Language.Syntactic.Syntax, Language.Syntactic |
| symSig | Language.Syntactic.Syntax, Language.Syntactic |
| symType | Language.Syntactic.Syntax, Language.Syntactic |
| Syntactic | Language.Syntactic.Sugar, Language.Syntactic |
| SyntacticN | Language.Syntactic.Sugar, Language.Syntactic |
| toTree | Language.Syntactic.Traversal, Language.Syntactic |
| Tup10 | Language.Syntactic.Functional.Tuple |
| Tup11 | Language.Syntactic.Functional.Tuple |
| Tup12 | Language.Syntactic.Functional.Tuple |
| Tup13 | Language.Syntactic.Functional.Tuple |
| Tup14 | Language.Syntactic.Functional.Tuple |
| Tup15 | Language.Syntactic.Functional.Tuple |
| Tup2 | Language.Syntactic.Functional.Tuple |
| Tup3 | Language.Syntactic.Functional.Tuple |
| Tup4 | Language.Syntactic.Functional.Tuple |
| Tup5 | Language.Syntactic.Functional.Tuple |
| Tup6 | Language.Syntactic.Functional.Tuple |
| Tup7 | Language.Syntactic.Functional.Tuple |
| Tup8 | Language.Syntactic.Functional.Tuple |
| Tup9 | Language.Syntactic.Functional.Tuple |
| Tuple | Language.Syntactic.Functional.Tuple |
| Typed | |
| 1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |
| tySynInst | Language.Syntactic.TH |
| unASTFull | Language.Syntactic.Syntax, Language.Syntactic |
| unext | Language.Syntactic.Functional.WellScoped |
| universe | Language.Syntactic.Traversal, Language.Syntactic |
| UnReader | Language.Syntactic.Functional.WellScoped |
| unRemon | Language.Syntactic.Functional |
| unwrapFull | Language.Syntactic.Traversal, Language.Syntactic |
| updateDecor | Language.Syntactic.Decoration, Language.Syntactic |
| Var | Language.Syntactic.Functional |
| varSupply | Language.Syntactic.TH |
| VarT | Language.Syntactic.Functional |
| VarWS | Language.Syntactic.Functional.WellScoped |
| WrapFull | |
| 1 (Type/Class) | Language.Syntactic.Traversal, Language.Syntactic |
| 2 (Data Constructor) | Language.Syntactic.Traversal, Language.Syntactic |
| writeHtmlAST | Language.Syntactic.Interpretation, Language.Syntactic |
| writeHtmlDecorWith | Language.Syntactic.Decoration, Language.Syntactic |
| WS | Language.Syntactic.Functional.WellScoped |