Inference.SIM

Simulation.

Documentation

simulate

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

runSimulate

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

Trace sampled values for each Sample operation

handleSamp :: Prog '[Sample] a -> Sampler a

Handle Sample operations by using the Sampler monad to draw from primitive distributions

handleObs :: Prog (Observe ': es) a -> Prog es a

Handler Observe operations by simply passing forward their observed value, performing no side-effects