CFLP.Strategies.Random

Documentation

class Randomiser c where

Methods

getRandomGen :: c -> StdGen

setRandomGen :: c -> StdGen -> c -> c

Instances

(Randomiser c, Transformer t) => Randomiser (t c)

Randomiser (RndCtx c)

data Rnd s a

Instances

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

data RndCtx c

Instances

Transformer RndCtx

Randomiser (RndCtx c)

(MonadPlus m, Enumerable m) => CFLP (CTC (Rnd (Monadic (UpdateT (StoreCTC (RndCtx ())) m))))

randomise :: Monad s => s c -> Rnd s (RndCtx c)