Documentation

dirac :: (Eq a, Typeable a) => a -> CSampler aSource

bern :: Double -> CSampler BoolSource

uniformC :: (Fractional a, Real a, Random a, Typeable a) => a -> a -> CSampler aSource

uniformD :: (Ix a, Random a, Typeable a) => a -> a -> CSampler aSource

poisson :: (Integral a, Typeable a) => Double -> CSampler aSource

normal :: (Real a, Floating a, Random a, Typeable a) => a -> a -> CSampler aSource

categorical :: (Typeable a, Eq a) => [(a, Prob)] -> CSampler aSource

newtype Measure a Source

bind :: Measure a -> (a -> Measure b) -> Measure bSource

conditioned :: CSampler a -> Measure aSource

unconditioned :: CSampler a -> Measure aSource

factor :: Prob -> Measure ()Source

var :: a -> aSource

lit :: a -> aSource

lam :: (a -> b) -> a -> bSource

app :: (a -> b) -> a -> bSource

fix :: ((a -> b) -> a -> b) -> a -> bSource

ifThenElse :: Bool -> a -> a -> aSource

finish :: Mixture (a, [Cond]) -> Mixture aSource

sample :: Ord a => Int -> Measure a -> [Cond] -> IO (Mixture a)Source

sample_ :: (Ord a, Show a) => Int -> Measure a -> [Cond] -> IO ()Source

logit :: Floating a => a -> aSource