| :$ | 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 |
| 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.TH |
| 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, 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 |
| 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 |
| foldNest | Data.NestTuple.TH |
| foldrArgs | Language.Syntactic.Traversal, Language.Syntactic |
| freeVars | Language.Syntactic.Functional |
| fromDeBruijn | Language.Syntactic.Functional |
| fromWS | Language.Syntactic.Functional.WellScoped |
| Fst | Language.Syntactic.Functional.Tuple |
| 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 |
| instD | Language.Syntactic.TH |
| Interface | Language.Syntactic.Functional.Sharing |
| Internal | Language.Syntactic.Sugar, Language.Syntactic, 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 |
| Leaf | Data.NestTuple.TH |
| 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 |
| mkNestableInstances | Data.NestTuple.TH |
| mkPairE | Data.NestTuple.TH |
| mkPairP | Data.NestTuple.TH |
| mkPairT | Data.NestTuple.TH |
| mkTupE | Data.NestTuple.TH |
| mkTupT | Data.NestTuple.TH |
| MONAD | Language.Syntactic.Functional |
| Name | |
| 1 (Type/Class) | Language.Syntactic.Functional |
| 2 (Data Constructor) | Language.Syntactic.Functional |
| Nest | Data.NestTuple.TH |
| nest | Data.NestTuple |
| Nestable | Data.NestTuple |
| Nested | Data.NestTuple |
| NFData1 | Language.Syntactic.Syntax, Language.Syntactic |
| Nil | Language.Syntactic.Traversal, Language.Syntactic |
| Pair | |
| 1 (Data Constructor) | Data.NestTuple.TH |
| 2 (Data Constructor) | Language.Syntactic.Functional.Tuple |
| 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 |
| renameBind | Language.Syntactic.Functional |
| renameUnique | Language.Syntactic.Functional |
| renameUnique' | 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 |
| 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 |
| smartSymDecor | Language.Syntactic.Decoration, Language.Syntactic |
| smartSymTyped | Language.Syntactic.Syntax, Language.Syntactic |
| smartWS | Language.Syntactic.Functional.WellScoped |
| Snd | Language.Syntactic.Functional.Tuple |
| 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.MonadTyped |
| 2 (Function) | Language.Syntactic.Sugar.Monad |
| sugarN | Language.Syntactic.Sugar, Language.Syntactic |
| sugarSym | Language.Syntactic.Sugar, Language.Syntactic |
| sugarSymDecor | Language.Syntactic.Decoration, 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 |
| toNest | Data.NestTuple.TH |
| toTree | Language.Syntactic.Traversal, Language.Syntactic |
| 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 |
| unnest | Data.NestTuple |
| 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 |
| viewDataDef | Language.Syntactic.TH |
| 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 |