Index
| $sel:args:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:arg_ty:QMax | Traq.Primitives.Max.QMax |
| $sel:aux_tys:ProcSignature | Traq.Compiler.Prelude, Traq.Compiler |
| $sel:body_ustmt:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:cond:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:cond_expr:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:cproc_body_stmt:CProcBody | Traq.QPL.Syntax, Traq.QPL |
| $sel:cproc_local_vars:CProcBody | Traq.QPL.Syntax, Traq.QPL |
| $sel:cproc_param_names:CProcBody | Traq.QPL.Syntax, Traq.QPL |
| $sel:dagger:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:distr_expr:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:expr:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:fun:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:info_comment:ProcDef | Traq.QPL.Syntax, Traq.QPL |
| $sel:in_tys:ProcSignature | Traq.Compiler.Prelude, Traq.Compiler |
| $sel:iter_lim:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:iter_lim:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:iter_meta_var:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:iter_meta_var:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:iter_ty:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:loop_body:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:loop_index:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:loop_index_ty:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:loop_values:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:max_var:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:meta_params:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:n_iter:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:n_iter:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:out_tys:ProcSignature | Traq.Compiler.Prelude, Traq.Compiler |
| $sel:pred_call_builder:UQSearchEnv | Traq.Primitives.Search.QSearchCFNW |
| $sel:proc_body:ProcDef | Traq.QPL.Syntax, Traq.QPL |
| $sel:proc_meta_params:ProcDef | Traq.QPL.Syntax, Traq.QPL |
| $sel:proc_name:ProcDef | Traq.QPL.Syntax, Traq.QPL |
| $sel:proc_param_types:ProcDef | Traq.QPL.Syntax, Traq.QPL |
| $sel:qargs:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:res_ty:QMax | Traq.Primitives.Max.QMax |
| $sel:ret:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:rets:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:search_arg_type:UQSearchEnv | Traq.Primitives.Search.QSearchCFNW |
| $sel:search_kind:PrimSearch | Traq.Primitives.Search.Prelude |
| $sel:search_ty:PrimSearch | Traq.Primitives.Search.Prelude |
| $sel:s_false:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:s_true:SkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:uloop_body:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:unitary:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:uproc_body_stmt:UProcBody | Traq.QPL.Syntax, Traq.QPL |
| $sel:uproc_id:USkipS | Traq.QPL.Syntax, Traq.QPL |
| $sel:uproc_param_names:UProcBody | Traq.QPL.Syntax, Traq.QPL |
| $sel:uproc_param_tags:UProcBody | Traq.QPL.Syntax, Traq.QPL |
| $sel:with_ustmt:USkipS | Traq.QPL.Syntax, Traq.QPL |
| .&&. | Traq.CPL.Syntax, Traq.CPL |
| .+. | Traq.CPL.Syntax, Traq.CPL |
| .<=. | Traq.CPL.Syntax, Traq.CPL |
| :<: | Traq.Data.Subtyping |
| ?? | Traq.Control.Monad |
| addOnePrefix | Traq.CPL.Vars, Traq.CPL |
| AddOp | Traq.CPL.Syntax, Traq.CPL |
| addProc | Traq.Compiler.Prelude, Traq.Compiler |
| addStmt | Traq.Compiler.Prelude, Traq.Compiler |
| addUStmt | Traq.Compiler.Prelude, Traq.Compiler |
| Adjoint | Traq.QPL.Syntax, Traq.QPL |
| adjoint | Traq.QPL.Syntax, Traq.QPL |
| algoQSearchZalka | Traq.Primitives.Search.QSearchCFNW |
| AllK | Traq.Primitives.Search.Prelude |
| allNamesP | Traq.CPL.Vars, Traq.CPL |
| allocAncilla | Traq.Compiler.Unitary, Traq.Compiler |
| allocAncillaWithPref | Traq.Compiler.Unitary, Traq.Compiler |
| allocLocal | Traq.Compiler.Prelude, Traq.Compiler |
| allocLocalWithPrefix | Traq.Compiler.Prelude, Traq.Compiler |
| AllOp | Traq.CPL.Syntax, Traq.CPL |
| Amplify | |
| 1 (Type/Class) | Traq.Primitives.Amplify.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Amplify.Prelude |
| AndOp | Traq.CPL.Syntax, Traq.CPL |
| 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 |
| AnyOp | Traq.CPL.Syntax, Traq.CPL |
| Arg | |
| 1 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| 2 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| args | Traq.CPL.Syntax, Traq.CPL |
| Arr | Traq.CPL.Syntax, Traq.CPL |
| arraySearch | Traq.Examples.Search |
| arraySearchIx | Traq.Examples.Search |
| ArrElemArg | Traq.QPL.Syntax, Traq.QPL |
| ArrV | Traq.CPL.Syntax, Traq.CPL |
| arr_expr | Traq.CPL.Syntax, Traq.CPL |
| AssignS | Traq.QPL.Syntax, Traq.QPL |
| at | Traq.Data.Context |
| BasicExpr | Traq.CPL.Syntax, Traq.CPL |
| BasicExprE | Traq.CPL.Syntax, Traq.CPL |
| BasicGate | Traq.QPL.Syntax, Traq.QPL |
| BasicGateU | Traq.QPL.Syntax, Traq.QPL |
| basic_expr | Traq.CPL.Syntax, Traq.CPL |
| bernoulli | Traq.Data.Probability.Class, Traq.Data.Probability |
| BernoulliE | Traq.CPL.Syntax, Traq.CPL |
| bestBitsize | Traq.CPL.Eval, Traq.CPL |
| BinOp | Traq.CPL.Syntax, Traq.CPL |
| BinOpE | Traq.CPL.Syntax, Traq.CPL |
| bin_op | Traq.CPL.Syntax, Traq.CPL |
| bitsize | Traq.CPL.Eval, Traq.CPL |
| Bitvec | Traq.CPL.Syntax, Traq.CPL |
| body_stmt | Traq.CPL.Syntax, Traq.CPL |
| BooleanPredicate | |
| 1 (Type/Class) | Traq.Primitives.Search.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Search.Prelude |
| bracedBlock | Traq.Utils.Printing |
| bracedBlockWith | Traq.Utils.Printing |
| Branch | Traq.Data.Probability.Tree |
| branch | Traq.CPL.Syntax, Traq.CPL |
| build | Traq.Utils.Printing |
| buildProc | Traq.Compiler.Prelude, Traq.Compiler |
| buildUProc | Traq.Compiler.Prelude, Traq.Compiler |
| callDistrExpr | Traq.Analysis.CostModel.Class |
| callExpr | Traq.Analysis.CostModel.Class |
| CallS | Traq.QPL.Syntax, Traq.QPL |
| CAmp | Traq.Primitives |
| CAmplify | |
| 1 (Type/Class) | Traq.Primitives.Amplify.CAmplify |
| 2 (Data Constructor) | Traq.Primitives.Amplify.CAmplify |
| canError | Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis |
| CatchE | Traq.Data.Errors |
| CheckingCtx | Traq.QPL.TypeCheck, Traq.QPL |
| checkNode | Traq.Primitives.TreeSearch |
| checkNodeArgs | Traq.Primitives.TreeSearch |
| checkVarsUnique | Traq.CPL.Vars, Traq.CPL |
| choose | Traq.Data.Probability.Class, Traq.Data.Probability |
| choose2 | Traq.Data.Probability.Class, Traq.Data.Probability |
| Classical | Traq.Analysis.CostModel.Class |
| CNOT | Traq.QPL.Syntax, Traq.QPL |
| CoerceValue | Traq.CPL.Eval, Traq.CPL |
| commaList | Traq.Utils.Printing |
| commented | Traq.Utils.Printing |
| CommentS | Traq.QPL.Syntax, Traq.QPL |
| CompileQ | Traq.Compiler.Quantum, Traq.Compiler |
| compileQ | Traq.Compiler.Quantum, Traq.Compiler |
| compileQPrim | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| CompilerT | Traq.Compiler.Prelude, Traq.Compiler |
| CompileU | Traq.Compiler.Unitary, Traq.Compiler |
| compileU | Traq.Compiler.Unitary, Traq.Compiler |
| compileU1 | Traq.Compiler.Unitary |
| compileUPrim | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| compileWith | Traq.Compiler.Prelude, Traq.Compiler |
| compress | Traq.Data.Probability.List |
| con | Traq.Data.Symbolic |
| concatenated | Traq.Utils.Printing |
| cond | Traq.CPL.Syntax, Traq.CPL |
| conditional | Traq.Data.Probability.Class, Traq.Data.Probability |
| ConstE | Traq.CPL.Syntax, Traq.CPL |
| Context | Traq.Data.Context |
| Controlled | Traq.QPL.Syntax, Traq.QPL |
| COPY | Traq.QPL.Syntax, Traq.QPL |
| Core | Traq.CPL.Syntax, Traq.CPL |
| Core' | Traq.CPL.Syntax, Traq.CPL |
| CostAnalysisMonad | Traq.Analysis.Cost.Prelude, Traq.Analysis.Cost, Traq.Analysis |
| CostCalculator | Traq.QPL.Cost, Traq.QPL |
| CostMap | Traq.QPL.Cost, Traq.QPL |
| CostModel | Traq.Analysis.CostModel.Class |
| CostModelReqs | Traq.Analysis.Cost.Prelude, Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| CostQ | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| costQ | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| costQ1 | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| costQProg | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| CostReqs | Traq.Analysis.Cost.Prelude, Traq.Analysis.Cost, Traq.Analysis |
| CostU | Traq.Analysis.Cost.Unitary, Traq.Analysis.Cost, Traq.Analysis |
| costU | Traq.Analysis.Cost.Unitary, Traq.Analysis.Cost, Traq.Analysis |
| costU1 | Traq.Analysis.Cost.Unitary, Traq.Analysis.Cost, Traq.Analysis |
| costUProg | Traq.Analysis.Cost.Unitary, Traq.Analysis.Cost, Traq.Analysis |
| CProcBody | |
| 1 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| 2 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| CProcDecl | Traq.QPL.Syntax, Traq.QPL |
| cqueries | Traq.Analysis.CostModel.QueryCost |
| curr_error | Traq.Data.Errors |
| DAny | Traq.Primitives |
| DefaultE | Traq.CPL.Syntax, Traq.CPL |
| DefaultPrimCollection | Traq.Primitives |
| DefaultPrims | Traq.Primitives |
| DefaultPrims' | Traq.Primitives |
| defaultV | Traq.CPL.Eval, Traq.CPL |
| default_ | Traq.Data.Default |
| delimitedBlock | Traq.Utils.Printing |
| desugarS | Traq.QPL.Syntax, Traq.QPL |
| DetSearch | |
| 1 (Type/Class) | Traq.Primitives.Search.DetSearch |
| 2 (Data Constructor) | Traq.Primitives.Search.DetSearch |
| Distr | Traq.Data.Probability.Tree, Traq.Data.Probability |
| DistrExpr | Traq.CPL.Syntax, Traq.CPL |
| DistrU | Traq.QPL.Syntax, Traq.QPL |
| distr_expr | Traq.CPL.Syntax, Traq.CPL |
| doEndBlock | Traq.Utils.Printing |
| domain | Traq.CPL.Eval, Traq.CPL |
| domainSize | Traq.CPL.Eval, Traq.CPL |
| DynIndexE | Traq.CPL.Syntax, Traq.CPL |
| elems | Traq.Data.Context |
| empty | Traq.Data.Context |
| endl | Traq.Utils.Printing |
| EqOp | Traq.CPL.Syntax, Traq.CPL |
| ErrorAnalysisMonad | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| ErrorReqs | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| eval | Traq.CPL.Eval, Traq.CPL |
| eval1 | Traq.CPL.Eval, Traq.CPL |
| EvalArgs | Traq.CPL.Eval, Traq.CPL, Traq.CPL |
| evalBasicExpr | Traq.CPL.Eval, Traq.CPL |
| EvalPrim | Traq.Primitives.Class.Eval, Traq.Primitives.Class, Traq.Primitives |
| evalPrim | Traq.Primitives.Class.Eval, Traq.Primitives.Class, Traq.Primitives |
| EvalReqs | Traq.CPL.Eval, Traq.CPL |
| Evaluatable | Traq.CPL.Eval, Traq.CPL |
| EvaluationEnv | Traq.CPL.Eval, Traq.CPL |
| EvaluationMonad | Traq.CPL.Eval, Traq.CPL |
| Evaluator | Traq.CPL.Eval, Traq.CPL |
| Event | Traq.Data.Probability.Class, Traq.Data.Probability |
| ExpCostQ | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| expCostQ | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| expCostQ1 | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| expCostQProg | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| expectation | Traq.Data.Probability.Class, Traq.Data.Probability |
| expectationA | Traq.Data.Probability.Class, Traq.Data.Probability |
| ExpMonad | |
| 1 (Type/Class) | Traq.Data.Probability.Cont, Traq.Data.Probability |
| 2 (Data Constructor) | Traq.Data.Probability.Cont |
| Expr | Traq.CPL.Syntax, Traq.CPL |
| expr | Traq.CPL.Syntax, Traq.CPL |
| ExprS | Traq.CPL.Syntax, Traq.CPL |
| extract | Traq.Data.Subtyping |
| FailProb | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| failProb | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| Fin | Traq.CPL.Syntax, Traq.CPL |
| FindXorPeriod | |
| 1 (Type/Class) | Traq.Primitives.Simons.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Simons.Prelude |
| FindXorPeriodArg | |
| 1 (Type/Class) | Traq.Primitives.Simons.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Simons.Prelude |
| FinV | Traq.CPL.Syntax, Traq.CPL |
| flattenAndCompress | Traq.Data.Probability.Tree |
| flattenSeq | Traq.CPL.Rewrites |
| fname | Traq.CPL.Syntax, Traq.CPL |
| FnType | |
| 1 (Type/Class) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Data Constructor) | Traq.CPL.Syntax, Traq.CPL |
| forAccumM | Traq.Control.Monad |
| ForInArray | Traq.QPL.Syntax, Traq.QPL |
| ForInRangeS | Traq.QPL.Syntax, Traq.QPL |
| ForS | Traq.CPL.Syntax, Traq.CPL |
| freeVars | Traq.CPL.Vars, Traq.CPL |
| freeVarsList | Traq.CPL.Vars, Traq.CPL |
| fromBuild | Traq.Utils.Printing |
| fromList | Traq.Data.Context |
| fromListWith | Traq.Data.Context |
| fromValue | Traq.CPL.Eval, Traq.CPL |
| fun | Traq.Primitives.Simons.Prelude |
| FunBody | |
| 1 (Type/Class) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Data Constructor) | Traq.CPL.Syntax, Traq.CPL |
| FunCallE | Traq.CPL.Syntax, Traq.CPL |
| FunctionCall | |
| 1 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| 2 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| FunCtx | Traq.CPL.Syntax, Traq.CPL |
| funCtxToNamedFuns | Traq.CPL.Syntax, Traq.CPL |
| FunDef | |
| 1 (Type/Class) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Data Constructor) | Traq.CPL.Syntax, Traq.CPL |
| FunInterp | Traq.CPL.Eval, Traq.CPL |
| FunInterpCtx | Traq.CPL.Eval, Traq.CPL |
| funs | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| fun_def | Traq.CPL.Syntax, Traq.CPL |
| fun_name | Traq.CPL.Syntax, Traq.CPL |
| getArgTy | Traq.QPL.TypeCheck, Traq.QPL |
| getChildren | Traq.Primitives.TreeSearch |
| getChildrenArgs | Traq.Primitives.TreeSearch |
| getCost | Traq.Analysis.CostModel.QueryCost |
| getFailProb | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| groverK | Traq.Primitives.Search.QSearchCFNW |
| HasAdjoint | Traq.QPL.Syntax, Traq.QPL |
| HasAst | Traq.Utils.ASTRewriting |
| HasDefault | Traq.Data.Default |
| HasEvaluationEnv | Traq.CPL.Eval, Traq.CPL |
| HasFreeVars | Traq.CPL.Vars, Traq.CPL |
| HasFunCtx | Traq.CPL.Syntax, Traq.CPL |
| HasFunInterpCtx | Traq.CPL.Eval, Traq.CPL |
| HasPrecisionSplittingStrategy | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| HasProcCtx | Traq.QPL.Syntax, Traq.QPL |
| HasProgramState | Traq.CPL.Eval, Traq.CPL |
| HasStmt | Traq.Utils.ASTRewriting |
| HasTypingCtx | Traq.CPL.TypeCheck, Traq.CPL |
| HasUniqNamesCtx | Traq.Compiler.Prelude, Traq.Compiler |
| HGate | Traq.QPL.Syntax, Traq.QPL |
| Ident | Traq.Prelude |
| IfThenElseS | |
| 1 (Data Constructor) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| ifThenS | Traq.QPL.Syntax, Traq.QPL |
| ignoreWriter | Traq.Control.Monad |
| indented | Traq.Utils.Printing |
| IndexE | Traq.CPL.Syntax, Traq.CPL |
| inferRetTypesPrim | Traq.Primitives.Class.TypeCheck, Traq.Primitives.Class, Traq.Primitives |
| inferTypes | Traq.CPL.TypeCheck, Traq.CPL |
| inject | Traq.Data.Subtyping |
| ins | Traq.Data.Context |
| IsA | Traq.Data.Subtyping |
| isCProc | Traq.QPL.Syntax, Traq.QPL |
| isUProc | Traq.QPL.Syntax, Traq.QPL |
| isValidIdentifier | Traq.CPL.Parser, Traq.CPL |
| ix | Traq.Data.Context |
| ix_expr | Traq.CPL.Syntax, Traq.CPL |
| ix_val | Traq.CPL.Syntax, Traq.CPL |
| joined | Traq.Utils.Printing |
| keys | Traq.Data.Context |
| Leaf | Traq.Data.Probability.Tree |
| LEqOp | Traq.CPL.Syntax, Traq.CPL |
| lhs | Traq.CPL.Syntax, Traq.CPL |
| liftEither | Traq.Control.Monad |
| listenWord | Traq.Utils.Printing |
| listToShape | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| lookup | Traq.Data.Context |
| lookup' | Traq.Data.Context |
| lookupFunE | Traq.CPL.TypeCheck, Traq.CPL |
| loop_body | Traq.CPL.Syntax, Traq.CPL |
| loop_ix | Traq.CPL.Syntax, Traq.CPL |
| loop_ty | Traq.CPL.Syntax, Traq.CPL |
| LoweringCtx | Traq.Compiler.Prelude, Traq.Compiler |
| LoweringEnv | Traq.Compiler.Prelude, Traq.Compiler |
| LoweringOutput | Traq.Compiler.Prelude, Traq.Compiler |
| lowerProgram | Traq.Compiler.Quantum, Traq.Compiler |
| lowerProgramU | Traq.Compiler.Unitary, Traq.Compiler |
| LtOp | Traq.CPL.Syntax, Traq.CPL |
| MajOp | Traq.CPL.Syntax, Traq.CPL |
| mapAccumM | Traq.Control.Monad |
| mapped | Traq.Utils.Printing |
| MappedSize | Traq.CPL.Lenses, Traq.CPL, Traq.CPL |
| MapSize | Traq.CPL.Lenses, Traq.CPL |
| mapSize | Traq.CPL.Lenses, Traq.CPL |
| mass | Traq.Data.Probability.Class, Traq.Data.Probability |
| matrixExampleS | Traq.Examples.MatrixSearch |
| maybeWithError | Traq.Control.Monad |
| mbody | Traq.CPL.Syntax, Traq.CPL |
| merge | Traq.Data.Context |
| MessageE | Traq.Data.Errors |
| MetaName | Traq.CPL.Syntax, Traq.CPL, Traq.QPL.Syntax, Traq.QPL |
| MetaParam | Traq.CPL.Syntax, Traq.CPL, Traq.QPL.Syntax, Traq.QPL |
| MetaSize | Traq.CPL.Syntax, Traq.CPL, Traq.QPL.Syntax, Traq.QPL |
| mkAnnotateEnv | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| mkForInRangeS | Traq.QPL.Syntax, Traq.QPL |
| mkMatrixExample | Traq.Examples.MatrixSearch |
| mkQProcName | Traq.Compiler.Prelude, Traq.Compiler |
| mkUProcName | Traq.Compiler.Prelude, Traq.Compiler |
| mk_call | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| mk_meas | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| mk_ucall | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| MonadExp | Traq.Data.Probability.Class, Traq.Data.Probability |
| MonadProb | Traq.Data.Probability.Class, Traq.Data.Probability |
| MulOp | Traq.CPL.Syntax, Traq.CPL |
| MultiOrOp | Traq.CPL.Syntax, Traq.CPL |
| MyError | Traq.Data.Errors |
| n | Traq.Primitives.Simons.Prelude |
| NamedFunDef | |
| 1 (Type/Class) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Data Constructor) | Traq.CPL.Syntax, Traq.CPL |
| namedFunsToFunCtx | Traq.CPL.Syntax, Traq.CPL |
| NAryE | Traq.CPL.Syntax, Traq.CPL |
| NAryOp | Traq.CPL.Syntax, Traq.CPL |
| newIdent | Traq.Compiler.Prelude, Traq.Compiler |
| nextId | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| non' | Traq.Control.Monad |
| normalize | Traq.Data.Probability.Class, Traq.Data.Probability |
| notE | Traq.CPL.Syntax, Traq.CPL |
| NotOp | Traq.CPL.Syntax, Traq.CPL |
| null | Traq.Data.Context |
| numQubits | Traq.QPL.Memory, Traq.QPL |
| op | Traq.CPL.Syntax, Traq.CPL |
| operand | Traq.CPL.Syntax, Traq.CPL |
| operands | Traq.CPL.Syntax, Traq.CPL |
| Outcomes | Traq.Data.Probability.List |
| outcomes | Traq.Data.Probability.Class, Traq.Data.Probability |
| outVars | Traq.CPL.Vars, Traq.CPL |
| pairSeq | Traq.CPL.Rewrites |
| param | Traq.CPL.Syntax, Traq.CPL |
| ParamAux | Traq.QPL.Syntax, Traq.QPL |
| ParamCtrl | Traq.QPL.Syntax, Traq.QPL |
| ParamE | Traq.CPL.Syntax, Traq.CPL |
| ParamInp | Traq.QPL.Syntax, Traq.QPL |
| ParamOut | Traq.QPL.Syntax, Traq.QPL |
| ParamTag | Traq.QPL.Syntax, Traq.QPL |
| ParamUnk | Traq.QPL.Syntax, Traq.QPL |
| param_names | Traq.CPL.Syntax, Traq.CPL |
| param_types | Traq.CPL.Syntax, Traq.CPL |
| Parseable | Traq.CPL.Parser, Traq.CPL |
| parseCode | Traq.CPL.Parser, Traq.CPL |
| parseE | Traq.CPL.Parser, Traq.CPL |
| parseFunDef | Traq.CPL.Parser, Traq.CPL |
| parsePrimParams | Traq.Primitives.Class.Serialize, Traq.Primitives.Class, Traq.Primitives |
| parseProgram | Traq.CPL.Parser, Traq.CPL |
| parseStmt | Traq.CPL.Parser, Traq.CPL |
| PartialFun | |
| 1 (Type/Class) | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| 2 (Data Constructor) | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| pfun_args | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| pfun_name | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| PhaseOnZero | Traq.QPL.Syntax, Traq.QPL |
| placeArgs | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| placeArgsWithExcess | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| postselect | Traq.Data.Probability.Class, Traq.Data.Probability |
| PrecisionSplittingStrategy | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| PrecType | Traq.Prelude |
| prepended | Traq.Utils.Printing |
| prev_error | Traq.Data.Errors |
| prim | Traq.CPL.Syntax, Traq.CPL |
| PrimCallE | Traq.CPL.Syntax, Traq.CPL |
| PrimCompileEnv | |
| 1 (Type/Class) | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| 2 (Data Constructor) | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| PrimCompileMonad | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| PrimFnShape | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| Primitive | |
| 1 (Type/Class) | Traq.Primitives.Class, Traq.Primitives |
| 2 (Data Constructor) | Traq.Primitives.Class, Traq.Primitives |
| primNameOf | Traq.Primitives.Class.Serialize, Traq.Primitives.Class, Traq.Primitives |
| primNames | Traq.Primitives.Class.Serialize, Traq.Primitives.Class, Traq.Primitives |
| PrimSearch | |
| 1 (Type/Class) | Traq.Primitives.Search.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Search.Prelude |
| PrimSearchKind | Traq.Primitives.Search.Prelude |
| prim_ret_types | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| printPrimParams | Traq.Primitives.Class.Serialize, Traq.Primitives.Class, Traq.Primitives |
| Prob | Traq.Data.Probability.Trans, Traq.Data.Probability |
| probabilityOf | Traq.Data.Probability.Class, Traq.Data.Probability |
| ProbList | |
| 1 (Type/Class) | Traq.Data.Probability.List, Traq.Data.Probability |
| 2 (Data Constructor) | Traq.Data.Probability.List |
| ProbT | |
| 1 (Type/Class) | Traq.Data.Probability.Trans, Traq.Data.Probability |
| 2 (Data Constructor) | Traq.Data.Probability.Trans, Traq.Data.Probability |
| ProbType | Traq.Data.Probability.Class, Traq.Data.Probability |
| prob_one | Traq.CPL.Syntax, Traq.CPL |
| ProcBody | Traq.QPL.Syntax, Traq.QPL |
| ProcBodyC | Traq.QPL.Syntax, Traq.QPL |
| ProcBodyU | Traq.QPL.Syntax, Traq.QPL |
| ProcBuilderT | Traq.Compiler.Prelude, Traq.Compiler |
| ProcCtx | Traq.QPL.Syntax, Traq.QPL |
| ProcDef | |
| 1 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| 2 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| ProcSignature | |
| 1 (Type/Class) | Traq.Compiler.Prelude, Traq.Compiler |
| 2 (Data Constructor) | Traq.Compiler.Prelude, Traq.Compiler |
| Program | |
| 1 (Type/Class) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Data Constructor) | Traq.CPL.Syntax, Traq.CPL |
| 3 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| 4 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| programCost | Traq.QPL.Cost, Traq.QPL |
| programParser | Traq.CPL.Parser, Traq.CPL |
| ProgramState | Traq.CPL.Eval, Traq.CPL |
| programToFunCtx | Traq.CPL.Syntax, Traq.CPL |
| project | Traq.Data.Subtyping |
| ProjectE | Traq.CPL.Syntax, Traq.CPL |
| put | Traq.Data.Context |
| putComment | Traq.Utils.Printing |
| putLine | Traq.Utils.Printing |
| putOrMatch | Traq.Data.Context |
| putWord | Traq.Utils.Printing |
| Py | Traq.Compiler.Python |
| py_arg | Traq.Compiler.Python |
| py_binOp | Traq.Compiler.Python |
| py_class | Traq.Compiler.Python |
| py_comment | Traq.Compiler.Python |
| py_decorator | Traq.Compiler.Python |
| py_def | Traq.Compiler.Python |
| py_defaultVal | Traq.Compiler.Python |
| py_expr | Traq.Compiler.Python |
| py_ifte | Traq.Compiler.Python |
| py_indent | Traq.Compiler.Python |
| py_metaParam | Traq.Compiler.Python |
| py_naryOp | Traq.Compiler.Python |
| py_notImplemented | Traq.Compiler.Python |
| py_pass | Traq.Compiler.Python |
| py_property | Traq.Compiler.Python |
| py_raise_s | Traq.Compiler.Python |
| py_return | Traq.Compiler.Python |
| py_sanitizeIdent | Traq.Compiler.Python |
| py_typedArg | Traq.Compiler.Python |
| py_unOp | Traq.Compiler.Python |
| py_val | Traq.Compiler.Python |
| p_0 | Traq.Primitives.Simons.Prelude |
| p_min | Traq.Primitives.Amplify.Prelude |
| QAmp | Traq.Primitives |
| QAmplify | |
| 1 (Type/Class) | Traq.Primitives.Amplify.QAmplify |
| 2 (Data Constructor) | Traq.Primitives.Amplify.QAmplify |
| QAny | Traq.Primitives |
| QMax | |
| 1 (Type/Class) | Traq.Primitives.Max.QMax |
| 2 (Data Constructor) | Traq.Primitives.Max.QMax |
| QMax' | Traq.Primitives |
| QSearchCFNW | |
| 1 (Type/Class) | Traq.Primitives.Search.QSearchCFNW |
| 2 (Data Constructor) | Traq.Primitives.Search.QSearchCFNW |
| QSearchSym | |
| 1 (Type/Class) | Traq.Primitives.Search.Symbolic |
| 2 (Data Constructor) | Traq.Primitives.Search.Symbolic |
| QuantumCompilePrim | Traq.Primitives.Class.Compile, Traq.Primitives.Class, Traq.Primitives |
| QuantumExpCostPrim | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| quantumExpExprCosts | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| quantumExpQueryCostsQuantum | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| quantumExpQueryCostsUnitary | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| quantumExprCosts | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| QuantumHavocCostPrim | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| quantumQueryCostsQuantum | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| quantumQueryCostsUnitary | Traq.Primitives.Class.QuantumCost, Traq.Primitives.Class, Traq.Primitives |
| query | Traq.Analysis.CostModel.Class |
| QueryCost | |
| 1 (Type/Class) | Traq.Analysis.CostModel.QueryCost |
| 2 (Data Constructor) | Traq.Analysis.CostModel.QueryCost |
| QueryType | Traq.Analysis.CostModel.Class |
| RandomDynS | Traq.QPL.Syntax, Traq.QPL |
| RandomS | Traq.QPL.Syntax, Traq.QPL |
| RandomSampleE | Traq.CPL.Syntax, Traq.CPL |
| RandomSearch | |
| 1 (Type/Class) | Traq.Primitives.Search.RandomSearch |
| 2 (Data Constructor) | Traq.Primitives.Search.RandomSearch |
| RandVar | Traq.Data.Probability.Class, Traq.Data.Probability |
| RAny | Traq.Primitives |
| RenameVars | Traq.CPL.Vars, Traq.CPL |
| renameVars | Traq.CPL.Vars, Traq.CPL |
| renameVars' | Traq.CPL.Vars, Traq.CPL |
| RepeatS | Traq.QPL.Syntax, Traq.QPL |
| reshape | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| reshapeUnsafe | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| rets | Traq.CPL.Syntax, Traq.CPL |
| ret_names | Traq.CPL.Syntax, Traq.CPL |
| ret_types | Traq.CPL.Syntax, Traq.CPL |
| RevEmbedU | Traq.QPL.Syntax, Traq.QPL |
| rewriteAST | Traq.Utils.ASTRewriting |
| rhs | Traq.CPL.Syntax, Traq.CPL |
| runProb | Traq.Data.Probability.Trans, Traq.Data.Probability |
| runProbList | Traq.Data.Probability.List |
| runProbT | Traq.Data.Probability.Trans, Traq.Data.Probability |
| runProgram | Traq.CPL.Eval, Traq.CPL |
| RVType | Traq.Data.Probability.Class, Traq.Data.Probability |
| Rz | Traq.QPL.Syntax, Traq.QPL |
| safeFromValue | Traq.CPL.Eval, Traq.CPL |
| safeToValue | Traq.CPL.Eval, Traq.CPL |
| SamplerFn | |
| 1 (Type/Class) | Traq.Primitives.Amplify.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Amplify.Prelude |
| sample_ty | Traq.CPL.Syntax, Traq.CPL |
| scale | Traq.Data.Probability.Class, Traq.Data.Probability |
| SearchK | Traq.Primitives.Search.Prelude |
| SeqS | |
| 1 (Data Constructor) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Data Constructor) | Traq.QPL.Syntax, Traq.QPL |
| SerializePrim | Traq.Primitives.Class.Serialize, Traq.Primitives.Class, Traq.Primitives |
| shapeToList | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| SimonsFindXorPeriod | |
| 1 (Type/Class) | Traq.Primitives.Simons.Quantum |
| 2 (Data Constructor) | Traq.Primitives.Simons.Quantum |
| simpl | Traq.Data.Symbolic |
| SimpleQueryCost | |
| 1 (Type/Class) | Traq.Analysis.CostModel.QueryCost |
| 2 (Data Constructor) | Traq.Analysis.CostModel.QueryCost |
| singleton | Traq.Data.Context |
| singularM | Traq.Control.Monad |
| SizeT | Traq.Prelude |
| SizeToPrec | Traq.Analysis.Prelude, Traq.Analysis |
| sizeToPrec | Traq.Analysis.Prelude, Traq.Analysis |
| SizeType | Traq.Prelude |
| SkipS | Traq.QPL.Syntax, Traq.QPL |
| splitFailProb | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| SplitSimple | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| SplitUsingNeedsEps | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| Stmt | |
| 1 (Type/Class) | Traq.CPL.Syntax, Traq.CPL |
| 2 (Type/Class) | Traq.QPL.Syntax, Traq.QPL |
| StmtOf | Traq.Utils.ASTRewriting |
| strong | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| strongQueries | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| SubOp | Traq.CPL.Syntax, Traq.CPL |
| subst | Traq.Data.Symbolic |
| support | Traq.Data.Probability.Class, Traq.Data.Probability |
| SWAP | Traq.QPL.Syntax, Traq.QPL |
| Sym | Traq.Data.Symbolic |
| s_false | Traq.CPL.Syntax, Traq.CPL |
| s_true | Traq.CPL.Syntax, Traq.CPL |
| tbool | Traq.CPL.TypeCheck, Traq.CPL |
| tell | Traq.Control.Monad |
| tellAt | Traq.Control.Monad |
| TernaryE | Traq.CPL.Syntax, Traq.CPL |
| throwErrorMessage | Traq.Data.Errors |
| throwFrom | Traq.Control.Monad |
| toAscList | Traq.Data.Context |
| ToCodeString | Traq.Utils.Printing |
| toCodeString | Traq.Utils.Printing |
| toCodeStringM | Traq.Utils.Printing |
| toCodeWord | Traq.Utils.Printing |
| toDeterministicValue | Traq.Data.Probability.Class, Traq.Data.Probability |
| Toffoli | Traq.QPL.Syntax, Traq.QPL |
| toList | Traq.Data.Context |
| toPy | |
| 1 (Function) | Traq.Compiler.Qualtran |
| 2 (Function) | Traq.Compiler.Qiskit |
| toPyType | Traq.Compiler.Python |
| totalQueryCost | Traq.Analysis.CostModel.QueryCost |
| totalWeakUnitaryQueries | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| toValue | Traq.CPL.Eval, Traq.CPL |
| TraceNormErrorU | Traq.Analysis.Error.Unitary, Traq.Analysis.Error, Traq.Analysis |
| traceNormErrorU | Traq.Analysis.Error.Unitary, Traq.Analysis.Error, Traq.Analysis |
| traceNormErrorUProg | Traq.Analysis.Error.Unitary, Traq.Analysis.Error, Traq.Analysis |
| Tree | Traq.Data.Probability.Tree |
| treeGeneratorExample | Traq.Examples.TreeGenerator |
| TreeSearch | |
| 1 (Type/Class) | Traq.Primitives.TreeSearch |
| 2 (Data Constructor) | Traq.Primitives.TreeSearch |
| trunc | Traq.Data.Context |
| Tup | Traq.CPL.Syntax, Traq.CPL |
| TupV | Traq.CPL.Syntax, Traq.CPL |
| tup_expr | Traq.CPL.Syntax, Traq.CPL |
| tup_ix_val | Traq.CPL.Syntax, Traq.CPL |
| TVErrorQ | Traq.Analysis.Error.Quantum, Traq.Analysis.Error, Traq.Analysis |
| tvErrorQ | Traq.Analysis.Error.Quantum, Traq.Analysis.Error, Traq.Analysis |
| tvErrorQProg | Traq.Analysis.Error.Quantum, Traq.Analysis.Error, Traq.Analysis |
| ty | Traq.CPL.Syntax, Traq.CPL |
| typeCheckBasicExpr | Traq.CPL.TypeCheck, Traq.CPL |
| TypeChecker | |
| 1 (Type/Class) | Traq.CPL.TypeCheck, Traq.CPL |
| 2 (Type/Class) | Traq.QPL.TypeCheck, Traq.QPL |
| typeCheckFun | Traq.CPL.TypeCheck, Traq.CPL |
| TypeCheckPrim | Traq.Primitives.Class.TypeCheck, Traq.Primitives.Class, Traq.Primitives |
| typeCheckProc | Traq.QPL.TypeCheck, Traq.QPL |
| typeCheckProg | Traq.CPL.TypeCheck, Traq.CPL |
| typeCheckProgram | Traq.QPL.TypeCheck, Traq.QPL |
| typeCheckStmt | Traq.QPL.TypeCheck, Traq.QPL |
| typeCheckUStmt | Traq.QPL.TypeCheck, Traq.QPL |
| TypeInferrable | Traq.CPL.TypeCheck, Traq.CPL |
| TypingCtx | Traq.CPL.TypeCheck, Traq.CPL |
| TypingEnv | Traq.CPL.TypeCheck, Traq.CPL |
| TypingReqs | Traq.CPL.TypeCheck, Traq.CPL |
| 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 |
| val | Traq.CPL.Syntax, Traq.CPL |
| validateValueType | Traq.CPL.Eval, Traq.CPL |
| ValidPrimShape | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| Value | Traq.CPL.Syntax, Traq.CPL |
| valueToBool | Traq.CPL.Eval, Traq.CPL |
| var | |
| 1 (Function) | Traq.Data.Symbolic |
| 2 (Function) | Traq.CPL.Syntax, Traq.CPL |
| VarE | Traq.CPL.Syntax, Traq.CPL |
| VarSet | Traq.CPL.Vars, Traq.CPL |
| VarType | Traq.CPL.Syntax, Traq.CPL |
| varType | Traq.CPL.Parser, Traq.CPL |
| VecSelectOp | Traq.CPL.Syntax, Traq.CPL |
| weak | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| weakQueries | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| WhileK | Traq.QPL.Syntax, Traq.QPL |
| WhileKWithCondExpr | Traq.QPL.Syntax, Traq.QPL |
| withEnv | Traq.Compiler.Python |
| withSandbox | Traq.Control.Monad |
| withSandboxOf | Traq.Control.Monad |
| withStmt | Traq.Compiler.Prelude, Traq.Compiler |
| withTag | Traq.Compiler.Unitary, Traq.Compiler |
| withUStmt | Traq.Compiler.Prelude, Traq.Compiler |
| WorstCasePrims | Traq.Primitives |
| WorstCasePrims' | Traq.Primitives |
| wrapNonEmpty | Traq.Utils.Printing |
| writeElem | Traq.Control.Monad |
| writeElemAt | Traq.Control.Monad |
| XGate | Traq.QPL.Syntax, Traq.QPL |
| XorOp | Traq.CPL.Syntax, Traq.CPL |
| zero | Traq.Data.Probability.Class, Traq.Data.Probability |
| zeroQ | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| ZGate | Traq.QPL.Syntax, Traq.QPL |
| \\ | Traq.Data.Context |
| _Arr | Traq.CPL.Syntax, Traq.CPL |
| _ArrV | Traq.CPL.Syntax, Traq.CPL |
| _ast | Traq.Utils.ASTRewriting |
| _EQ | Traq.Primitives.Amplify.CAmplify |
| _EQMax | Traq.Primitives.Max.QMax |
| _EQSearch | |
| 1 (Function) | Traq.Primitives.Search.QSearchCFNW |
| 2 (Function) | Traq.Primitives.Amplify.QAmplify |
| _EQSearchWorst | Traq.Primitives.Search.QSearchCFNW |
| _evaluationEnv | Traq.CPL.Eval, Traq.CPL |
| _exts | Traq.CPL.Lenses, Traq.CPL |
| _Fin | Traq.CPL.Syntax, Traq.CPL |
| _FinV | Traq.CPL.Syntax, Traq.CPL |
| _FPAA_L | Traq.Primitives.Amplify.QAmplify |
| _funCtx | Traq.CPL.Syntax, Traq.CPL |
| _funInterpCtx | Traq.CPL.Eval, Traq.CPL |
| _loweredProcs | Traq.Compiler.Prelude, Traq.Compiler |
| _precSplitStrat | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| _procCtx | Traq.QPL.Syntax, Traq.QPL |
| _procSignatures | Traq.Compiler.Prelude, Traq.Compiler |
| _QMax | Traq.Primitives.Amplify.CAmplify |
| _QryQmax | Traq.Primitives.Search.Symbolic |
| _QryU | Traq.Primitives.Search.Symbolic |
| _QSearchZalka | Traq.Primitives.Search.QSearchCFNW |
| _SimonsQueries | Traq.Primitives.Simons.Quantum |
| _state | Traq.CPL.Eval, Traq.CPL |
| _stmt | Traq.Utils.ASTRewriting |
| _Tup | Traq.CPL.Syntax, Traq.CPL |
| _TupV | Traq.CPL.Syntax, Traq.CPL |
| _typingCtx | Traq.CPL.TypeCheck, Traq.CPL |
| _uniqNamesCtx | Traq.Compiler.Prelude, Traq.Compiler |
| _unique_id | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| _WQMax | Traq.Primitives.Max.QMax |
| _WQSearch | Traq.Primitives.Amplify.QAmplify |