random-fu-0.2.7.0: Random number generation

Safe HaskellNone
LanguageHaskell98

Data.Random.RVar

Synopsis

Documentation

runRVar :: RandomSource m s => RVar a -> s -> m a #

data RVarT (m :: * -> *) a #

Instances
MonadTrans RVarT 
Instance details

Defined in Data.RVar

Methods

lift :: Monad m => m a -> RVarT m a #

MonadPrompt Prim (RVarT n) 
Instance details

Defined in Data.RVar

Methods

prompt :: Prim a -> RVarT n a

Monad (RVarT n) 
Instance details

Defined in Data.RVar

Methods

(>>=) :: RVarT n a -> (a -> RVarT n b) -> RVarT n b #

(>>) :: RVarT n a -> RVarT n b -> RVarT n b #

return :: a -> RVarT n a #

fail :: String -> RVarT n a #

Functor (RVarT n) 
Instance details

Defined in Data.RVar

Methods

fmap :: (a -> b) -> RVarT n a -> RVarT n b #

(<$) :: a -> RVarT n b -> RVarT n a #

Applicative (RVarT n) 
Instance details

Defined in Data.RVar

Methods

pure :: a -> RVarT n a #

(<*>) :: RVarT n (a -> b) -> RVarT n a -> RVarT n b #

liftA2 :: (a -> b -> c) -> RVarT n a -> RVarT n b -> RVarT n c #

(*>) :: RVarT n a -> RVarT n b -> RVarT n b #

(<*) :: RVarT n a -> RVarT n b -> RVarT n a #

MonadIO m => MonadIO (RVarT m) 
Instance details

Defined in Data.RVar

Methods

liftIO :: IO a -> RVarT m a #

MonadRandom (RVarT n) 
Instance details

Defined in Data.RVar

Lift m n => Sampleable (RVarT m) n t Source # 
Instance details

Defined in Data.Random.Sample

Methods

sampleFrom :: RandomSource n s => s -> RVarT m t -> n t Source #

Lift (RVarT Identity) (RVarT m) Source # 
Instance details

Defined in Data.Random.Lift

Methods

lift :: RVarT Identity a -> RVarT m a Source #

runRVarT :: (Lift n m, RandomSource m s) => RVarT n a -> s -> m a Source #

Like runRVarTWith, but using an implicit lifting (provided by the Lift class)

runRVarTWith :: RandomSource m s => (forall t. n t -> m t) -> RVarT n a -> s -> m a #