:= | Env |
<:> | Env |
accept | Inference.MH |
Addr | Effects.Dist |
Ask | Effects.ObsReader |
ask | Effects.ObsReader |
Assign | Env |
bernoulli | Model |
bernoulli' | Model |
BernoulliDist | PrimDist |
beta | Model |
beta' | Model |
BetaDist | PrimDist |
binomial | Model |
binomial' | Model |
BinomialDist | PrimDist |
boolToInt | Util |
call | Prog |
categorical | Model |
categorical' | Model |
CategoricalDist | PrimDist |
cauchy | Model |
cauchy' | Model |
CauchyDist | PrimDist |
createSampler | Sampler |
deterministic | Model |
deterministic' | Model |
DeterministicDist | PrimDist |
dirichlet | Model |
dirichlet' | Model |
DirichletDist | PrimDist |
discharge | Prog |
discrete | Model |
discrete' | Model |
DiscreteDist | PrimDist |
DiscrUniformDist | PrimDist |
Dist | |
1 (Type/Class) | Effects.Dist |
2 (Data Constructor) | Effects.Dist |
ECons | Env |
EffectSum | Prog |
ENil | Env |
Env | Env |
ErasedPrimDist | |
1 (Type/Class) | PrimDist |
2 (Data Constructor) | PrimDist |
FindElem | FindElem |
findElem | FindElem |
findIndexes | Util |
FromSTrace | Trace |
fromSTrace | Trace |
gamma | Model |
gamma' | Model |
GammaDist | PrimDist |
Get | Effects.State |
get | |
1 (Function) | Env |
2 (Function) | Effects.State |
getObs | Effects.Dist |
getPrimDist | Effects.Dist |
getTag | Effects.Dist |
halfCauchy | Model |
halfCauchy' | Model |
HalfCauchyDist | PrimDist |
halfNormal | Model |
halfNormal' | Model |
HalfNormalDist | PrimDist |
handleCore | Model |
handleDist | Effects.Dist |
handleLift | Effects.Lift |
handleObs | |
1 (Function) | Inference.SIM |
2 (Function) | Inference.LW |
handleRead | Effects.ObsReader |
handleSamp | |
1 (Function) | Inference.SIM |
2 (Function) | Inference.MH |
handleState | Effects.State |
handleWriter | Effects.Writer |
handleWriterM | Effects.Writer |
Idx | |
1 (Type/Class) | FindElem |
2 (Data Constructor) | FindElem |
inj | |
1 (Function) | OpenSum |
2 (Function) | Prog |
IsPrimVal | |
1 (Type/Class) | PrimDist |
2 (Data Constructor) | PrimDist |
Lift | |
1 (Type/Class) | Effects.Lift |
2 (Data Constructor) | Effects.Lift |
lift | Effects.Lift |
liftS | Sampler |
logProb | PrimDist |
lookupSample | Inference.MH |
LookupType | Env |
LPTrace | Trace |
lw | Inference.LW |
Member | |
1 (Type/Class) | OpenSum |
2 (Type/Class) | Prog |
mh | Inference.MH |
mhStep | Inference.MH |
Model | |
1 (Type/Class) | Model |
2 (Data Constructor) | Model |
modify | Effects.State |
nil | Env |
normal | Model |
normal' | Model |
NormalDist | PrimDist |
Obs | Effects.Dist |
Observable | Env |
Observables | Env |
Observe | |
1 (Type/Class) | Effects.Dist |
2 (Data Constructor) | Effects.Dist |
ObsReader | Effects.ObsReader |
ObsVar | |
1 (Type/Class) | Env |
2 (Data Constructor) | Env |
Op | Prog |
OpenSum | OpenSum |
poisson | Model |
poisson' | Model |
PoissonDist | PrimDist |
PrimDist | PrimDist |
PrimDistPrf | PrimDist |
PrimVal | PrimDist |
prj | |
1 (Function) | OpenSum |
2 (Function) | Prog |
prob | PrimDist |
Prog | Prog |
Put | Effects.State |
put | Effects.State |
run | Prog |
runLW | Inference.LW |
runMH | Inference.MH |
runModel | Model |
runSimulate | Inference.SIM |
safeHead | Util |
safeTail | Util |
Samp | Effects.Dist |
Sample | |
1 (Type/Class) | Effects.Dist |
2 (Data Constructor) | Effects.Dist |
sample | PrimDist |
sampleBernoulli | Sampler |
sampleBeta | Sampler |
sampleBinomial | Sampler |
sampleCategorical | Sampler |
sampleCauchy | Sampler |
sampleDirichlet | Sampler |
sampleDiscrete | Sampler |
sampleDiscreteUniform | Sampler |
sampleGamma | Sampler |
sampleIO | Sampler |
sampleIOFixed | Sampler |
sampleNormal | Sampler |
samplePoisson | Sampler |
Sampler | Sampler |
sampleRandom | Sampler |
sampleUniform | Sampler |
set | Env |
simulate | Inference.SIM |
State | Effects.State |
STrace | Trace |
Tag | Effects.Dist |
Tell | Effects.Writer |
tell | Effects.Writer |
tellM | Effects.Writer |
traceLPs | Inference.MH |
traceSamples | Inference.SIM |
unIdx | FindElem |
uniform | Model |
uniform' | Model |
UniformDist | PrimDist |
UniqueKey | Env |
UnsafeOpenSum | OpenSum |
updateLPTrace | Trace |
updateSTrace | Trace |
Val | Prog |
varToStr | Env |
Writer | Effects.Writer |