Index - U
| unArg | FreeC.Backend.Agda.Syntax |
| UNDEFINED | FreeC.Frontend.IR.Token |
| Undefined | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| undefinedExpr | FreeC.Backend.Agda.Converter.Free |
| undefinedFuncName | FreeC.IR.Base.Prelude |
| Underscore | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 3 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| underscore | FreeC.Backend.Agda.Syntax |
| UnderscoreName | FreeC.Backend.Coq.Syntax |
| UnderscorePat | FreeC.Backend.Coq.Syntax |
| Ungeneralizable | FreeC.Backend.Coq.Syntax |
| unhoist | FreeC.Monad.Class.Hoistable, FreeC.Monad.Reporter |
| UnHoistable | FreeC.Monad.Class.Hoistable |
| UnificationError | |
| 1 (Type/Class) | FreeC.IR.Unification |
| 2 (Data Constructor) | FreeC.IR.Unification |
| unify | FreeC.IR.Unification |
| unifyAll | FreeC.IR.Unification |
| unifyAllOrFail | FreeC.IR.Unification |
| unifyOrFail | FreeC.IR.Unification |
| unitConName | FreeC.IR.Base.Prelude |
| unitTypeConName | FreeC.IR.Base.Prelude |
| UniverseCheck | FreeC.Backend.Agda.Syntax |
| unknownFreeVariables | FreeC.Backend.Agda.Syntax |
| UnknownFVs | FreeC.Backend.Agda.Syntax |
| unnamed | FreeC.Backend.Agda.Syntax |
| unnamedArg | FreeC.Backend.Agda.Syntax |
| unpackComment | FreeC.Backend.Coq.Syntax |
| unpackQualid | FreeC.Backend.Coq.Syntax |
| unPrettyCoq | FreeC.Backend.Coq.Pretty |
| UnQual | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| unqualify | FreeC.Backend.Agda.Syntax |
| Unquote | FreeC.Backend.Agda.Syntax |
| UnquoteDecl | FreeC.Backend.Agda.Syntax |
| UnquoteDef | FreeC.Backend.Agda.Syntax |
| unranged | FreeC.Backend.Agda.Syntax |
| Unrelated | FreeC.Backend.Agda.Syntax |
| UnsetOption | FreeC.Backend.Coq.Syntax |
| unsetOption | FreeC.Backend.Coq.Syntax |
| untypedApp | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| untypedCon | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| untypedTypeAppExpr | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| untypedVar | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| unwrapComponent | FreeC.IR.DependencyGraph |
| unwrapRef | FreeC.IR.Reference |
| up | |
| 1 (Function) | FreeC.Backend.Agda.Base |
| 2 (Function) | FreeC.Backend.Agda.Converter.Size |
| updateNamedArg | FreeC.Backend.Agda.Syntax |
| updateNamedArgA | FreeC.Backend.Agda.Syntax |
| usableCohesion | FreeC.Backend.Agda.Syntax |
| usableModality | FreeC.Backend.Agda.Syntax |
| usableQuantity | FreeC.Backend.Agda.Syntax |
| usableRelevance | FreeC.Backend.Agda.Syntax |
| usedAgdaIdents | FreeC.Environment |
| usedIdents | FreeC.Environment |
| UseEverything | FreeC.Backend.Agda.Syntax |
| userNamed | FreeC.Backend.Agda.Syntax |
| UserWritten | FreeC.Backend.Agda.Syntax |
| Using | |
| 1 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| using | FreeC.Backend.Agda.Syntax |
| Using' | FreeC.Backend.Agda.Syntax |