Safe | Language.Hakaru.Types.Coercion |
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 |
semiblockExpr | Language.Hakaru.Parser.Parser |
semiSep | Language.Hakaru.Parser.Parser |
semiSep1 | Language.Hakaru.Parser.Parser |
seqCStat | Language.Hakaru.CodeGen.AST |
SEt | Language.Hakaru.Types.Sing |
SFun | Language.Hakaru.Types.Sing |
SGuard | Language.Hakaru.Evaluation.Types |
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 |
showWeights | Language.Hakaru.CodeGen.Wrapper |
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 |
simplify | Language.Hakaru.Simplify |
simplifyDebug | 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 |
singleton | Language.Hakaru.Parser.SymbolResolve |
singletonAssocs | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
singletonCoercion | Language.Hakaru.Types.Coercion |
singletonVarSet | Language.Hakaru.Syntax.Variable, Language.Hakaru.Syntax.ABT |
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.Prelude |
2 (Function) | Language.Hakaru.Syntax.Prelude |
sizeInnermostInd | Language.Hakaru.Evaluation.DisintegrationMonad |
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 |
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 |
sPair | Language.Hakaru.Types.Sing |
splitLines | Language.Hakaru.Command |
SPlus | Language.Hakaru.Types.Sing |
SProb | Language.Hakaru.Types.Sing |
sqrt | |
1 (Function) | Language.Hakaru.CodeGen.AST |
2 (Function) | Language.Hakaru.Syntax.Prelude |
square | Language.Hakaru.Syntax.Prelude |
SReal | Language.Hakaru.Types.Sing |
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 |
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.CodeGen.CodeGenMonad |
2 (Function) | Language.Hakaru.Evaluation.PEvalMonad, Language.Hakaru.Evaluation.DisintegrationMonad, Language.Hakaru.Evaluation.EvalMonad, Language.Hakaru.Evaluation.ExpectMonad |
statementVars | Language.Hakaru.Evaluation.Types |
StrictMode | 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 | |
1 (Function) | Language.Hakaru.Parser.Maple |
2 (Function) | Language.Hakaru.Parser.Parser |
SU | Language.Hakaru.Parser.AST |
subst | Language.Hakaru.Syntax.ABT |
substs | Language.Hakaru.Syntax.ABT |
suffixes | Language.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 |
summateV | Language.Hakaru.Syntax.Prelude |
Summate_ | Language.Hakaru.Parser.AST |
summate_expr | Language.Hakaru.Parser.Parser |
sumV | Language.Hakaru.Syntax.Prelude |
Sum_ | Language.Hakaru.Parser.Maple |
sUnArray | Language.Hakaru.Types.Sing |
sUnEither | 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 |
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 |
SVoid | Language.Hakaru.Types.Sing |
swap | Language.Hakaru.Syntax.Prelude |
SWeight | Language.Hakaru.Evaluation.Types |
Symbol | |
1 (Type/Class) | Language.Hakaru.Types.DataKind |
2 (Type/Class) | Language.Hakaru.Parser.SymbolResolve |
symbol | Language.Hakaru.Parser.Parser |
Symbol' | Language.Hakaru.Parser.SymbolResolve |
symbolResolution | Language.Hakaru.Parser.SymbolResolve |
symbolResolveBranch | Language.Hakaru.Parser.SymbolResolve |
symbolResolvePat | Language.Hakaru.Parser.SymbolResolve |
SymbolTable | Language.Hakaru.Parser.SymbolResolve |
symmetry | Language.Hakaru.Syntax.IClasses |
symTable | Language.Hakaru.Parser.Maple |
Syn | Language.Hakaru.Syntax.ABT |
syn | Language.Hakaru.Syntax.ABT |