traq

Index - A

addOnePrefixTraq.CPL.Vars, Traq.CPL
AddOpTraq.CPL.Syntax, Traq.CPL
addProcTraq.Compiler.Prelude, Traq.Compiler
addStmtTraq.Compiler.Prelude, Traq.Compiler
addUStmtTraq.Compiler.Prelude, Traq.Compiler
AdjointTraq.QPL.Syntax, Traq.QPL
adjointTraq.QPL.Syntax, Traq.QPL
algoQSearchZalkaTraq.Primitives.Search.QSearchCFNW
AllKTraq.Primitives.Search.Prelude
allNamesPTraq.CPL.Vars, Traq.CPL
allocAncillaTraq.Compiler.Unitary, Traq.Compiler
allocAncillaWithPrefTraq.Compiler.Unitary, Traq.Compiler
allocLocalTraq.Compiler.Prelude, Traq.Compiler
allocLocalWithPrefixTraq.Compiler.Prelude, Traq.Compiler
AllOpTraq.CPL.Syntax, Traq.CPL
Amplify 
1 (Type/Class)Traq.Primitives.Amplify.Prelude
2 (Data Constructor)Traq.Primitives.Amplify.Prelude
AndOpTraq.CPL.Syntax, Traq.CPL
annEpsQTraq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis
annEpsQ1Traq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis
annEpsUTraq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis
annEpsU1Traq.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
annFixedEpsTraq.Analysis.Annotate.Basic, Traq.Analysis.Annotate, Traq.Analysis
annNoPrimsTraq.Analysis.Annotate.Basic, Traq.Analysis.Annotate, Traq.Analysis
AnnotateEnvTraq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis
AnnotateMonadTraq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis
annotateProgWithTraq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis
annotateProgWithErrorBudgetTraq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis
annotateProgWithErrorBudgetUTraq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis
AnnotaterTraq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis
AnnotateStateTraq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis
AnnotateSymStateTraq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis
AnnotateWithErrorBudgetQTraq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis
AnnotateWithErrorBudgetUTraq.Analysis.Annotate.SplitBudget, Traq.Analysis.Annotate, Traq.Analysis
annSinglePrimTraq.Analysis.Annotate.Basic, Traq.Analysis.Annotate, Traq.Analysis
annSymEpsTraq.Analysis.Annotate.Symbolic, Traq.Analysis.Annotate, Traq.Analysis
annSymEpsProgTraq.Analysis.Annotate.Symbolic, Traq.Analysis.Annotate, Traq.Analysis
AnyKTraq.Primitives.Search.Prelude
AnyOpTraq.CPL.Syntax, Traq.CPL
Arg 
1 (Type/Class)Traq.QPL.Syntax, Traq.QPL
2 (Data Constructor)Traq.QPL.Syntax, Traq.QPL
argsTraq.CPL.Syntax, Traq.CPL
ArrTraq.CPL.Syntax, Traq.CPL
arraySearchTraq.Examples.Search
arraySearchIxTraq.Examples.Search
ArrElemArgTraq.QPL.Syntax, Traq.QPL
ArrVTraq.CPL.Syntax, Traq.CPL
arr_exprTraq.CPL.Syntax, Traq.CPL
AssignSTraq.QPL.Syntax, Traq.QPL
atTraq.Data.Context