Copyright | (c) Dominik Schrempf 2021 |
---|---|
License | GPL-3.0-or-later |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- data SavedChain a = SavedChain {}
- toSavedChain :: Chain a -> IO (SavedChain a)
- fromSavedChain :: PriorFunction a -> LikelihoodFunction a -> Cycle a -> Monitor a -> SavedChain a -> IO (Chain a)
- fromSavedChainUnsafe :: PriorFunction a -> LikelihoodFunction a -> Cycle a -> Monitor a -> SavedChain a -> IO (Chain a)
Documentation
data SavedChain a Source #
Storable values of a Markov chain.
See toSavedChain
.
SavedChain | |
|
Instances
Eq a => Eq (SavedChain a) Source # | |
Defined in Mcmc.Chain.Save (==) :: SavedChain a -> SavedChain a -> Bool # (/=) :: SavedChain a -> SavedChain a -> Bool # | |
Read a => Read (SavedChain a) Source # | |
Defined in Mcmc.Chain.Save readsPrec :: Int -> ReadS (SavedChain a) # readList :: ReadS [SavedChain a] # readPrec :: ReadPrec (SavedChain a) # readListPrec :: ReadPrec [SavedChain a] # | |
Show a => Show (SavedChain a) Source # | |
Defined in Mcmc.Chain.Save showsPrec :: Int -> SavedChain a -> ShowS # show :: SavedChain a -> String # showList :: [SavedChain a] -> ShowS # | |
ToJSON a => ToJSON (SavedChain a) Source # | |
Defined in Mcmc.Chain.Save toJSON :: SavedChain a -> Value # toEncoding :: SavedChain a -> Encoding # toJSONList :: [SavedChain a] -> Value # toEncodingList :: [SavedChain a] -> Encoding # | |
FromJSON a => FromJSON (SavedChain a) Source # | |
Defined in Mcmc.Chain.Save parseJSON :: Value -> Parser (SavedChain a) # parseJSONList :: Value -> Parser [SavedChain a] # |
toSavedChain :: Chain a -> IO (SavedChain a) Source #
Save a chain.
fromSavedChain :: PriorFunction a -> LikelihoodFunction a -> Cycle a -> Monitor a -> SavedChain a -> IO (Chain a) Source #
Load a saved chain.
Perform some safety checks:
Check that the number of proposals is equal.
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.
fromSavedChainUnsafe :: PriorFunction a -> LikelihoodFunction a -> Cycle a -> Monitor a -> SavedChain a -> IO (Chain a) Source #
See fromSavedChain
but do not perform sanity checks. Useful when
restarting a run with changed prior function, likelihood function or
proposals.