Index - U
| UIx | |
| 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 |
| UName | |
| 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 |
| UnboundLevel0Vars | DDC.Core.Fragment |
| UnboxedInstantiation | DDC.Core.Fragment |
| uncons | DDC.Control.Parser |
| unexpected | DDC.Control.Parser |
| unhashTyCon | DDC.Type.Sum |
| unicodeOperatorsInfix | DDC.Core.Lexer.Unicode |
| union | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 3 (Function) | DDC.Data.Env |
| 4 (Function) | DDC.Core.Env.EnvT |
| 5 (Function) | DDC.Core.Env.EnvX |
| unionDataDefs | DDC.Type.DataDef |
| unions | |
| 1 (Function) | DDC.Type.Sum |
| 2 (Function) | DDC.Type.Env |
| 3 (Function) | DDC.Data.Env |
| 4 (Function) | DDC.Core.Env.EnvT |
| 5 (Function) | DDC.Core.Env.EnvX |
| Universe | DDC.Type.Universe |
| UniverseData | DDC.Type.Universe |
| universeFromType1 | DDC.Type.Universe |
| universeFromType2 | DDC.Type.Universe |
| universeFromType3 | DDC.Type.Universe |
| UniverseKind | DDC.Type.Universe |
| UniverseLevel | DDC.Type.Universe |
| universeOfType | DDC.Type.Universe |
| UniverseSort | DDC.Type.Universe |
| UniverseSpec | DDC.Type.Universe |
| universeUp | DDC.Type.Universe |
| UniverseWitness | DDC.Type.Universe |
| unknownError | DDC.Control.Parser |
| UnusedBindings | DDC.Core.Fragment |
| UnusedMatches | DDC.Core.Fragment |
| updateParserState | DDC.Control.Parser |
| updateState | DDC.Control.Parser |
| upper | DDC.Control.Parser |
| UPrim | DDC.Type.Exp.Simple.Exp, DDC.Type.Exp, DDC.Type.Exp.Simple, DDC.Core.Exp, DDC.Core.Exp.Annot |
| use0 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |
| use1 | DDC.Type.Transform.Rename, DDC.Core.Transform.Rename |