Index - U
| ucheck | Core.Constraints |
| UConstraint | |
| 1 (Type/Class) | Core.TT |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| uconstraints | Core.Evaluate |
| UCs | Core.TT |
| UExp | Core.TT |
| UImplicit | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ULE | Core.TT |
| ULT | Core.TT |
| UN | Core.TT |
| unApply | Core.TT |
| Unchecked | Core.Evaluate |
| underline | Idris.Colours |
| Undo | |
| 1 (Data Constructor) | Core.ProofState, Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| undo | Core.Elaborate |
| unIdiom | Idris.DSL |
| unified | Core.ProofState, Core.Elaborate |
| UnifiedD | Idris.PartialEval |
| unify | Core.Unify |
| unifyLog | |
| 1 (Function) | Core.Elaborate |
| 2 (Function) | Idris.ParseExpr, Idris.Parser |
| unifylog | Core.ProofState, Core.Elaborate |
| UnifyProblems | Core.ProofState, Core.Elaborate |
| unifyProblems | Core.Elaborate |
| UnifyScope | Core.TT |
| uniqueBinders | Core.TT |
| uniqueName | Core.TT |
| uniqueNameCtxt | Core.Elaborate |
| unique_hole | Core.Elaborate |
| unique_hole' | Core.Elaborate |
| unitCon | Idris.AbsSyntax |
| unitDecl | Idris.AbsSyntax |
| unitTy | Idris.AbsSyntax |
| UniverseError | Core.TT |
| Universes | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Unknown | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| unlit | Idris.Unlit |
| UnmatchedCase | Core.CaseTree |
| UnsetOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| unusedpos | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| unwrapFC | Core.TT |
| upd | Idris.Coverage |
| UPDATE | IRTS.Bytecode |
| updateAux | Core.Elaborate |
| updateContext | Idris.AbsSyntax |
| updateDef | Core.TT |
| updateN | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| updateNs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| update_term | Core.Elaborate |
| Usage | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| usage | Main |
| usagemsg | Main |
| UseCodegen | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| used | Idris.UnusedArgs |
| usedArg | IRTS.Lang, IRTS.Defunctionalise |
| usedIn | IRTS.Lang, IRTS.Defunctionalise |
| usedNamesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| usedns | Core.ProofState, Core.Elaborate |
| useREPL | Idris.AbsSyntax |
| UseUndef | Core.Evaluate |
| Using | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| using | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| usingDecl | Idris.Parser |
| usingDeclList | Idris.Parser |
| using_ | Idris.Parser |
| UVal | Core.TT |
| UVar | Core.TT |