monad-bayes-0.1.0.0: A library for probabilistic programming.

Copyright(c) Adam Scibior 2015-2020
LicenseMIT
Maintainerleonhard.markert@tweag.io
Stabilityexperimental
PortabilityGHC
Safe HaskellNone
LanguageHaskell2010

Control.Monad.Bayes.Helpers

Description

 

Documentation

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

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

hoistS :: (forall x. m x -> m x) -> S m a -> S m a 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 #