Documentation

type DistVal = Dynamic Source

data XRP where Source

unXRP :: Typeable a => XRP -> Maybe (Density a, Dist a) Source

type Visited = Bool Source

type Observed = Bool Source

type LL = LogLikelihood Source

type LL2 = (LL, LL) Source

type Subloc = Int Source

type Name = [Subloc] Source

data DBEntry Source

type Database = Map Name DBEntry Source

data SamplerState where Source

type Sampler a = PrimMonad m => SamplerState -> PRNG m -> m (a, SamplerState) Source

sreturn :: a -> Sampler a Source

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

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

newtype Measure a Source

return_ :: a -> Measure a Source

updateXRP :: Typeable a => Name -> Cond -> Dist a -> Sampler a Source

updateLogLikelihood :: LL2 -> LL2 -> LL2 Source

factor :: LL -> Measure () Source

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

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

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

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

sapp :: Sampler (a -> b) -> Sampler a -> Sampler b Source

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

run :: Measure a -> [Cond] -> IO (a, Database, LL) Source

traceUpdate :: PrimMonad m => Measure a -> Database -> [Cond] -> PRNG m -> m (a, Database, LL, LL, LL) Source

initialStep :: Measure a -> [Cond] -> PRNG IO -> IO (a, Database, LL, LL, LL) Source

resample :: PrimMonad m => Name -> Database -> Observed -> XRP -> PRNG m -> m (Database, LL, LL, LL) Source

transition :: Typeable a => Measure a -> [Cond] -> a -> Database -> LL -> PRNG IO -> IO [a] Source

mcmc :: Typeable a => Measure a -> [Cond] -> IO [a] Source

sample :: Typeable a => Measure a -> [Cond] -> IO [(a, Double)] Source