Control.Monad.Bayes.Helpers

Documentation

type W = Weighted

hoistW :: (forall x. m x -> n x) -> W m a -> W n a

type P = Population

hoistP :: (Monad m, Monad n) => (forall x. m x -> n x) -> P m a -> P n a

type S = Sequential

hoistS :: (forall x. m x -> m x) -> S m a -> S m a

type F = FreeSampler

hoistF :: (Monad m, Monad n) => (forall x. m x -> n x) -> F m a -> F n a

type T = Traced

hoistT :: (forall x. m x -> m x) -> Traced m a -> Traced m a

hoistWF :: (Monad m, Monad n) => (forall x. m x -> n x) -> W (F m) a -> W (F n) a

hoistSP :: Monad m => (forall x. m x -> m x) -> S (P m) a -> S (P m) a

hoistSTP :: Monad m => (forall x. m x -> m x) -> S (T (P m)) a -> S (T (P m)) a