Lazy sampler is not a monad transformer, strict sampler misses MonadTrans instance - Githubissues

tweag / monad-bayes

A library for probabilistic programming in Haskell.

MIT License

401 stars 62 forks source link

Lazy sampler is not a monad transformer, strict sampler misses MonadTrans instance #320

Closed turion closed 6 months ago

turion commented 9 months ago

In https://github.com/tweag/monad-bayes/pull/295 I erroneously renamed Control.Monad.Bayes.Sampler.Lazy.Sampler to SamplerT. Looking into this I found that:

There is no lazy sampler transformer going with the lazy sampler
The strict sampler is a transformer, but doesn't have the MonadTrans instance

This should be fixed