Safe Haskell | None |
---|---|
Language | Haskell2010 |
Likelihood-Weighting inference.
Synopsis
- lw :: (FromSTrace env, es ~ '[ObsReader env, Dist, State STrace, Observe, Sample]) => Int -> (b -> Model env es a) -> (b, Env env) -> Sampler [(Env env, Double)]
- runLW :: es ~ '[ObsReader env, Dist, State STrace, Observe, Sample] => Env env -> Model env es a -> Sampler ((a, STrace), Double)
- handleObs :: Member Sample es => Double -> Prog (Observe ': es) a -> Prog es (a, Double)
Documentation
:: (FromSTrace env, es ~ '[ObsReader env, Dist, State STrace, Observe, Sample]) | |
=> Int | number of LW iterations |
-> (b -> Model env es a) | model awaiting an input |
-> (b, Env env) | (model input, input model environment) |
-> Sampler [(Env env, Double)] |
|
Top-level wrapper for Likelihood-Weighting (LW) inference