MCMC.Actions

Documentation

data Action x m a b

Type parameter definitions:

x

The kernel-state (see Kernel)

a

The action-state, specific to the action being performed

m

The monad in which the action is performed

b

The final returned state type

Predefined actions

collect :: Action x IO [x] [x]

display :: Show s => (x -> s) -> Action x IO () ()

Batch actions

type Batch x = ([x], Int)

type BatchAct x m = Act x m (Batch x)

type BatchAction x m b = Action x m (Batch x) b

inBatches :: Monad m => (Batch x -> m b) -> Int -> BatchAct x m

pack :: (Batch x -> m b) -> BatchAct x m -> BatchAction x m b

type PrintF x s = [x] -> [s]

batchViz :: Show s => PrintF x s -> Int -> BatchAction x IO ()

batchPrint :: Show s => PrintF x s -> Int -> BatchAction x IO ()