Mcmc.Trace

Creation date: Wed May 20 09:11:25 2020.

Documentation

data Trace a

A Trace passes through a list of states with associated likelihoods which are called Items. New Items are prepended, and the path of the Markov chain is stored in reversed order.

Instances

Eq a => Eq (Trace a)

Defined in Mcmc.Trace

Methods

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

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

Read a => Read (Trace a)

Defined in Mcmc.Trace

Methods

readsPrec :: Int -> ReadS (Trace a)

readList :: ReadS [Trace a]

readPrec :: ReadPrec (Trace a)

readListPrec :: ReadPrec [Trace a]

Show a => Show (Trace a)

Defined in Mcmc.Trace

Methods

showsPrec :: Int -> Trace a -> ShowS

show :: Trace a -> String

showList :: [Trace a] -> ShowS

Semigroup (Trace a)

Defined in Mcmc.Trace

Methods

(<>) :: Trace a -> Trace a -> Trace a

sconcat :: NonEmpty (Trace a) -> Trace a

stimes :: Integral b => b -> Trace a -> Trace a

Monoid (Trace a)

Defined in Mcmc.Trace

Methods

mempty :: Trace a

mappend :: Trace a -> Trace a -> Trace a

mconcat :: [Trace a] -> Trace a

ToJSON a => ToJSON (Trace a)

Defined in Mcmc.Trace

Methods

toJSON :: Trace a -> Value

toEncoding :: Trace a -> Encoding

toJSONList :: [Trace a] -> Value

toEncodingList :: [Trace a] -> Encoding

FromJSON a => FromJSON (Trace a)

Defined in Mcmc.Trace

Methods

parseJSON :: Value -> Parser (Trace a)

parseJSONList :: Value -> Parser [Trace a]

singletonT :: Item a -> Trace a

The empty trace.

pushT :: Item a -> Trace a -> Trace a

Prepend an Item to a Trace.

headT :: Trace a -> Item a

Get the most recent item of the trace.

takeItems :: Int -> Trace a -> [Item a]

Get the N most recent items of the trace.

takeT :: Int -> Trace a -> Trace a

Shorten the trace to given length.