Index - A
| addOnePrefix | Traq.ProtoLang.Vars, Traq.ProtoLang |
| AddOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| addProc | Traq.Compiler.Prelude, Traq.Compiler |
| Adjoint | Traq.CQPL.Syntax, Traq.CQPL |
| adjoint | Traq.CQPL.Syntax, Traq.CQPL |
| algoQSearchZalka | Traq.Primitives.Search.QSearchCFNW |
| AllK | Traq.Primitives.Search.Prelude |
| allNamesP | Traq.ProtoLang.Vars, Traq.ProtoLang |
| allocAncilla | Traq.Compiler.Unitary, Traq.Compiler |
| allocAncillaWithPref | Traq.Compiler.Unitary, Traq.Compiler |
| Amplify | |
| 1 (Type/Class) | Traq.Primitives.Amplify.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Amplify.Prelude |
| AndOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| annEpsQ | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| annEpsQ1 | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| annEpsU | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| annEpsU1 | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| AnnFailProb | |
| 1 (Type/Class) | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| 2 (Data Constructor) | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| annFixedEps | Traq.Analysis.Annotate.Basic, Traq.Analysis.Annotate, Traq.Analysis |
| annNoPrims | Traq.Analysis.Annotate.Basic, Traq.Analysis.Annotate, Traq.Analysis |
| AnnotateEnv | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| AnnotateMonad | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| annotateProgWith | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| annotateProgWithErrorBudget | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| annotateProgWithErrorBudgetU | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| Annotater | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| AnnotateState | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| AnnotateSymState | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| AnnotateWithErrorBudgetQ | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| AnnotateWithErrorBudgetU | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| annSinglePrim | Traq.Analysis.Annotate.Basic, Traq.Analysis.Annotate, Traq.Analysis |
| annSymEps | Traq.Analysis.Annotate.Symbolic, Traq.Analysis.Annotate, Traq.Analysis |
| annSymEpsProg | Traq.Analysis.Annotate.Symbolic, Traq.Analysis.Annotate, Traq.Analysis |
| AnyK | Traq.Primitives.Search.Prelude |
| args | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| Arr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| arraySearch | Traq.Examples.Search |
| arraySearchIx | Traq.Examples.Search |
| ArrV | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| arr_expr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| AssignS | Traq.CQPL.Syntax, Traq.CQPL |
| at | Traq.Data.Context |
| aux_tys | Traq.Compiler.Prelude, Traq.Compiler |