Documentation

newtype Measure a Source

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

updateMixture :: Typeable a => Cond -> Dist a -> Sampler a Source

conditioned :: Typeable a => Dist a -> Measure a Source

unconditioned :: Typeable a => Dist a -> Measure a Source

factor :: Prob -> Measure () Source

condition :: Eq b => Measure (a, b) -> b -> Measure a Source

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

empiricalMeasure :: (PrimMonad m, Ord a) => Int -> Measure a -> [Cond] -> m (Mixture a) Source

sample :: Measure a -> [Cond] -> IO [(a, Prob)] Source

logit :: Floating a => a -> a Source