random-class-0.2.0.2: Class of random value generation

Safe Haskell	None
Language	Haskell2010

Random

Documentation

class Gen g where Source #

Minimal complete definition

Associated Types

type Mut s g = m | m -> s g Source #

type Native g Source #

Methods

uniformNative :: State g (Native g) Source #

uniformNativeM :: PrimMonad m => ReaderT (Mut (PrimState m) g) m (Native g) Source #

skip :: Natural -> g -> g Source #

skipM :: PrimMonad m => Natural -> ReaderT (Mut (PrimState m) g) m () Source #

uniformNativeM :: (Mut (PrimState m) g ~ MutVar (PrimState m) g, PrimMonad m) => ReaderT (Mut (PrimState m) g) m (Native g) Source #

skipM :: (Mut (PrimState m) g ~ MutVar (PrimState m) g, PrimMonad m) => Natural -> ReaderT (Mut (PrimState m) g) m () Source #

class Split g where Source #

Minimal complete definition

Methods

split :: g -> (g, g) Source #

class Uniform a where Source #

Minimal complete definition

Methods

liftUniform :: (Bounded b, Enum b, Monad m) => m b -> m a Source #

Instances

(Bounded a, Enum a) => Uniform a Source #
Methods liftUniform :: (Bounded b, Enum b, Monad m) => m b -> m a Source #

uniform :: (Gen g, Bounded (Native g), Enum (Native g), Uniform a) => State g a Source #

range :: (Gen g, Bounded (Native g), Enum (Native g), Enum a) => (a, a) -> State g a Source #

weighted :: (Gen g, Bounded (Native g), Enum (Native g)) => NonEmpty (a, Ratio Natural) -> State g a Source #

uniformM :: (Gen g, Bounded (Native g), Enum (Native g), Uniform a, PrimMonad m) => ReaderT (Mut (PrimState m) g) m a Source #

rangeM :: (Gen g, Bounded (Native g), Enum (Native g), Enum a, PrimMonad m) => (a, a) -> ReaderT (Mut (PrimState m) g) m a Source #

weightedM :: (Gen g, Bounded (Native g), Enum (Native g), PrimMonad m) => NonEmpty (a, Ratio Natural) -> ReaderT (Mut (PrimState m) g) m a Source #