Language.Hakaru.Metropolis

Documentation

type DistVal = Dynamic

data XRP where

Constructors

XRP :: Typeable e => (Density e, Dist e) -> XRP

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

type Visited = Bool

type Observed = Bool

type LL = LogLikelihood

type Subloc = Int

type Name = [Subloc]

data DBEntry

Constructors

DBEntry

Fields

xrp :: XRP

llhd :: LL

vis :: Visited

observed :: Observed

type Database = Map Name DBEntry

data SamplerState g where

Constructors

S :: Database -> !(LL, LL) -> [Cond] -> g -> SamplerState g

Fields

ldb :: Database

llh2 :: !(LL, LL)

cnds :: [Cond]

seed :: g

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

sreturn :: a -> Sampler a

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

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

newtype Measure a

Constructors

Measure

Fields

unMeasure :: Name -> Sampler a

Instances

Monad Measure

Typeable1 Measure

return_ :: a -> Measure a

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

updateLogLikelihood :: RandomGen g => LL -> LL -> SamplerState g -> (LL, LL)

factor :: LL -> Measure ()

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

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

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

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

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

traceUpdate :: RandomGen g => Measure a -> Database -> [Cond] -> g -> (a, Database, LL, LL, LL, g)

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

resample :: RandomGen g => Name -> Database -> Observed -> XRP -> g -> (Database, LL, LL, LL, g)

transition :: (Typeable a, RandomGen g) => Measure a -> [Cond] -> a -> Database -> LL -> g -> [a]

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

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