Control.Monad.Bayes.Inference.TUI

Documentation

data MCMCData a

Constructors

MCMCData

Fields

• numSteps :: Int
• numSuccesses :: Int
• samples :: [a]
• lk :: [Double]
• totalSteps :: Int

Instances

Show a => Show (MCMCData a)

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]

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

draw the brick app

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 ()

handler for events received by the TUI

doneAttr :: AttrName

toDoAttr :: AttrName

theMap :: AttrMap

tui :: Show a => Int -> TracedT (WeightedT SamplerIO) a -> ([a] -> Widget ()) -> IO ()