| backslash | DDC.Data.Pretty, DDC.Core.Pretty |
| BAnon | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| BDaConUnit | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BEmpty | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| between | DDC.Control.Parser |
| Bind | |
| 1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Type/Class) | DDC.Data.Env |
| bind0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| bind0s | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| bind1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| bind1s | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| BindCasePat | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindCon | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindDef | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| bindDefT | DDC.Core.Collect.BindStruct |
| bindDefX | DDC.Core.Collect.FreeX |
| Binder | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| binderOfBind | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| BindForall | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| Binding | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| BindLAM | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLam | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLet | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLetRec | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLetRegions | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindLetRegionWith | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| bindsOfLets | DDC.Core.Exp.Annot |
| bindsOfPat | DDC.Core.Exp.Annot |
| BindStack | |
| 1 (Type/Class) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| 2 (Data Constructor) | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT |
| BindStruct | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindTAbs | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindTree | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindUse | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BindWay | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BKiCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BName | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| BNone | |
| 1 (Data Constructor) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Data Constructor) | DDC.Data.Env |
| bool | DDC.Data.Pretty, DDC.Core.Pretty |
| Bound | |
| 1 (Type/Class) | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| 2 (Type/Class) | DDC.Data.Env |
| BoundExp | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BoundLevel | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| boundLevelOfBindWay | DDC.Core.Collect.BindStruct |
| boundMatchesBind | |
| 1 (Function) | DDC.Type.Exp.Simple.Compounds, DDC.Type.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp.Generic |
| 2 (Function) | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| boundOfBind | DDC.Type.Exp.Generic.Binding, DDC.Type.Exp.Generic |
| BoundSpec | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BoundWit | DDC.Core.Collect.BindStruct, DDC.Core.Collect |
| BPure | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| braces | DDC.Data.Pretty, DDC.Core.Pretty |
| brackets | DDC.Data.Pretty, DDC.Core.Pretty |
| BSoCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BTcCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| BTwCon | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |
| Builtin | DDC.Core.Lexer.Tokens, DDC.Core.Lexer |