monad-bayes-1.1.1: A library for probabilistic programming.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Bayes.Inference.TUI

Synopsis

data MCMCData a = MCMCData {
- numSteps :: Int
- numSuccesses :: Int
- samples :: [a]
- lk :: [Double]
- totalSteps :: Int
}
drawUI :: ([a] -> Widget n) -> MCMCData a -> [Widget n]
noVisual :: b -> Widget n
showEmpirical :: (Show a, Ord a) => [a] -> Widget n
showVal :: Show a => [a] -> Widget n
appEvent :: BrickEvent n s -> EventM n s ()
doneAttr :: AttrName
toDoAttr :: AttrName
theMap :: AttrMap
tui :: Show a => Int -> Traced (Weighted SamplerIO) a -> ([a] -> Widget ()) -> IO ()

Documentation

data MCMCData a Source #

Constructors

MCMCData
Fields numSteps :: Int numSuccesses :: Int samples :: [a] lk :: [Double] totalSteps :: Int

Instances

Instances details

Show a => Show (MCMCData a) Source #
Instance details Defined in Control.Monad.Bayes.Inference.TUI Methods showsPrec :: Int -> MCMCData a -> ShowS # show :: MCMCData a -> String # showList :: [MCMCData a] -> ShowS #

drawUI :: ([a] -> Widget n) -> MCMCData a -> [Widget n] Source #

Brick is a terminal user interface (TUI) which we use to display inference algorithms in progress

draw the brick app

noVisual :: b -> Widget n Source #

showEmpirical :: (Show a, Ord a) => [a] -> Widget n Source #

showVal :: Show a => [a] -> Widget n Source #

appEvent :: BrickEvent n s -> EventM n s () Source #

handler for events received by the TUI

doneAttr :: AttrName Source #

toDoAttr :: AttrName Source #

theMap :: AttrMap Source #

tui :: Show a => Int -> Traced (Weighted SamplerIO) a -> ([a] -> Widget ()) -> IO () Source #