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