Index
| $sel:args:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:arg_ty:QMax | Traq.Primitives.Max.QMax |
| $sel:body_ustmt:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:cond:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:cond_expr:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:cproc_body_stmt:CProcBody | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:cproc_local_vars:CProcBody | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:cproc_param_names:CProcBody | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:dagger:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:distr_expr:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:expr:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:fun:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:info_comment:ProcDef | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:iter_lim:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:iter_meta_var:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:loop_body:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:loop_index:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:loop_index_ty:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:loop_values:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:max_var:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:meta_params:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:n_iter:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:n_iter:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:pred_call_builder:UQSearchEnv | Traq.Primitives.Search.QSearchCFNW |
| $sel:proc_body:ProcDef | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:proc_meta_params:ProcDef | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:proc_name:ProcDef | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:proc_param_types:ProcDef | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:qargs:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:ret:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:rets:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $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.CQPL.Syntax, Traq.CQPL |
| $sel:s_true:SkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:uloop_body:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:unitary:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:uproc_body_stmt:UProcBody | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:uproc_id:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:uproc_param_names:UProcBody | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:uproc_param_tags:UProcBody | Traq.CQPL.Syntax, Traq.CQPL |
| $sel:with_ustmt:USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| .&&. | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| .+. | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| .<=. | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| :<: | Traq.Data.Subtyping |
| ?? | Traq.Control.Monad |
| 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 |
| BasicExpr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| BasicExprE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| basic_expr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| bernoulli | Traq.Data.Probability.Class, Traq.Data.Probability |
| BernoulliE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| BinOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| BinOpE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| bin_op | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| bitsize | Traq.ProtoLang.Eval, Traq.ProtoLang |
| Bitvec | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| body_stmt | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| build | Traq.Utils.Printing |
| callDistrExpr | Traq.Analysis.CostModel.Class |
| callExpr | Traq.Analysis.CostModel.Class |
| CallS | Traq.CQPL.Syntax, Traq.CQPL |
| 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.CQPL.TypeCheck, Traq.CQPL |
| checkNode | Traq.Primitives.TreeSearch |
| checkNodeArgs | Traq.Primitives.TreeSearch |
| checkVarsUnique | Traq.ProtoLang.Vars, Traq.ProtoLang |
| choose | Traq.Data.Probability.Class, Traq.Data.Probability |
| choose2 | Traq.Data.Probability.Class, Traq.Data.Probability |
| Classical | Traq.Analysis.CostModel.Class |
| CNOT | Traq.CQPL.Syntax, Traq.CQPL |
| CoerceValue | Traq.ProtoLang.Eval, Traq.ProtoLang |
| commaList | Traq.Utils.Printing |
| commented | Traq.Utils.Printing |
| CommentS | Traq.CQPL.Syntax, Traq.CQPL |
| CompileQ | Traq.Compiler.Quantum, Traq.Compiler |
| compileQ | Traq.Compiler.Quantum, Traq.Compiler |
| 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.UnitaryCompile, 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.ProtoLang.Syntax, Traq.ProtoLang |
| conditional | Traq.Data.Probability.Class, Traq.Data.Probability |
| ConstE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| Context | Traq.Data.Context |
| ControlFlag | Traq.Compiler.Unitary, Traq.Compiler |
| Controlled | Traq.CQPL.Syntax, Traq.CQPL |
| COPY | Traq.CQPL.Syntax, Traq.CQPL |
| Core | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| Core' | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| CostAnalysisMonad | Traq.Analysis.Cost.Prelude, Traq.Analysis.Cost, Traq.Analysis |
| CostCalculator | Traq.CQPL.Cost, Traq.CQPL |
| CostMap | Traq.CQPL.Cost, Traq.CQPL |
| 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 |
| 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 |
| costUProg | Traq.Analysis.Cost.Unitary, Traq.Analysis.Cost, Traq.Analysis |
| CProcBody | |
| 1 (Type/Class) | Traq.CQPL.Syntax, Traq.CQPL |
| 2 (Data Constructor) | Traq.CQPL.Syntax, Traq.CQPL |
| CProcDecl | Traq.CQPL.Syntax, Traq.CQPL |
| cqueries | Traq.Analysis.CostModel.QueryCost |
| curr_error | Traq.Data.Errors |
| DAny | Traq.Primitives |
| DefaultE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| DefaultPrimCollection | Traq.Primitives |
| DefaultPrims | Traq.Primitives |
| DefaultPrims' | Traq.Primitives |
| defaultV | Traq.ProtoLang.Eval, Traq.ProtoLang |
| default_ | Traq.Data.Default |
| delimitedBlock | Traq.Utils.Printing |
| desugarS | Traq.CQPL.Syntax, Traq.CQPL |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| DistrU | Traq.CQPL.Syntax, Traq.CQPL |
| distr_expr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| doEndBlock | Traq.Utils.Printing |
| domain | Traq.ProtoLang.Eval, Traq.ProtoLang |
| domainSize | Traq.ProtoLang.Eval, Traq.ProtoLang |
| DynIndexE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| elems | Traq.Data.Context |
| empty | Traq.Data.Context |
| endl | Traq.Utils.Printing |
| EqOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| ErrorAnalysisMonad | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| ErrorReqs | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| eval | Traq.ProtoLang.Eval, Traq.ProtoLang |
| evalBasicExpr | Traq.ProtoLang.Eval, Traq.ProtoLang |
| evalFun | Traq.ProtoLang.Eval, Traq.ProtoLang |
| EvalPrim | Traq.Primitives.Class.Eval, Traq.Primitives.Class, Traq.Primitives |
| evalPrim | Traq.Primitives.Class.Eval, Traq.Primitives.Class, Traq.Primitives |
| EvalReqs | Traq.ProtoLang.Eval, Traq.ProtoLang |
| Evaluatable | Traq.ProtoLang.Eval, Traq.ProtoLang |
| EvaluationEnv | Traq.ProtoLang.Eval, Traq.ProtoLang |
| EvaluationMonad | Traq.ProtoLang.Eval, Traq.ProtoLang |
| Evaluator | Traq.ProtoLang.Eval, Traq.ProtoLang |
| Event | Traq.Data.Probability.Class, Traq.Data.Probability |
| execStmt | Traq.ProtoLang.Eval, Traq.ProtoLang |
| ExecutionState | Traq.ProtoLang.Eval, Traq.ProtoLang |
| Executor | Traq.ProtoLang.Eval, Traq.ProtoLang |
| ExpCostQ | Traq.Analysis.Cost.Quantum, Traq.Analysis.Cost, Traq.Analysis |
| expCostQ | 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.ProtoLang.Syntax, Traq.ProtoLang |
| expr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| ExprS | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| flattenAndCompress | Traq.Data.Probability.Tree |
| flattenSeq | Traq.ProtoLang.Rewrites |
| fname | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| FnType | |
| 1 (Type/Class) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Data Constructor) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| forAccumM | Traq.Control.Monad |
| ForInArray | Traq.CQPL.Syntax, Traq.CQPL |
| freeVars | Traq.ProtoLang.Vars, Traq.ProtoLang |
| freeVarsList | Traq.ProtoLang.Vars, Traq.ProtoLang |
| fromBuild | Traq.Utils.Printing |
| fromList | Traq.Data.Context |
| fromListWith | Traq.Data.Context |
| fromValue | Traq.ProtoLang.Eval, Traq.ProtoLang |
| fun | Traq.Primitives.Simons.Prelude |
| FunBody | |
| 1 (Type/Class) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Data Constructor) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| FunCallE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| FunctionCall | |
| 1 (Type/Class) | Traq.CQPL.Syntax, Traq.CQPL |
| 2 (Data Constructor) | Traq.CQPL.Syntax, Traq.CQPL |
| FunCtx | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| funCtxToNamedFuns | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| FunDef | |
| 1 (Type/Class) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Data Constructor) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| FunInterp | Traq.ProtoLang.Eval, Traq.ProtoLang |
| FunInterpCtx | Traq.ProtoLang.Eval, Traq.ProtoLang |
| funs | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| fun_def | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| fun_name | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| getChildren | Traq.Primitives.TreeSearch |
| getChildrenArgs | Traq.Primitives.TreeSearch |
| getCost | Traq.Analysis.CostModel.QueryCost |
| getFailProb | Traq.Analysis.Error.Prelude, Traq.Analysis.Error, Traq.Analysis |
| HasAdjoint | Traq.CQPL.Syntax, Traq.CQPL |
| HasAst | Traq.Utils.ASTRewriting |
| HasDefault | Traq.Data.Default |
| HasEvaluationEnv | Traq.ProtoLang.Eval, Traq.ProtoLang |
| HasFreeVars | Traq.ProtoLang.Vars, Traq.ProtoLang |
| HasFunCtx | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| HasFunInterpCtx | Traq.ProtoLang.Eval, Traq.ProtoLang |
| HasPrecisionSplittingStrategy | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| HasProcCtx | Traq.CQPL.Syntax, Traq.CQPL |
| HasProgramState | Traq.ProtoLang.Eval, Traq.ProtoLang |
| HasStmt | Traq.Utils.ASTRewriting |
| HasTypingCtx | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| HasUniqNamesCtx | Traq.Compiler.Prelude, Traq.Compiler |
| HGate | Traq.CQPL.Syntax, Traq.CQPL |
| Ident | Traq.Prelude |
| IfThenElseS | |
| 1 (Data Constructor) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Data Constructor) | Traq.CQPL.Syntax, Traq.CQPL |
| ifThenS | Traq.CQPL.Syntax, Traq.CQPL |
| ignoreWriter | Traq.Control.Monad |
| indented | Traq.Utils.Printing |
| IndexE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| inferRetTypesPrim | Traq.Primitives.Class.TypeCheck, Traq.Primitives.Class, Traq.Primitives |
| inferTypes | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| initial_args | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| inject | Traq.Data.Subtyping |
| ins | Traq.Data.Context |
| in_tys | Traq.Compiler.Prelude, Traq.Compiler |
| IsA | Traq.Data.Subtyping |
| isCProc | Traq.CQPL.Syntax, Traq.CQPL |
| isUProc | Traq.CQPL.Syntax, Traq.CQPL |
| isValidIdentifier | Traq.ProtoLang.Parser, Traq.ProtoLang |
| ix | Traq.Data.Context |
| ix_expr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| ix_val | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| joined | Traq.Utils.Printing |
| keys | Traq.Data.Context |
| Leaf | Traq.Data.Probability.Tree |
| LEqOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| lhs | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| liftEither | Traq.Control.Monad |
| listenWord | Traq.Utils.Printing |
| listToShape | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| LoadData | Traq.CQPL.Syntax, Traq.CQPL |
| lookup | Traq.Data.Context |
| lookup' | Traq.Data.Context |
| lookupFunE | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| LoopE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| loop_body_fun | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| mapAccumM | Traq.Control.Monad |
| mapped | Traq.Utils.Printing |
| MappedSize | Traq.ProtoLang.Lenses, Traq.ProtoLang, Traq.ProtoLang |
| MapSize | Traq.ProtoLang.Lenses, Traq.ProtoLang |
| mapSize | Traq.ProtoLang.Lenses, Traq.ProtoLang |
| mass | Traq.Data.Probability.Class, Traq.Data.Probability |
| matrixExampleS | Traq.Examples.MatrixSearch |
| maybeWithError | Traq.Control.Monad |
| mbody | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| merge | Traq.Data.Context |
| MessageE | Traq.Data.Errors |
| MetaName | Traq.ProtoLang.Syntax, Traq.ProtoLang, Traq.CQPL.Syntax, Traq.CQPL |
| MetaParam | Traq.ProtoLang.Syntax, Traq.ProtoLang, Traq.CQPL.Syntax, Traq.CQPL |
| MetaSize | Traq.ProtoLang.Syntax, Traq.ProtoLang, Traq.CQPL.Syntax, Traq.CQPL |
| MetaValue | Traq.ProtoLang.Syntax, Traq.ProtoLang, Traq.CQPL.Syntax, Traq.CQPL |
| mkAnnotateEnv | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| mkForInRangeS | Traq.CQPL.Syntax, Traq.CQPL |
| mkMatrixExample | Traq.Examples.MatrixSearch |
| mkQProcName | Traq.Compiler.Prelude, Traq.Compiler |
| mkUProcName | Traq.Compiler.Prelude, Traq.Compiler |
| MonadExp | Traq.Data.Probability.Class, Traq.Data.Probability |
| MonadProb | Traq.Data.Probability.Class, Traq.Data.Probability |
| MulOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| MultiOrOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| MyError | Traq.Data.Errors |
| n | Traq.Primitives.Simons.Prelude |
| NamedFunDef | |
| 1 (Type/Class) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Data Constructor) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| namedFunsToFunCtx | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| NAryE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| NAryOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| NotOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| null | Traq.Data.Context |
| numQubits | Traq.CQPL.Memory, Traq.CQPL |
| op | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| operand | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| operands | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| Outcomes | Traq.Data.Probability.List |
| outcomes | Traq.Data.Probability.Class, Traq.Data.Probability |
| outVars | Traq.ProtoLang.Vars, Traq.ProtoLang |
| out_tys | Traq.Compiler.Prelude, Traq.Compiler |
| pairSeq | Traq.ProtoLang.Rewrites |
| param | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| ParamAux | Traq.CQPL.Syntax, Traq.CQPL |
| ParamCtrl | Traq.CQPL.Syntax, Traq.CQPL |
| ParamE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| ParamInp | Traq.CQPL.Syntax, Traq.CQPL |
| ParamOut | Traq.CQPL.Syntax, Traq.CQPL |
| ParamTag | Traq.CQPL.Syntax, Traq.CQPL |
| ParamUnk | Traq.CQPL.Syntax, Traq.CQPL |
| param_names | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| param_types | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| Parseable | Traq.ProtoLang.Parser, Traq.ProtoLang |
| parseCode | Traq.ProtoLang.Parser, Traq.ProtoLang |
| parseE | Traq.ProtoLang.Parser, Traq.ProtoLang |
| parseFunDef | Traq.ProtoLang.Parser, Traq.ProtoLang |
| parsePrimParams | Traq.Primitives.Class.Serialize, Traq.Primitives.Class, Traq.Primitives |
| parseProgram | Traq.ProtoLang.Parser, Traq.ProtoLang |
| parseStmt | Traq.ProtoLang.Parser, Traq.ProtoLang |
| 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 |
| placeArgs | 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.ProtoLang.Syntax, Traq.ProtoLang |
| PrimCallE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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 |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| ProcBody | Traq.CQPL.Syntax, Traq.CQPL |
| ProcBodyC | Traq.CQPL.Syntax, Traq.CQPL |
| ProcBodyU | Traq.CQPL.Syntax, Traq.CQPL |
| ProcCtx | Traq.CQPL.Syntax, Traq.CQPL |
| ProcDef | |
| 1 (Type/Class) | Traq.CQPL.Syntax, Traq.CQPL |
| 2 (Data Constructor) | Traq.CQPL.Syntax, Traq.CQPL |
| ProcSignature | |
| 1 (Type/Class) | Traq.Compiler.Prelude, Traq.Compiler |
| 2 (Data Constructor) | Traq.Compiler.Prelude, Traq.Compiler |
| Program | |
| 1 (Type/Class) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Data Constructor) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 3 (Type/Class) | Traq.CQPL.Syntax, Traq.CQPL |
| 4 (Data Constructor) | Traq.CQPL.Syntax, Traq.CQPL |
| programCost | Traq.CQPL.Cost, Traq.CQPL |
| programParser | Traq.ProtoLang.Parser, Traq.ProtoLang |
| ProgramState | Traq.ProtoLang.Eval, Traq.ProtoLang |
| programToFunCtx | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| project | Traq.Data.Subtyping |
| ProjectE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| put | Traq.Data.Context |
| putComment | Traq.Utils.Printing |
| putLine | Traq.Utils.Printing |
| putWord | Traq.Utils.Printing |
| p_0 | Traq.Primitives.Simons.Prelude |
| p_min | Traq.Primitives.Amplify.Prelude |
| 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 |
| 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 |
| 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.CQPL.Syntax, Traq.CQPL |
| RandomS | Traq.CQPL.Syntax, Traq.CQPL |
| RandomSampleE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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 |
| Refl0 | Traq.CQPL.Syntax, Traq.CQPL |
| RenameVars | Traq.ProtoLang.Vars, Traq.ProtoLang |
| renameVars | Traq.ProtoLang.Vars, Traq.ProtoLang |
| RepeatS | Traq.CQPL.Syntax, Traq.CQPL |
| reshape | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| reshapeUnsafe | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| rets | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| ret_names | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| ret_types | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| RevEmbedU | Traq.CQPL.Syntax, Traq.CQPL |
| rewriteAST | Traq.Utils.ASTRewriting |
| rhs | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| runProb | Traq.Data.Probability.Trans, Traq.Data.Probability |
| runProbList | Traq.Data.Probability.List |
| runProbT | Traq.Data.Probability.Trans, Traq.Data.Probability |
| runProgram | Traq.ProtoLang.Eval, Traq.ProtoLang |
| RVType | Traq.Data.Probability.Class, Traq.Data.Probability |
| safeFromValue | Traq.ProtoLang.Eval, Traq.ProtoLang |
| safeToValue | Traq.ProtoLang.Eval, Traq.ProtoLang |
| SamplerFn | |
| 1 (Type/Class) | Traq.Primitives.Amplify.Prelude |
| 2 (Data Constructor) | Traq.Primitives.Amplify.Prelude |
| sample_ty | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| scale | Traq.Data.Probability.Class, Traq.Data.Probability |
| SearchK | Traq.Primitives.Search.Prelude |
| SeqS | |
| 1 (Data Constructor) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Data Constructor) | Traq.CQPL.Syntax, Traq.CQPL |
| 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.CQPL.Syntax, Traq.CQPL |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| 2 (Type/Class) | Traq.CQPL.Syntax, Traq.CQPL |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| subst | Traq.Data.Symbolic |
| support | Traq.Data.Probability.Class, Traq.Data.Probability |
| SWAP | Traq.CQPL.Syntax, Traq.CQPL |
| Sym | Traq.Data.Symbolic |
| s_false | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| s_true | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| tbool | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| tell | Traq.Control.Monad |
| tellAt | Traq.Control.Monad |
| TernaryE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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.CQPL.Syntax, Traq.CQPL |
| toList | Traq.Data.Context |
| totalQueryCost | Traq.Analysis.CostModel.QueryCost |
| totalWeakUnitaryQueries | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| toValue | Traq.ProtoLang.Eval, Traq.ProtoLang |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| TupV | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| tup_expr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| tup_ix_val | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| typeCheckBasicExpr | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| TypeChecker | |
| 1 (Type/Class) | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| 2 (Type/Class) | Traq.CQPL.TypeCheck, Traq.CQPL |
| typeCheckFun | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| TypeCheckPrim | Traq.Primitives.Class.TypeCheck, Traq.Primitives.Class, Traq.Primitives |
| typeCheckProc | Traq.CQPL.TypeCheck, Traq.CQPL |
| typeCheckProg | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| typeCheckProgram | Traq.CQPL.TypeCheck, Traq.CQPL |
| typeCheckStmt | Traq.CQPL.TypeCheck, Traq.CQPL |
| typeCheckUStmt | Traq.CQPL.TypeCheck, Traq.CQPL |
| TypeInferrable | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| TypingCtx | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| TypingEnv | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| TypingReqs | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| UCallS | Traq.CQPL.Syntax, Traq.CQPL |
| UCommentS | Traq.CQPL.Syntax, Traq.CQPL |
| UForInRangeS | Traq.CQPL.Syntax, Traq.CQPL |
| uniform | Traq.Data.Probability.Class, Traq.Data.Probability |
| UniformE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| UniqNamesCtx | Traq.Compiler.Prelude, Traq.Compiler |
| unique_id | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| Unitary | |
| 1 (Data Constructor) | Traq.Analysis.CostModel.Class |
| 2 (Type/Class) | Traq.CQPL.Syntax, Traq.CQPL |
| UnitaryCompilePrim | Traq.Primitives.Class.UnitaryCompile, 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.CQPL.Syntax, Traq.CQPL |
| 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.ProtoLang.Syntax, Traq.ProtoLang |
| UnOpE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| unsafeLookup | Traq.Data.Context |
| unsafeLookupE | Traq.Data.Context |
| unsafePut | Traq.Data.Context |
| unSym | Traq.Data.Symbolic |
| unworded | Traq.Utils.Printing |
| un_op | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| UpdateArrE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| UProcAndMeas | Traq.CQPL.Syntax, Traq.CQPL |
| UProcBody | |
| 1 (Type/Class) | Traq.CQPL.Syntax, Traq.CQPL |
| 2 (Data Constructor) | Traq.CQPL.Syntax, Traq.CQPL |
| UProcDecl | Traq.CQPL.Syntax, Traq.CQPL |
| UQSearchEnv | |
| 1 (Type/Class) | Traq.Primitives.Search.QSearchCFNW |
| 2 (Data Constructor) | Traq.Primitives.Search.QSearchCFNW |
| uqueries | Traq.Analysis.CostModel.QueryCost |
| URepeatS | Traq.CQPL.Syntax, Traq.CQPL |
| USeqS | Traq.CQPL.Syntax, Traq.CQPL |
| USkipS | Traq.CQPL.Syntax, Traq.CQPL |
| UStmt | Traq.CQPL.Syntax, Traq.CQPL |
| UWithComputedS | Traq.CQPL.Syntax, Traq.CQPL |
| val | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| validateValueType | Traq.ProtoLang.Eval, Traq.ProtoLang |
| ValidPrimShape | Traq.Primitives.Class.Prelude, Traq.Primitives.Class, Traq.Primitives |
| Value | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| valueToBool | Traq.ProtoLang.Eval, Traq.ProtoLang |
| var | |
| 1 (Function) | Traq.Data.Symbolic |
| 2 (Function) | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| VarE | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| VarSet | Traq.ProtoLang.Vars, Traq.ProtoLang |
| VarType | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| varType | Traq.ProtoLang.Parser, Traq.ProtoLang |
| weak | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| weakQueries | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| WhileK | Traq.CQPL.Syntax, Traq.CQPL |
| WhileKWithCondExpr | Traq.CQPL.Syntax, Traq.CQPL |
| WithControl | Traq.Compiler.Unitary, Traq.Compiler |
| WithoutControl | Traq.Compiler.Unitary, Traq.Compiler |
| withSandbox | Traq.Control.Monad |
| withSandboxOf | Traq.Control.Monad |
| withTag | Traq.Compiler.Unitary, Traq.Compiler |
| WorstCasePrims | Traq.Primitives |
| WorstCasePrims' | Traq.Primitives |
| wrapNonEmpty | Traq.Utils.Printing |
| writeElem | Traq.Control.Monad |
| writeElemAt | Traq.Control.Monad |
| XGate | Traq.CQPL.Syntax, Traq.CQPL |
| XorOp | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| zero | Traq.Data.Probability.Class, Traq.Data.Probability |
| zeroQ | Traq.Primitives.Class.UnitaryCost, Traq.Primitives.Class, Traq.Primitives |
| \\ | Traq.Data.Context |
| _Arr | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| _ArrV | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| _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.ProtoLang.Eval, Traq.ProtoLang |
| _exts | Traq.ProtoLang.Lenses, Traq.ProtoLang |
| _Fin | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| _FinV | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| _FPAA_L | Traq.Primitives.Amplify.QAmplify |
| _funCtx | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| _funInterpCtx | Traq.ProtoLang.Eval, Traq.ProtoLang |
| _loweredProcs | Traq.Compiler.Prelude, Traq.Compiler |
| _precSplitStrat | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| _procCtx | Traq.CQPL.Syntax, Traq.CQPL |
| _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.ProtoLang.Eval, Traq.ProtoLang |
| _stmt | Traq.Utils.ASTRewriting |
| _Tup | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| _TupV | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| _typingCtx | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| _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 |