Documentation
class Randomiser c whereSource
getRandomGen :: c -> StdGenSource
setRandomGen :: c -> StdGen -> c -> cSource
(Randomiser c, Transformer t) => Randomiser (t c) | |
Randomiser (RndCtx c) |
Randomiser c => StrategyT c Rnd | |
Monad s => Monad (Rnd s) | |
MonadPlus s => MonadPlus (Rnd s) | |
Enumerable s => Enumerable (Rnd s) | |
(MonadPlus m, Enumerable m) => CFLP (CTC (Rnd (Monadic (UpdateT (StoreCTC (RndCtx ())) m)))) |