Control.Monad.Random.Random

Reexports

Definitions

data RandomT : (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkRandomT : (RandomGen g => StateT g m a) -> RandomT m a

Hints:

Alternative m => Monad m => Alternative (RandomT m)

Monad m => Applicative (RandomT m)

Functor m => Functor (RandomT m)

HasIO m => HasIO (RandomT m)

Monad m => Monad (RandomT m)

MonadError e m => MonadError e (RandomT m)

Monad m => MonadRandom (RandomT m)

MonadReader r m => MonadReader r (RandomT m)

MonadState s m => MonadState s (RandomT m)

MonadTrans RandomT

MonadWriter w m => MonadWriter w (RandomT m)

unRandomT : RandomGen g => RandomT m a -> StateT g m a

Totality: total
Visibility: public export

runRandomT : RandomGen g => g -> RandomT m a -> m (g, a)

Totality: total
Visibility: public export

execRandomT : RandomGen g => Functor m => g -> RandomT m a -> m g

Totality: total
Visibility: public export

evalRandomT : RandomGen g => Functor m => g -> RandomT m a -> m a

Totality: total
Visibility: public export

evalRandomIO : HasIO io => RandomT io a -> io a

Totality: total
Visibility: public export

evalRandomRef : RandomGen g => Monad m => Ref m r => r g -> RandomT m a -> m a

Totality: total
Visibility: public export

Rand : Type -> Type

Totality: total
Visibility: public export

runRandom : RandomGen g => g -> Rand a -> (g, a)

Totality: total
Visibility: public export

execRandom : RandomGen g => g -> Rand a -> g

Totality: total
Visibility: public export

evalRandom : RandomGen g => g -> Rand a -> a

Totality: total
Visibility: public export