Contents
Index
hakaru-0.1.3: A probabilistic programming embedded DSL
Index
:::
1 (Type/Class)
Language.Hakaru.Util.Csv
2 (Data Constructor)
Language.Hakaru.Util.Csv
add
Language.Hakaru.Symbolic
app
Language.Hakaru.Lambda
Back
Language.Hakaru.Symbolic
batchPrint
Language.Hakaru.Util.Visual
bern
Language.Hakaru.Distribution
beta
Language.Hakaru.Distribution
betaLogDensity
Language.Hakaru.Distribution
beta_rng
Language.Hakaru.Distribution
bind
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Metropolis
binder
Language.Hakaru.Symbolic
bool
Language.Hakaru.Symbolic
BoolComp
Language.Hakaru.Symbolic
categorical
Language.Hakaru.Distribution
categoricalLogDensity
Language.Hakaru.Distribution
categoricalSample
Language.Hakaru.Distribution
choose
Language.Hakaru.Distribution
chooseIndex
Language.Hakaru.Distribution
cnds
Language.Hakaru.Metropolis
Cond
Language.Hakaru.Types
condition
1 (Function)
Language.Hakaru.ImportanceSampler
2 (Function)
Language.Hakaru.Metropolis
conditioned
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Metropolis
Conditioning
Language.Hakaru.Symbolic
cos
Language.Hakaru.Symbolic
cross
Language.Hakaru.Mixture
d2m
Language.Hakaru.Symbolic
Database
Language.Hakaru.Metropolis
DBEntry
1 (Type/Class)
Language.Hakaru.Metropolis
2 (Data Constructor)
Language.Hakaru.Metropolis
dbl
Language.Hakaru.Lambda
decodeFile
Language.Hakaru.Util.Csv
decodeFileStream
Language.Hakaru.Util.Csv
decodeGZipFile
Language.Hakaru.Util.Csv
decodeGZipFileStream
Language.Hakaru.Util.Csv
Density
Language.Hakaru.Types
deterministic
Language.Hakaru.Sampler
dirac
Language.Hakaru.Distribution
dirichletLogDensity
Language.Hakaru.Distribution
dirichlet_rng
Language.Hakaru.Distribution
Discrete
Language.Hakaru.Types
Dist
1 (Type/Class)
Language.Hakaru.Symbolic
2 (Type/Class)
Language.Hakaru.Types
3 (Data Constructor)
Language.Hakaru.Types
Distrib
Language.Hakaru.Symbolic
distSample
Language.Hakaru.Types
DistVal
Language.Hakaru.Metropolis
effectiveSampleSize
Language.Hakaru.Util.Coda
empiricalMeasure
Language.Hakaru.ImportanceSampler
empty
Language.Hakaru.Mixture
Exact
Language.Hakaru.Symbolic
exp
Language.Hakaru.Symbolic
exp1
Language.Hakaru.Symbolic
exp2
Language.Hakaru.Symbolic
exp3
Language.Hakaru.Symbolic
exp4
Language.Hakaru.Symbolic
extract
Language.Hakaru.Util.Extras
factor
1 (Function)
Language.Hakaru.ImportanceSampler
2 (Function)
Language.Hakaru.Metropolis
finish
Language.Hakaru.ImportanceSampler
fix
Language.Hakaru.Lambda
fromDensity
Language.Hakaru.Types
fromDiscrete
Language.Hakaru.Types
fromLebesgue
Language.Hakaru.Types
Front
Language.Hakaru.Symbolic
gamma
Language.Hakaru.Distribution
gammaLogDensity
Language.Hakaru.Distribution
gamma_rng
Language.Hakaru.Distribution
ifThenElse
Language.Hakaru.Lambda
infixPr
Language.Hakaru.Symbolic
initialStep
Language.Hakaru.Metropolis
int
Language.Hakaru.Symbolic
IntComp
Language.Hakaru.Symbolic
l2Norm
Language.Hakaru.Util.Extras
lam
Language.Hakaru.Lambda
laplace
Language.Hakaru.Distribution
laplaceLogDensity
Language.Hakaru.Distribution
laplace_rng
Language.Hakaru.Distribution
ldb
Language.Hakaru.Metropolis
Lebesgue
Language.Hakaru.Types
lift
Language.Hakaru.Symbolic
liftA1
Language.Hakaru.Symbolic
liftA1M
Language.Hakaru.Symbolic
liftA2
Language.Hakaru.Symbolic
liftA2aba
Language.Hakaru.Symbolic
liftA2baa
Language.Hakaru.Symbolic
lit
Language.Hakaru.Lambda
LL
Language.Hakaru.Metropolis
llh2
Language.Hakaru.Metropolis
llhd
Language.Hakaru.Metropolis
lnFact
Language.Hakaru.Distribution
logDensity
Language.Hakaru.Types
logit
Language.Hakaru.ImportanceSampler
LogLikelihood
Language.Hakaru.Types
mapFst
Language.Hakaru.Distribution
Maple
1 (Type/Class)
Language.Hakaru.Symbolic
2 (Data Constructor)
Language.Hakaru.Symbolic
marsaglia
Language.Hakaru.Distribution
mcmc
Language.Hakaru.Metropolis
MeasMonad
Language.Hakaru.Symbolic
Measure
1 (Type/Class)
Language.Hakaru.Symbolic
2 (Type/Class)
Language.Hakaru.ImportanceSampler
3 (Data Constructor)
Language.Hakaru.ImportanceSampler
4 (Type/Class)
Language.Hakaru.Metropolis
5 (Data Constructor)
Language.Hakaru.Metropolis
minus
Language.Hakaru.Symbolic
Mixture
1 (Type/Class)
Language.Hakaru.Mixture
2 (Data Constructor)
Language.Hakaru.Mixture
mkPr
Language.Hakaru.Symbolic
mmap
Language.Hakaru.Mixture
mnull
Language.Hakaru.Mixture
mode
Language.Hakaru.Mixture
MPL
Language.Hakaru.Symbolic
mul
Language.Hakaru.Symbolic
Name
Language.Hakaru.Metropolis
name
Language.Hakaru.Symbolic
normal
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Distribution
normalLogDensity
Language.Hakaru.Distribution
normal_rng
Language.Hakaru.Distribution
Observed
Language.Hakaru.Metropolis
observed
Language.Hakaru.Metropolis
pairs
Language.Hakaru.Util.Extras
pieces
Language.Hakaru.Util.Extras
plot
Language.Hakaru.Util.Visual
point
Language.Hakaru.Mixture
poisson
Language.Hakaru.Distribution
poisson_rng
Language.Hakaru.Distribution
Pos
Language.Hakaru.Symbolic
pow
Language.Hakaru.Symbolic
Prob
1 (Type/Class)
Language.Hakaru.Mixture
2 (Type/Class)
Language.Hakaru.Symbolic
pure
Language.Hakaru.Symbolic
randomElems
Language.Hakaru.Util.Extras
randomElemsTR
Language.Hakaru.Util.Extras
randomExtract
Language.Hakaru.Util.Extras
randomPieces
Language.Hakaru.Util.Extras
Real
Language.Hakaru.Symbolic
real
Language.Hakaru.Symbolic
RealComp
Language.Hakaru.Symbolic
reify
Language.Hakaru.Symbolic
resample
Language.Hakaru.Metropolis
ret
Language.Hakaru.Symbolic
return_
Language.Hakaru.Metropolis
run
Language.Hakaru.Metropolis
S
Language.Hakaru.Metropolis
sample
1 (Function)
Language.Hakaru.ImportanceSampler
2 (Function)
Language.Hakaru.Metropolis
Sampler
1 (Type/Class)
Language.Hakaru.Sampler
2 (Type/Class)
Language.Hakaru.Metropolis
SamplerState
Language.Hakaru.Metropolis
sbind
1 (Function)
Language.Hakaru.Sampler
2 (Function)
Language.Hakaru.Metropolis
scale
1 (Function)
Language.Hakaru.Mixture
2 (Function)
Language.Hakaru.Symbolic
seed
Language.Hakaru.Metropolis
sin
Language.Hakaru.Symbolic
smap
1 (Function)
Language.Hakaru.Sampler
2 (Function)
Language.Hakaru.Metropolis
sqrt
Language.Hakaru.Symbolic
sreturn
Language.Hakaru.Metropolis
Subloc
Language.Hakaru.Metropolis
SymbComp
Language.Hakaru.Symbolic
test
Language.Hakaru.Symbolic
test2
Language.Hakaru.Symbolic
test3
Language.Hakaru.Symbolic
test4
Language.Hakaru.Symbolic
toList
Language.Hakaru.Mixture
traceUpdate
Language.Hakaru.Metropolis
transition
Language.Hakaru.Metropolis
unconditioned
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.ImportanceSampler
3 (Function)
Language.Hakaru.Metropolis
uniform
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Distribution
uniformD
1 (Function)
Language.Hakaru.Symbolic
2 (Function)
Language.Hakaru.Distribution
unMaple
Language.Hakaru.Symbolic
unMeasure
1 (Function)
Language.Hakaru.ImportanceSampler
2 (Function)
Language.Hakaru.Metropolis
unMixture
Language.Hakaru.Mixture
unXRP
Language.Hakaru.Metropolis
updateLogLikelihood
Language.Hakaru.Metropolis
updateMixture
Language.Hakaru.ImportanceSampler
updateXRP
Language.Hakaru.Metropolis
var
Language.Hakaru.Symbolic
VarCounter
Language.Hakaru.Symbolic
view
Language.Hakaru.Symbolic
vis
Language.Hakaru.Metropolis
Visited
Language.Hakaru.Metropolis
viz
Language.Hakaru.Util.Visual
viz'
Language.Hakaru.Util.Visual
XRP
1 (Type/Class)
Language.Hakaru.Metropolis
2 (Data Constructor)
Language.Hakaru.Metropolis
xrp
Language.Hakaru.Metropolis
~~>
Language.Hakaru.Arrow