Language.Hakaru.Sampler

Documentation

type Sampler a = forall g. RandomGen g => g -> (Mixture a, g)

deterministic :: Mixture a -> Sampler a

sbind :: Sampler a -> (a -> Sampler b) -> Sampler b

smap :: (a -> b) -> Sampler a -> Sampler b