Index - U
| UDec | Abstract |
| udec | Abstract |
| uid | Abstract |
| Un | Termination |
| undefinedFType | TCM |
| underAbs | TCM |
| underAbs' | TCM |
| underAbs_ | TCM |
| Underscore | Lexer |
| unifyIndices | TypeChecker |
| unionCMSet | Termination |
| unionCMSet' | Termination |
| unionKind | Abstract |
| uniqueName | TCM |
| unit_tycon | HsSyntax |
| Unknown | Concrete |
| UnknownConstructors | Eval |
| unlessM | Util |
| unqual | |
| 1 (Function) | Abstract |
| 2 (Function) | Concrete |
| unsafeName | Abstract |
| unTag | Abstract |
| unTSO | TreeShapedOrder |
| UnusableP | Abstract |
| up | Eval |
| upData | Eval |
| update | Value |
| updateValu | Eval |
| upperBound | Concrete |
| upperDec | TCM |
| upperDecs | TCM |
| upperKind | Abstract |
| upperSemiCont | TypeChecker |
| UsedDefs | Abstract |
| usedDefs | Abstract |
| UserName | Abstract |