Documentation

type W = Weighted Source #

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

type P = Population Source #

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

type S = Sequential Source #

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

type F = FreeSampler Source #

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

type T = Traced Source #

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

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

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

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