Index
| := | 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 |