Contents
Index
hakaru-0.1.2: A probabilistic programming embedded DSL
Index
add
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Syntax
app
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
AST
Language.Hakaru.Syntax
batchPrint
Visual
bern
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Syntax
beta
Language.Hakaru.Metropolis
betaLogDensity
RandomChoice
beta_rng
RandomChoice
bind
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Metropolis
3 (Function)
Language.Hakaru.ImportanceSampler
4 (Function)
Language.Hakaru.Syntax
bool
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Syntax
Categorical
Language.Hakaru.Syntax
categorical
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Syntax
choose
RandomChoice
chooseIndex
RandomChoice
Cond
1 (Type/Class)
Language.Hakaru.Metropolis
2 (Type/Class)
Types
conditioned
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Metropolis
3 (Function)
Language.Hakaru.ImportanceSampler
4 (Function)
Language.Hakaru.Syntax
cons
Language.Hakaru.Syntax
cos
Language.Hakaru.Symbolic
cross
Mixture
CSampler
1 (Type/Class)
Types
2 (Data Constructor)
Types
Database
Language.Hakaru.Metropolis
dataLoad
Util.Extras
deterministic
Sampler
dirac
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Syntax
dirichletLogDensity
RandomChoice
dirichlet_rng
RandomChoice
Discrete
Types
Dist
1 (Type/Class)
Language.Hakaru.Symbolic
2 (Type/Class)
Language.Hakaru.Metropolis
3 (Data Constructor)
Language.Hakaru.Metropolis
4 (Type/Class)
Language.Hakaru.Syntax
DistVal
Language.Hakaru.Metropolis
effectiveSampleSize
Util.Coda
empty
Mixture
eval
Language.Hakaru.Syntax
exp
Language.Hakaru.Symbolic
exp1
Language.Hakaru.Symbolic
exp2
Language.Hakaru.Symbolic
exp3
Language.Hakaru.Symbolic
extract
Util.Extras
factor
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Syntax
finish
Language.Hakaru.ImportanceSampler
fix
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
gamma
Language.Hakaru.Metropolis
gammaLogDensity
RandomChoice
gamma_rng
RandomChoice
ifThenElse
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
initialStep
Language.Hakaru.Metropolis
inl
Language.Hakaru.Syntax
inr
Language.Hakaru.Syntax
IS
1 (Type/Class)
Language.Hakaru.Syntax
2 (Data Constructor)
Language.Hakaru.Syntax
IS'
Language.Hakaru.Syntax
l2Norm
Util.Extras
lam
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
laplace
Language.Hakaru.Metropolis
laplaceLogDensity
RandomChoice
laplace_rng
RandomChoice
Lebesgue
Types
Likelihood
Language.Hakaru.Metropolis
lit
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
lnFact
RandomChoice
logDensity
Language.Hakaru.Metropolis
logFloat
Language.Hakaru.Syntax
logit
Language.Hakaru.ImportanceSampler
logToLogFloat
Language.Hakaru.Syntax
loop_hmm
Examples.Tests
main
Examples.Tests
main_carRoadModel
Examples.Tests
main_categorical
Examples.Tests
main_dbn
Examples.Tests
main_hmm
Examples.Tests
makeXRP
Language.Hakaru.Metropolis
Maple
1 (Type/Class)
Language.Hakaru.Symbolic
2 (Data Constructor)
Language.Hakaru.Symbolic
marsaglia
RandomChoice
mcmc
Language.Hakaru.Metropolis
Measure
1 (Type/Class)
Language.Hakaru.Symbolic
2 (Type/Class)
Language.Hakaru.Metropolis
3 (Data Constructor)
Language.Hakaru.Metropolis
4 (Type/Class)
Language.Hakaru.ImportanceSampler
5 (Data Constructor)
Language.Hakaru.ImportanceSampler
6 (Type/Class)
Language.Hakaru.Syntax
MH
1 (Type/Class)
Language.Hakaru.Syntax
2 (Data Constructor)
Language.Hakaru.Syntax
MH'
Language.Hakaru.Syntax
minus
Language.Hakaru.Symbolic
Mixture
1 (Type/Class)
Mixture
2 (Data Constructor)
Mixture
mmap
Mixture
mnull
Mixture
Mochastic
Language.Hakaru.Syntax
mode
Mixture
mul
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Syntax
Name
Language.Hakaru.Metropolis
neg
Language.Hakaru.Syntax
nil
Language.Hakaru.Syntax
normal
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Metropolis
3 (Function)
Language.Hakaru.ImportanceSampler
4 (Function)
Language.Hakaru.Syntax
normalLogDensity
RandomChoice
normal_rng
RandomChoice
Observed
Language.Hakaru.Metropolis
pair
Language.Hakaru.Syntax
pairs
Util.Extras
pieces
Util.Extras
plot
Visual
point
Mixture
poisson
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Syntax
poisson_rng
RandomChoice
PP
1 (Type/Class)
Language.Hakaru.Syntax
2 (Data Constructor)
Language.Hakaru.Syntax
Prob
1 (Type/Class)
Language.Hakaru.Symbolic
2 (Type/Class)
Mixture
3 (Type/Class)
Language.Hakaru.Syntax
randomElems
Util.Extras
randomElemsTR
Util.Extras
randomExtract
Util.Extras
randomPieces
Util.Extras
Real
Language.Hakaru.Syntax
real
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Syntax
resample
Language.Hakaru.Metropolis
ret
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Syntax
return_
Language.Hakaru.Metropolis
run
Language.Hakaru.Metropolis
sample
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
Sampler
Sampler
sample_
Language.Hakaru.ImportanceSampler
sbind
Sampler
scale
Mixture
sin
Language.Hakaru.Symbolic
smap
Sampler
sqrt
Language.Hakaru.Symbolic
Subloc
Language.Hakaru.Metropolis
Symbolic
Language.Hakaru.Symbolic
test
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Examples.Tests
test2
Language.Hakaru.Symbolic
test3
Language.Hakaru.Symbolic
test_carRoadModel
Examples.Tests
test_categorical
Examples.Tests
test_dbn
Examples.Tests
test_dup
Examples.Tests
test_hmm
Examples.Tests
toList
Mixture
traceUpdate
Language.Hakaru.Metropolis
transition
Language.Hakaru.Metropolis
Type
Language.Hakaru.Syntax
Unbool
Language.Hakaru.Syntax
unbool
Language.Hakaru.Syntax
Unconditioned
Types
unconditioned
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Metropolis
3 (Function)
Language.Hakaru.ImportanceSampler
4 (Function)
Language.Hakaru.Syntax
uneither
Language.Hakaru.Syntax
uniform
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.Syntax
uniformC
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.ImportanceSampler
uniformD
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.ImportanceSampler
unlist
Language.Hakaru.Syntax
unMaple
Language.Hakaru.Symbolic
unMeasure
1 (Function)
Language.Hakaru.Metropolis
2 (Function)
Language.Hakaru.ImportanceSampler
unMixture
Mixture
unpair
Language.Hakaru.Syntax
unXRP
Language.Hakaru.Metropolis
updateDB
Language.Hakaru.Metropolis
updateLikelihood
Language.Hakaru.Metropolis
Var
Language.Hakaru.Metropolis
var
Language.Hakaru.ImportanceSampler
VarCounter
Language.Hakaru.Symbolic
view
Language.Hakaru.Symbolic
Visited
Language.Hakaru.Metropolis
viz
Visual
viz'
Visual
XRP
1 (Type/Class)
Language.Hakaru.Metropolis
2 (Data Constructor)
Language.Hakaru.Metropolis