Idris2Doc : Control.Monad.Random.Interface

Control.Monad.Random.Interface

(source)
Reexports
import public System.Random.Pure
Definitions
interface MonadRandom : (Type -> Type) -> Type
  Parameters: m
Constraints: Monad m
Methods:
  
getRandom : Random a => m a
  
getRandomR : Random a => (a, a) -> m a
  
independent : m a -> m a

Implementations:
  
MonadRandom m => MonadRandom (EitherT e m)
  
MonadRandom m => MonadRandom (MaybeT m)
  
MonadRandom m => MonadRandom (ReaderT r m)
  
MonadRandom m => MonadRandom (RWST r w s m)
  
MonadRandom m => MonadRandom (StateT s m)
  
MonadRandom m => MonadRandom (WriterT s m)
  
Monad m => MonadRandom (RandomT m)
getRandom : MonadRandom m => Random a => m a
  Totality: total
  Visibility: public export
getRandomR : MonadRandom m => Random a => (a, a) -> m a
  Totality: total
  Visibility: public export
independent : MonadRandom m => m a -> m a
  Totality: total
  Visibility: public export
getRandomFor : MonadRandom m => (0 a : Type) -> Random a => m a
  Totality: total
  Visibility: public export