Language.Hakaru.ImportanceSampler

Documentation

newtype Measure a

Constructors

Measure

Fields

unMeasure :: [Cond] -> Sampler (a, [Cond])

Instances

Monad Measure

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

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

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

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

factor :: Prob -> Measure ()

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

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

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

sample :: (Ord a, Show a) => Measure a -> [Cond] -> IO [(a, Prob)]

logit :: Floating a => a -> a