Index - U
| UCallS | Traq.QPL.Syntax, Traq.QPL |
| UCommentS | Traq.QPL.Syntax, Traq.QPL |
| UForInDomainS | Traq.QPL.Syntax, Traq.QPL |
| UForInRangeS | Traq.QPL.Syntax, Traq.QPL |
| uniform | Traq.Data.Probability.Class, Traq.Data.Probability |
| UniformE | Traq.CPL.Syntax, Traq.CPL |
| union | Traq.Data.Context |
| UniqNamesCtx | Traq.Compiler.Prelude, Traq.Compiler |
| unique_id | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| Unitary | |
| 1 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| 2 (Data Constructor) | Traq.Analysis.CostModel.Class |
| UnitaryCompilePrim | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| UnitaryCostPrim | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| unitaryExprCosts | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| UnitaryQueries | |
| 1 (Type/Class) | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| 2 (Data Constructor) | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| unitaryQueryCosts | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| UnitaryS | Traq.QPL.Syntax, Traq.QPL |
| unitarySubroutineTVBudget | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| unitarySubroutineTVError | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| unitarySubroutineTVErrorTotal | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| unlined | Traq.Utils.Printing |
| UnOp | Traq.CPL.Syntax, Traq.CPL |
| UnOpE | Traq.CPL.Syntax, Traq.CPL |
| unsafeLookup | Traq.Data.Context |
| unsafeLookupE | Traq.Data.Context |
| unsafePut | Traq.Data.Context |
| unSym | Traq.Data.Symbolic |
| unworded | Traq.Utils.Printing |
| un_op | Traq.CPL.Syntax, Traq.CPL |
| UpdateArrE | Traq.CPL.Syntax, Traq.CPL |
| UProcAndMeas | Traq.QPL.Syntax, Traq.QPL |
| UProcBody | |
| 1 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| 2 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| UProcDecl | Traq.QPL.Syntax, Traq.QPL |
| uproc_aux_types | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| UQSearchEnv | |
| 1 (Type/Class) | Traq.Primitives.Search.QSearchCFNW |
| 2 (Data Constructor) | Traq.Primitives.Search.QSearchCFNW |
| uqueries | Traq.Analysis.CostModel.QueryCost |
| URepeatS | Traq.QPL.Syntax, Traq.QPL |
| USeqS | Traq.QPL.Syntax, Traq.QPL |
| USkipS | Traq.QPL.Syntax, Traq.QPL |
| UStmt | Traq.QPL.Syntax, Traq.QPL |
| UWithComputedS | Traq.QPL.Syntax, Traq.QPL |