Contents
Index
hakaru-0.6.0: A probabilistic programming language
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Z
:
!
&
*
+
.
/
<
=
>
^
|
-
_
All
Index - E
EAssoc
1 (Type/Class)
Language.Hakaru.Sample
2 (Data Constructor)
Language.Hakaru.Sample
elimTypedAST
Language.Hakaru.Syntax.TypeCheck.TypeCheckMonad
,
Language.Hakaru.Syntax.TypeCheck
emit
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.ExpectMonad
3 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitFork_
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitGuard
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitLet
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitLet'
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitMBind
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitMBind2
Language.Hakaru.Evaluation.DisintegrationMonad
emitMBind_
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitSuperpose
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitUnpair
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emitWeight
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
emit_
1 (Function)
Language.Hakaru.Evaluation.PEvalMonad
2 (Function)
Language.Hakaru.Evaluation.ExpectMonad
3 (Function)
Language.Hakaru.Evaluation.DisintegrationMonad
empty
Language.Hakaru.Syntax.Prelude
emptyAssocs
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
emptyCG
Language.Hakaru.CodeGen.CodeGenMonad
emptyEnv
Language.Hakaru.Sample
emptyLAssocs
Language.Hakaru.Evaluation.Types
emptyVarSet
Language.Hakaru.Syntax.Variable
, Language.Hakaru.Syntax.ABT
Empty_
Language.Hakaru.Syntax.AST
End
1 (Data Constructor)
Language.Hakaru.Syntax.SArgs
,
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
enumFromUntilValue
Language.Hakaru.Syntax.Value
Env
1 (Type/Class)
Language.Hakaru.Sample
2 (Data Constructor)
Language.Hakaru.Sample
Eq1
Language.Hakaru.Syntax.IClasses
eq1
Language.Hakaru.Syntax.IClasses
Eq2
Language.Hakaru.Syntax.IClasses
eq2
Language.Hakaru.Syntax.IClasses
eqAppendAssoc
Language.Hakaru.Syntax.IClasses
eqAppendIdentity
Language.Hakaru.Syntax.IClasses
Equal
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
3 (Data Constructor)
Language.Hakaru.Parser.Maple
equal
Language.Hakaru.Parser.Maple
Erf
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
erf
Language.Hakaru.Syntax.Prelude
Et
1 (Data Constructor)
Language.Hakaru.Syntax.Datum
2 (Data Constructor)
Language.Hakaru.Parser.AST
Eval
1 (Type/Class)
Language.Hakaru.Evaluation.EvalMonad
2 (Data Constructor)
Language.Hakaru.Evaluation.EvalMonad
evalOp
Language.Hakaru.Sample
evaluate
1 (Function)
Language.Hakaru.Sample
2 (Function)
Language.Hakaru.Evaluation.Lazy
evaluateArray
Language.Hakaru.Sample
evaluateArrayOp
1 (Function)
Language.Hakaru.Sample
2 (Function)
Language.Hakaru.Evaluation.Lazy
evaluateBucket
Language.Hakaru.Sample
evaluateCase
1 (Function)
Language.Hakaru.Sample
2 (Function)
Language.Hakaru.Evaluation.Types
evaluateDatum
Language.Hakaru.Sample
evaluateEmpty
Language.Hakaru.Sample
evaluateLiteral
Language.Hakaru.Sample
evaluateMeasureOp
Language.Hakaru.Sample
evaluateNaryOp
1 (Function)
Language.Hakaru.Sample
2 (Function)
Language.Hakaru.Evaluation.Lazy
evaluatePrimOp
1 (Function)
Language.Hakaru.Sample
2 (Function)
Language.Hakaru.Evaluation.Lazy
evaluateSCon
Language.Hakaru.Sample
evaluateSuperpose
Language.Hakaru.Sample
evaluateTerm
Language.Hakaru.Sample
evaluateVar
1 (Function)
Language.Hakaru.Sample
2 (Function)
Language.Hakaru.Evaluation.Types
EvaluationMonad
Language.Hakaru.Evaluation.Types
Exp
1 (Data Constructor)
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
exp
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Syntax.Prelude
expandAllTransformations
Language.Hakaru.Syntax.AST.Transforms
expandImports
Language.Hakaru.Parser.Import
expandTransformations
Language.Hakaru.Syntax.AST.Transforms
expandTransformationsWith
Language.Hakaru.Syntax.AST.Transforms
expandTransformationsWith'
Language.Hakaru.Syntax.AST.Transforms
expE
Language.Hakaru.CodeGen.Libs
Expect
1 (Data Constructor)
Language.Hakaru.Syntax.Transform
,
Language.Hakaru.Syntax.AST
2 (Data Constructor)
Language.Hakaru.Parser.AST
3 (Type/Class)
Language.Hakaru.Evaluation.ExpectMonad
4 (Data Constructor)
Language.Hakaru.Evaluation.ExpectMonad
expect
Language.Hakaru.Expect
ExpectAns
Language.Hakaru.Evaluation.ExpectMonad
expectInCtx
Language.Hakaru.Expect
ExpectP
Language.Hakaru.Evaluation.Types
expm1E
Language.Hakaru.CodeGen.Libs
exponential
Language.Hakaru.Syntax.Prelude
expr
Language.Hakaru.Parser.Maple
ExpSeq
Language.Hakaru.Parser.Maple
expseq
Language.Hakaru.Parser.Maple
extDeclare
Language.Hakaru.CodeGen.CodeGenMonad
extDeclareTypes
Language.Hakaru.CodeGen.CodeGenMonad
extDecls
Language.Hakaru.CodeGen.CodeGenMonad
extendIndices
Language.Hakaru.Evaluation.DisintegrationMonad
extFreeVars
Language.Hakaru.Evaluation.Types
Extra
Language.Hakaru.Evaluation.DisintegrationMonad
extract
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
extractBool
1 (Function)
Language.Hakaru.Runtime.LogFloatPrelude
2 (Function)
Language.Hakaru.Runtime.Prelude
extraOpts
Language.Hakaru.Maple
extSubst
Language.Hakaru.Evaluation.Types
extSubsts
Language.Hakaru.Evaluation.Types