Mcmc.Chain.Save

Documentation

data SavedChain a

Storable values of a Markov chain.

See toSavedChain.

Constructors

SavedChain

Fields

• savedId :: Int
• savedLink :: Link a
• savedIteration :: Int
• savedTrace :: Stack Vector (Link a)
• savedAcceptance :: Acceptance Int
• savedSeed :: Vector Word32
• savedTuningParameters :: [Maybe Double]

Instances

Eq a => Eq (SavedChain a)

Defined in Mcmc.Chain.Save

Methods

(==) :: SavedChain a -> SavedChain a -> Bool

(/=) :: SavedChain a -> SavedChain a -> Bool

Read a => Read (SavedChain a)

Defined in Mcmc.Chain.Save

Methods

readsPrec :: Int -> ReadS (SavedChain a)

readList :: ReadS [SavedChain a]

readPrec :: ReadPrec (SavedChain a)

readListPrec :: ReadPrec [SavedChain a]

Show a => Show (SavedChain a)

Defined in Mcmc.Chain.Save

Methods

showsPrec :: Int -> SavedChain a -> ShowS

show :: SavedChain a -> String

showList :: [SavedChain a] -> ShowS

ToJSON a => ToJSON (SavedChain a)

Defined in Mcmc.Chain.Save

Methods

toJSON :: SavedChain a -> Value

toEncoding :: SavedChain a -> Encoding

toJSONList :: [SavedChain a] -> Value

toEncodingList :: [SavedChain a] -> Encoding

FromJSON a => FromJSON (SavedChain a)

Defined in Mcmc.Chain.Save

Methods

parseJSON :: Value -> Parser (SavedChain a)

parseJSONList :: Value -> Parser [SavedChain a]

toSavedChain :: Chain a -> IO (SavedChain a)

Save a chain.

fromSavedChain :: PriorFunction a -> LikelihoodFunction a -> Cycle a -> Monitor a -> SavedChain a -> IO (Chain a)

Load a saved chain.

Recompute and check the prior and likelihood for the last state because the functions may have changed. Of course, we cannot test for the same function, but having the same prior and likelihood at the last state is already a good indicator.