Random

Documentation

class Gen g where

Minimal complete definition

uniformNative

Associated Types

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

type Native g

Methods

uniformNative :: State g (Native g)

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

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

class Split g where

Minimal complete definition

split

Methods

split :: g -> (g, g)

class Uniform b a where

Minimal complete definition

liftUniform

Methods

liftUniform :: Monad m => m b -> m a

Instances

(Bounded a, Enum a, Bounded b, Enum b) => Uniform b a

Methods

liftUniform :: Monad m => m b -> m a

Uniform a a

Methods

liftUniform :: Monad m => m a -> m a

Uniform Void a

Methods

liftUniform :: Monad m => m Void -> m a

uniform :: (Gen g, Uniform (Native g) a) => State g a

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