Index - T
| 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 |