| Safe | Language.Hakaru.Types.Coercion |
| SArgs | |
| 1 (Type/Class) | Language.Hakaru.Syntax.SArgs, Language.Hakaru.Syntax.AST |
| 2 (Type/Class) | Language.Hakaru.Parser.AST |
| SArgs' | |
| 1 (Type/Class) | Language.Hakaru.Parser.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| SArgsSing | Language.Hakaru.Syntax.SArgs, Language.Hakaru.Syntax.AST |
| SArray | Language.Hakaru.Types.Sing |
| SBind | Language.Hakaru.Evaluation.Types |
| sBool | Language.Hakaru.Types.Sing |
| SCon | Language.Hakaru.Syntax.AST |
| SData | Language.Hakaru.Types.Sing |
| SDone | Language.Hakaru.Types.Sing |
| sEither | Language.Hakaru.Types.Sing |
| select | Language.Hakaru.Evaluation.Types |
| selectMore | Language.Hakaru.Evaluation.DisintegrationMonad |
| sendToMaple | Language.Hakaru.Maple |
| sendToMaple' | Language.Hakaru.Maple |
| seqCStat | Language.Hakaru.CodeGen.AST |
| seqDo | Language.Hakaru.CodeGen.CodeGenMonad |
| SEt | Language.Hakaru.Types.Sing |
| SFun | Language.Hakaru.Types.Sing |
| SGuard | Language.Hakaru.Evaluation.Types |
| sharedMem | Language.Hakaru.CodeGen.CodeGenMonad |
| Show1 | Language.Hakaru.Syntax.IClasses |
| show1 | Language.Hakaru.Syntax.IClasses |
| Show2 | Language.Hakaru.Syntax.IClasses |
| show2 | Language.Hakaru.Syntax.IClasses |
| showList1 | Language.Hakaru.Syntax.IClasses |
| showList2 | Language.Hakaru.Syntax.IClasses |
| showListWith | Language.Hakaru.Syntax.IClasses |
| showParen_0 | Language.Hakaru.Syntax.IClasses |
| showParen_01 | Language.Hakaru.Syntax.IClasses |
| showParen_010 | Language.Hakaru.Syntax.IClasses |
| showParen_011 | Language.Hakaru.Syntax.IClasses |
| showParen_02 | Language.Hakaru.Syntax.IClasses |
| showParen_1 | Language.Hakaru.Syntax.IClasses |
| showParen_11 | Language.Hakaru.Syntax.IClasses |
| showParen_111 | Language.Hakaru.Syntax.IClasses |
| showParen_12 | Language.Hakaru.Syntax.IClasses |
| showParen_2 | Language.Hakaru.Syntax.IClasses |
| showParen_22 | Language.Hakaru.Syntax.IClasses |
| showProbInLog | Language.Hakaru.CodeGen.Wrapper |
| shows1 | Language.Hakaru.Syntax.IClasses |
| shows2 | Language.Hakaru.Syntax.IClasses |
| showsPrec1 | Language.Hakaru.Syntax.IClasses |
| showsPrec2 | Language.Hakaru.Syntax.IClasses |
| showTuple | Language.Hakaru.Syntax.IClasses |
| SIdent | Language.Hakaru.Types.Sing |
| Signed | Language.Hakaru.Types.Coercion |
| signed | Language.Hakaru.Types.Coercion |
| Signum | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| signum | Language.Hakaru.Syntax.Prelude |
| simd | Language.Hakaru.CodeGen.CodeGenMonad |
| simpleCommand | Language.Hakaru.Command |
| simpleTable | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| Simplify | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| simplify | Language.Hakaru.Simplify |
| simplify' | Language.Hakaru.Simplify |
| simplifyDebug | Language.Hakaru.Simplify |
| simplifyWithOpts | Language.Hakaru.Simplify |
| simplifyZZ | Language.Hakaru.Types.Coercion |
| Sin | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| sin | Language.Hakaru.Syntax.Prelude |
| Sing | Language.Hakaru.Types.Sing, Language.Hakaru.Parser.AST |
| sing | Language.Hakaru.Types.Sing |
| singCoerceCod | Language.Hakaru.Types.Coercion |
| singCoerceDom | Language.Hakaru.Types.Coercion |
| singCoerceDomCod | Language.Hakaru.Types.Coercion |
| SingI | Language.Hakaru.Types.Sing |
| singletonAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| singletonCoercion | Language.Hakaru.Types.Coercion |
| singletonLAssocs | Language.Hakaru.Evaluation.Types |
| singletonVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| singOf | Language.Hakaru.Types.Sing |
| SingSymbol | Language.Hakaru.Types.Sing |
| sing_ArrayOp | Language.Hakaru.Syntax.AST.Sing |
| sing_HContinuous | Language.Hakaru.Types.HClasses |
| sing_HDiscrete | Language.Hakaru.Types.HClasses |
| sing_HEq | Language.Hakaru.Types.HClasses |
| sing_HFractional | Language.Hakaru.Types.HClasses |
| sing_HIntegrable | Language.Hakaru.Types.HClasses |
| sing_HIntegral | Language.Hakaru.Types.HClasses |
| sing_HOrd | Language.Hakaru.Types.HClasses |
| sing_HRadical | Language.Hakaru.Types.HClasses |
| sing_HRing | Language.Hakaru.Types.HClasses |
| sing_HSemiring | Language.Hakaru.Types.HClasses |
| sing_Literal | Language.Hakaru.Syntax.AST.Sing |
| sing_MeasureOp | Language.Hakaru.Syntax.AST.Sing |
| sing_NaryOp | Language.Hakaru.Syntax.AST.Sing |
| sing_NonNegative | Language.Hakaru.Types.HClasses |
| sing_PrimOp | Language.Hakaru.Syntax.AST.Sing |
| Sinh | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| sinh | Language.Hakaru.Syntax.Prelude |
| SInt | Language.Hakaru.Types.Sing |
| Size | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| size | |
| 1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
| 2 (Function) | Language.Hakaru.Runtime.Prelude |
| 3 (Function) | Language.Hakaru.Syntax.Prelude |
| sizeInnermostInd | Language.Hakaru.Evaluation.DisintegrationMonad |
| sizeVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| SKonst | Language.Hakaru.Types.Sing |
| SLet | Language.Hakaru.Evaluation.Types |
| slice | Language.Hakaru.Inference |
| sliceX | Language.Hakaru.Inference |
| sList | Language.Hakaru.Types.Sing |
| sMaybe | Language.Hakaru.Types.Sing |
| SMeasure | Language.Hakaru.Types.Sing |
| SNat | Language.Hakaru.Types.Sing |
| snd | Language.Hakaru.Syntax.Prelude |
| snd1 | Language.Hakaru.Syntax.IClasses |
| snd2 | Language.Hakaru.Syntax.IClasses |
| Some1 | |
| 1 (Type/Class) | Language.Hakaru.Syntax.IClasses |
| 2 (Data Constructor) | Language.Hakaru.Syntax.IClasses |
| Some2 | |
| 1 (Type/Class) | Language.Hakaru.Syntax.IClasses |
| 2 (Data Constructor) | Language.Hakaru.Syntax.IClasses |
| SomeBranch | |
| 1 (Type/Class) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| 2 (Data Constructor) | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| SomeFractional | |
| 1 (Type/Class) | Language.Hakaru.Types.Coercion |
| 2 (Data Constructor) | Language.Hakaru.Types.Coercion |
| SomeOp | |
| 1 (Type/Class) | Language.Hakaru.Parser.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| SomePattern | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| SomePatternCode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| SomePatternFun | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| SomePatternStruct | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| SomeRing | |
| 1 (Type/Class) | Language.Hakaru.Types.Coercion |
| 2 (Data Constructor) | Language.Hakaru.Types.Coercion |
| someSSymbol | Language.Hakaru.Types.Sing |
| someTransformations | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| SomeVariable | |
| 1 (Type/Class) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| 2 (Data Constructor) | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
| Source | |
| 1 (Type/Class) | Language.Hakaru.Command |
| 2 (Data Constructor) | Language.Hakaru.Command |
| source | Language.Hakaru.Command |
| sourceInput | Language.Hakaru.Command |
| SourceSpan | |
| 1 (Type/Class) | Language.Hakaru.Parser.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| SP | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| sPair | Language.Hakaru.Types.Sing |
| SPC | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| SPF | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| split | Language.Hakaru.Syntax.AST.Eq |
| splitLines | Language.Hakaru.Command |
| SPlus | Language.Hakaru.Types.Sing |
| SProb | Language.Hakaru.Types.Sing |
| SPS | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad |
| sqrt | Language.Hakaru.Syntax.Prelude |
| sqrtE | Language.Hakaru.CodeGen.Libs |
| square | Language.Hakaru.Syntax.Prelude |
| srandE | Language.Hakaru.CodeGen.Libs |
| SReal | Language.Hakaru.Types.Sing |
| sscanfE | Language.Hakaru.CodeGen.Libs |
| SSing | |
| 1 (Type/Class) | Language.Hakaru.Parser.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| SStuff0 | Language.Hakaru.Evaluation.Types |
| SStuff1 | Language.Hakaru.Evaluation.Types |
| ssymbolVal | Language.Hakaru.Types.Sing |
| sSymbol_Bool | Language.Hakaru.Types.Sing |
| sSymbol_Either | Language.Hakaru.Types.Sing |
| sSymbol_List | Language.Hakaru.Types.Sing |
| sSymbol_Maybe | Language.Hakaru.Types.Sing |
| sSymbol_Pair | Language.Hakaru.Types.Sing |
| sSymbol_Unit | Language.Hakaru.Types.Sing |
| Statement | Language.Hakaru.Evaluation.Types |
| statementInds | Language.Hakaru.Evaluation.DisintegrationMonad |
| statements | |
| 1 (Function) | Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.ExpectMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad |
| 2 (Function) | Language.Hakaru.CodeGen.CodeGenMonad |
| statementVars | Language.Hakaru.Evaluation.Types |
| StrictMode | Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad, Language.Hakaru.Syntax.TypeCheck |
| stringE | Language.Hakaru.CodeGen.AST |
| stringLiteral | Language.Hakaru.Parser.Maple |
| studentT | Language.Hakaru.Syntax.Prelude |
| STyApp | Language.Hakaru.Types.Sing |
| STyCon | Language.Hakaru.Types.Sing |
| style | Language.Hakaru.Parser.Maple |
| SU | Language.Hakaru.Parser.AST |
| subst | Language.Hakaru.Syntax.ABT |
| substM | Language.Hakaru.Syntax.ABT |
| substs | Language.Hakaru.Syntax.ABT |
| substVar | Language.Hakaru.Evaluation.Types |
| Sum | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| sum | |
| 1 (Function) | Language.Hakaru.Syntax.Prelude |
| 2 (Function) | Language.Hakaru.Parser.Maple |
| Summarize | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.Transform, Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| summary | Language.Hakaru.Summary |
| summaryDebug | Language.Hakaru.Summary |
| Summate | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| summate | |
| 1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
| 2 (Function) | Language.Hakaru.Runtime.Prelude |
| 3 (Function) | Language.Hakaru.Syntax.Prelude |
| summateV | Language.Hakaru.Syntax.Prelude |
| Summate_ | Language.Hakaru.Parser.AST |
| sumV | Language.Hakaru.Syntax.Prelude |
| Sum_ | Language.Hakaru.Parser.Maple |
| sUnArray | Language.Hakaru.Types.Sing |
| sUnEither | Language.Hakaru.Types.Sing |
| sUnEither' | Language.Hakaru.Types.Sing |
| sUnFun | Language.Hakaru.Types.Sing |
| sUnit | Language.Hakaru.Types.Sing |
| sUnList | Language.Hakaru.Types.Sing |
| sUnMaybe | Language.Hakaru.Types.Sing |
| sUnMeasure | Language.Hakaru.Types.Sing |
| sUnPair | Language.Hakaru.Types.Sing |
| sUnPair' | Language.Hakaru.Types.Sing |
| superpose | |
| 1 (Function) | Language.Hakaru.Runtime.LogFloatPrelude |
| 2 (Function) | Language.Hakaru.Runtime.Prelude |
| 3 (Function) | Language.Hakaru.Syntax.Prelude |
| Superpose_ | |
| 1 (Data Constructor) | Language.Hakaru.Syntax.AST |
| 2 (Data Constructor) | Language.Hakaru.Parser.AST |
| SVoid | Language.Hakaru.Types.Sing |
| swap | Language.Hakaru.Syntax.Prelude |
| SWeight | Language.Hakaru.Evaluation.Types |
| Symbol | Language.Hakaru.Types.DataKind |
| symmetry | Language.Hakaru.Syntax.IClasses |
| symTable | Language.Hakaru.Parser.Maple |
| Syn | Language.Hakaru.Syntax.ABT |
| syn | Language.Hakaru.Syntax.ABT |