hakaru-0.3.0: A probabilistic programming language

Index - S

SafeLanguage.Hakaru.Types.Coercion
SArgsLanguage.Hakaru.Syntax.AST
SArrayLanguage.Hakaru.Types.Sing
SBindLanguage.Hakaru.Evaluation.Types
sBoolLanguage.Hakaru.Types.Sing
SConLanguage.Hakaru.Syntax.AST
SDataLanguage.Hakaru.Types.Sing
SDoneLanguage.Hakaru.Types.Sing
sEitherLanguage.Hakaru.Types.Sing
selectLanguage.Hakaru.Evaluation.Types
semiblockExprLanguage.Hakaru.Parser.Parser
semiSepLanguage.Hakaru.Parser.Parser
semiSep1Language.Hakaru.Parser.Parser
seqCStatLanguage.Hakaru.CodeGen.AST
SEtLanguage.Hakaru.Types.Sing
SFunLanguage.Hakaru.Types.Sing
SGuardLanguage.Hakaru.Evaluation.Types
Show1Language.Hakaru.Syntax.IClasses
show1Language.Hakaru.Syntax.IClasses
Show2Language.Hakaru.Syntax.IClasses
show2Language.Hakaru.Syntax.IClasses
showList1Language.Hakaru.Syntax.IClasses
showList2Language.Hakaru.Syntax.IClasses
showListWithLanguage.Hakaru.Syntax.IClasses
showParen_0Language.Hakaru.Syntax.IClasses
showParen_01Language.Hakaru.Syntax.IClasses
showParen_010Language.Hakaru.Syntax.IClasses
showParen_011Language.Hakaru.Syntax.IClasses
showParen_02Language.Hakaru.Syntax.IClasses
showParen_1Language.Hakaru.Syntax.IClasses
showParen_11Language.Hakaru.Syntax.IClasses
showParen_111Language.Hakaru.Syntax.IClasses
showParen_12Language.Hakaru.Syntax.IClasses
showParen_2Language.Hakaru.Syntax.IClasses
showParen_22Language.Hakaru.Syntax.IClasses
showProbInLogLanguage.Hakaru.CodeGen.Wrapper
shows1Language.Hakaru.Syntax.IClasses
shows2Language.Hakaru.Syntax.IClasses
showsPrec1Language.Hakaru.Syntax.IClasses
showsPrec2Language.Hakaru.Syntax.IClasses
showTupleLanguage.Hakaru.Syntax.IClasses
showWeightsLanguage.Hakaru.CodeGen.Wrapper
SIdentLanguage.Hakaru.Types.Sing
SignedLanguage.Hakaru.Types.Coercion
signedLanguage.Hakaru.Types.Coercion
Signum 
1 (Data Constructor)Language.Hakaru.Syntax.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
signumLanguage.Hakaru.Syntax.Prelude
simplifyLanguage.Hakaru.Simplify
simplifyDebugLanguage.Hakaru.Simplify
simplifyZZLanguage.Hakaru.Types.Coercion
Sin 
1 (Data Constructor)Language.Hakaru.Syntax.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
sinLanguage.Hakaru.Syntax.Prelude
SingLanguage.Hakaru.Types.Sing, Language.Hakaru.Parser.AST
singLanguage.Hakaru.Types.Sing
singCoerceCodLanguage.Hakaru.Types.Coercion
singCoerceDomLanguage.Hakaru.Types.Coercion
singCoerceDomCodLanguage.Hakaru.Types.Coercion
SingILanguage.Hakaru.Types.Sing
singletonLanguage.Hakaru.Parser.SymbolResolve
singletonAssocsLanguage.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
singletonCoercionLanguage.Hakaru.Types.Coercion
singletonVarSetLanguage.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
SingSymbolLanguage.Hakaru.Types.Sing
sing_ArrayOpLanguage.Hakaru.Syntax.AST.Sing
sing_HContinuousLanguage.Hakaru.Types.HClasses
sing_HDiscreteLanguage.Hakaru.Types.HClasses
sing_HEqLanguage.Hakaru.Types.HClasses
sing_HFractionalLanguage.Hakaru.Types.HClasses
sing_HIntegrableLanguage.Hakaru.Types.HClasses
sing_HIntegralLanguage.Hakaru.Types.HClasses
sing_HOrdLanguage.Hakaru.Types.HClasses
sing_HRadicalLanguage.Hakaru.Types.HClasses
sing_HRingLanguage.Hakaru.Types.HClasses
sing_HSemiringLanguage.Hakaru.Types.HClasses
sing_LiteralLanguage.Hakaru.Syntax.AST.Sing
sing_MeasureOpLanguage.Hakaru.Syntax.AST.Sing
sing_NaryOpLanguage.Hakaru.Syntax.AST.Sing
sing_NonNegativeLanguage.Hakaru.Types.HClasses
sing_PrimOpLanguage.Hakaru.Syntax.AST.Sing
Sinh 
1 (Data Constructor)Language.Hakaru.Syntax.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
sinhLanguage.Hakaru.Syntax.Prelude
SIntLanguage.Hakaru.Types.Sing
Size 
1 (Data Constructor)Language.Hakaru.Syntax.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
size 
1 (Function)Language.Hakaru.Runtime.Prelude
2 (Function)Language.Hakaru.Syntax.Prelude
sizeInnermostIndLanguage.Hakaru.Evaluation.DisintegrationMonad
SKonstLanguage.Hakaru.Types.Sing
SLetLanguage.Hakaru.Evaluation.Types
sliceLanguage.Hakaru.Inference
sliceXLanguage.Hakaru.Inference
sListLanguage.Hakaru.Types.Sing
sMaybeLanguage.Hakaru.Types.Sing
SMeasureLanguage.Hakaru.Types.Sing
SNatLanguage.Hakaru.Types.Sing
sndLanguage.Hakaru.Syntax.Prelude
snd1Language.Hakaru.Syntax.IClasses
snd2Language.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
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
SomeRing 
1 (Type/Class)Language.Hakaru.Types.Coercion
2 (Data Constructor)Language.Hakaru.Types.Coercion
SomeVariable 
1 (Type/Class)Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
2 (Data Constructor)Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT
SourceSpan 
1 (Type/Class)Language.Hakaru.Parser.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
sPairLanguage.Hakaru.Types.Sing
splitLinesLanguage.Hakaru.Command
SPlusLanguage.Hakaru.Types.Sing
SProbLanguage.Hakaru.Types.Sing
sqrt 
1 (Function)Language.Hakaru.CodeGen.AST
2 (Function)Language.Hakaru.Syntax.Prelude
squareLanguage.Hakaru.Syntax.Prelude
SRealLanguage.Hakaru.Types.Sing
SSing 
1 (Type/Class)Language.Hakaru.Parser.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
SStuff0Language.Hakaru.Evaluation.Types
SStuff1Language.Hakaru.Evaluation.Types
sSymbol_BoolLanguage.Hakaru.Types.Sing
sSymbol_EitherLanguage.Hakaru.Types.Sing
sSymbol_ListLanguage.Hakaru.Types.Sing
sSymbol_MaybeLanguage.Hakaru.Types.Sing
sSymbol_PairLanguage.Hakaru.Types.Sing
sSymbol_UnitLanguage.Hakaru.Types.Sing
StatementLanguage.Hakaru.Evaluation.Types
statementIndsLanguage.Hakaru.Evaluation.DisintegrationMonad
statements 
1 (Function)Language.Hakaru.CodeGen.CodeGenMonad
2 (Function)Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.ExpectMonad
statementVarsLanguage.Hakaru.Evaluation.Types
StrictModeLanguage.Hakaru.Syntax.TypeCheck
stringELanguage.Hakaru.CodeGen.AST
stringLiteralLanguage.Hakaru.Parser.Maple
studentTLanguage.Hakaru.Syntax.Prelude
STyAppLanguage.Hakaru.Types.Sing
STyConLanguage.Hakaru.Types.Sing
style 
1 (Function)Language.Hakaru.Parser.Maple
2 (Function)Language.Hakaru.Parser.Parser
SULanguage.Hakaru.Parser.AST
substLanguage.Hakaru.Syntax.ABT
substsLanguage.Hakaru.Syntax.ABT
suffixesLanguage.Hakaru.CodeGen.CodeGenMonad
Sum 
1 (Data Constructor)Language.Hakaru.Syntax.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
sum 
1 (Function)Language.Hakaru.Parser.Maple
2 (Function)Language.Hakaru.Syntax.Prelude
Summate 
1 (Data Constructor)Language.Hakaru.Syntax.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
summate 
1 (Function)Language.Hakaru.Runtime.Prelude
2 (Function)Language.Hakaru.Syntax.Prelude
summateVLanguage.Hakaru.Syntax.Prelude
Summate_Language.Hakaru.Parser.AST
summate_exprLanguage.Hakaru.Parser.Parser
sumVLanguage.Hakaru.Syntax.Prelude
Sum_Language.Hakaru.Parser.Maple
sUnArrayLanguage.Hakaru.Types.Sing
sUnEitherLanguage.Hakaru.Types.Sing
sUnitLanguage.Hakaru.Types.Sing
sUnListLanguage.Hakaru.Types.Sing
sUnMaybeLanguage.Hakaru.Types.Sing
sUnMeasureLanguage.Hakaru.Types.Sing
sUnPairLanguage.Hakaru.Types.Sing
superpose 
1 (Function)Language.Hakaru.Runtime.Prelude
2 (Function)Language.Hakaru.Syntax.Prelude
Superpose_ 
1 (Data Constructor)Language.Hakaru.Syntax.AST
2 (Data Constructor)Language.Hakaru.Parser.AST
SVoidLanguage.Hakaru.Types.Sing
swapLanguage.Hakaru.Syntax.Prelude
SWeightLanguage.Hakaru.Evaluation.Types
Symbol 
1 (Type/Class)Language.Hakaru.Types.DataKind
2 (Type/Class)Language.Hakaru.Parser.SymbolResolve
symbolLanguage.Hakaru.Parser.Parser
Symbol'Language.Hakaru.Parser.SymbolResolve
symbolResolutionLanguage.Hakaru.Parser.SymbolResolve
symbolResolveBranchLanguage.Hakaru.Parser.SymbolResolve
symbolResolvePatLanguage.Hakaru.Parser.SymbolResolve
SymbolTableLanguage.Hakaru.Parser.SymbolResolve
symmetryLanguage.Hakaru.Syntax.IClasses
symTableLanguage.Hakaru.Parser.Maple
SynLanguage.Hakaru.Syntax.ABT
synLanguage.Hakaru.Syntax.ABT