cflp-2009.2.1: Constraint Functional-Logic Programming in Haskell Source code Contents Index

CFLP.Strategies.Random

Documentation

class Randomiser c where Source

Methods getRandomGen :: c -> StdGen Source setRandomGen :: c -> StdGen -> c -> c Source Instances Randomiser (RndCtx c)

data Rnd s a Source

Instances Randomiser c => StrategyT c Rnd Monad s => Monad (Rnd s) MonadPlus s => MonadPlus (Rnd s) Enumerable s => Enumerable (Rnd s)

data RndCtx c Source

Instances Transformer RndCtx Randomiser (RndCtx c)

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

Produced by Haddock version 2.4.2