| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
MCMC.Actions
Contents
- data Action x m a b
- collect :: Action x IO [x] [x]
- display :: Show s => (x -> s) -> Action x IO () ()
- 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 ()
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
Batch actions
type BatchAction x m b = Action x m (Batch x) b
pack :: (Batch x -> m b) -> BatchAct x m -> BatchAction x m b
type PrintF x s = [x] -> [s]
batchPrint :: Show s => PrintF x s -> Int -> BatchAction x IO ()