| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Inference.SIM
Description
Simulation.
Synopsis
- simulate :: (FromSTrace env, es ~ '[ObsReader env, Dist, State STrace, Observe, Sample]) => (b -> Model env es a) -> Env env -> b -> Sampler (a, Env env)
- runSimulate :: es ~ '[ObsReader env, Dist, State STrace, Observe, Sample] => Env env -> Model env es a -> Sampler (a, STrace)
- traceSamples :: (Member (State STrace) es, Member Sample es) => Prog es a -> Prog es a
- handleSamp :: Prog '[Sample] a -> Sampler a
- handleObs :: Prog (Observe ': es) a -> Prog es a
Documentation
Arguments
| :: (FromSTrace env, es ~ '[ObsReader env, Dist, State STrace, Observe, Sample]) | |
| => (b -> Model env es a) | model awaiting an input |
| -> Env env | model environment |
| -> b | model input |
| -> Sampler (a, Env env) | (model output, output environment) |
Top-level wrapper for simulating from a model
Arguments
| :: es ~ '[ObsReader env, Dist, State STrace, Observe, Sample] | |
| => Env env | model environment |
| -> Model env es a | model |
| -> Sampler (a, STrace) | (model output, sample trace) |
Handler for simulating once from a probabilistic program
traceSamples :: (Member (State STrace) es, Member Sample es) => Prog es a -> Prog es a Source #
Trace sampled values for each Sample operation