Control.Effect.Random

Documentation

data Random m k

Constructors

Random a => Random (a -> k)

Random a => RandomR (a, a) (a -> k)

Interleave (m a) (a -> k)

Instances

Effect Random

Defined in Control.Effect.Random

Methods

handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> Random m (m a) -> Random n (n (f a))

HFunctor Random

Defined in Control.Effect.Random

Methods

fmap' :: (a -> b) -> Random m a -> Random m b

hmap :: (forall x. m x -> n x) -> Random m a -> Random n a

Functor (Random m)

Defined in Control.Effect.Random

Methods

fmap :: (a -> b) -> Random m a -> Random m b

(<$) :: a -> Random m b -> Random m a

(Carrier sig m, Effect sig, RandomGen g) => Carrier (Random :+: sig) (RandomC g m)

Defined in Control.Effect.Random

Methods

eff :: (Random :+: sig) (RandomC g m) (RandomC g m a) -> RandomC g m a

runRandom :: g -> RandomC g m a -> m (g, a)

Run a random computation starting from a given generator.

run (runRandom (PureGen a) (pure b)) == (PureGen a, b)

evalRandom :: Functor m => g -> RandomC g m a -> m a

Run a random computation starting from a given generator and discarding the final generator.

run (evalRandom (PureGen a) (pure b)) == b

execRandom :: Functor m => g -> RandomC g m a -> m g

Run a random computation starting from a given generator and discarding the final result.

run (execRandom (PureGen a) (pure b)) == PureGen a

evalRandomIO :: MonadIO m => RandomC StdGen m a -> m a

Run a random computation in IO, splitting the global standard generator to get a new one for the computation.

newtype RandomC g m a

Constructors

RandomC

Fields

• runRandomC :: StateC g m a

Instances

MonadTrans (RandomC g)

Defined in Control.Effect.Random

Methods

lift :: Monad m => m a -> RandomC g m a

Monad m => Monad (RandomC g m)

Defined in Control.Effect.Random

Methods

(>>=) :: RandomC g m a -> (a -> RandomC g m b) -> RandomC g m b

(>>) :: RandomC g m a -> RandomC g m b -> RandomC g m b

return :: a -> RandomC g m a

fail :: String -> RandomC g m a

Functor m => Functor (RandomC g m)

Defined in Control.Effect.Random

Methods

fmap :: (a -> b) -> RandomC g m a -> RandomC g m b

(<$) :: a -> RandomC g m b -> RandomC g m a

MonadFail m => MonadFail (RandomC g m)

Defined in Control.Effect.Random

Methods

fail :: String -> RandomC g m a

Monad m => Applicative (RandomC g m)

Defined in Control.Effect.Random

Methods

pure :: a -> RandomC g m a

(<*>) :: RandomC g m (a -> b) -> RandomC g m a -> RandomC g m b

liftA2 :: (a -> b -> c) -> RandomC g m a -> RandomC g m b -> RandomC g m c

(*>) :: RandomC g m a -> RandomC g m b -> RandomC g m b

(<*) :: RandomC g m a -> RandomC g m b -> RandomC g m a

MonadIO m => MonadIO (RandomC g m)

Defined in Control.Effect.Random

Methods

liftIO :: IO a -> RandomC g m a

(Alternative m, Monad m) => Alternative (RandomC g m)

Defined in Control.Effect.Random

Methods

empty :: RandomC g m a

(<|>) :: RandomC g m a -> RandomC g m a -> RandomC g m a

some :: RandomC g m a -> RandomC g m [a]

many :: RandomC g m a -> RandomC g m [a]

(Alternative m, Monad m) => MonadPlus (RandomC g m)

Defined in Control.Effect.Random

Methods

mzero :: RandomC g m a

mplus :: RandomC g m a -> RandomC g m a -> RandomC g m a

(Carrier sig m, Effect sig, RandomGen g) => MonadInterleave (RandomC g m)

Defined in Control.Effect.Random

Methods

interleave :: RandomC g m a -> RandomC g m a

(Carrier sig m, Effect sig, RandomGen g) => MonadRandom (RandomC g m)

Defined in Control.Effect.Random

Methods

getRandomR :: Random a => (a, a) -> RandomC g m a

getRandom :: Random a => RandomC g m a

getRandomRs :: Random a => (a, a) -> RandomC g m [a]

getRandoms :: Random a => RandomC g m [a]

(Carrier sig m, Effect sig, RandomGen g) => Carrier (Random :+: sig) (RandomC g m)

Defined in Control.Effect.Random

Methods

eff :: (Random :+: sig) (RandomC g m) (RandomC g m a) -> RandomC g m a

class Monad m => MonadRandom (m :: Type -> Type) where

Methods

getRandomR :: Random a => (a, a) -> m a

getRandom :: Random a => m a

getRandomRs :: Random a => (a, a) -> m [a]

getRandoms :: Random a => m [a]

Instances

MonadRandom IO

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> IO a

getRandom :: Random a => IO a

getRandomRs :: Random a => (a, a) -> IO [a]

getRandoms :: Random a => IO [a]

MonadRandom m => MonadRandom (ListT m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> ListT m a

getRandom :: Random a => ListT m a

getRandomRs :: Random a => (a, a) -> ListT m [a]

getRandoms :: Random a => ListT m [a]

MonadRandom m => MonadRandom (MaybeT m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> MaybeT m a

getRandom :: Random a => MaybeT m a

getRandomRs :: Random a => (a, a) -> MaybeT m [a]

getRandoms :: Random a => MaybeT m [a]

MonadRandom m => MonadRandom (IdentityT m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> IdentityT m a

getRandom :: Random a => IdentityT m a

getRandomRs :: Random a => (a, a) -> IdentityT m [a]

getRandoms :: Random a => IdentityT m [a]

(Error e, MonadRandom m) => MonadRandom (ErrorT e m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> ErrorT e m a

getRandom :: Random a => ErrorT e m a

getRandomRs :: Random a => (a, a) -> ErrorT e m [a]

getRandoms :: Random a => ErrorT e m [a]

MonadRandom m => MonadRandom (ExceptT e m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> ExceptT e m a

getRandom :: Random a => ExceptT e m a

getRandomRs :: Random a => (a, a) -> ExceptT e m [a]

getRandoms :: Random a => ExceptT e m [a]

MonadRandom m => MonadRandom (ReaderT r m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> ReaderT r m a

getRandom :: Random a => ReaderT r m a

getRandomRs :: Random a => (a, a) -> ReaderT r m [a]

getRandoms :: Random a => ReaderT r m [a]

MonadRandom m => MonadRandom (StateT s m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> StateT s m a

getRandom :: Random a => StateT s m a

getRandomRs :: Random a => (a, a) -> StateT s m [a]

getRandoms :: Random a => StateT s m [a]

MonadRandom m => MonadRandom (StateT s m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> StateT s m a

getRandom :: Random a => StateT s m a

getRandomRs :: Random a => (a, a) -> StateT s m [a]

getRandoms :: Random a => StateT s m [a]

(MonadRandom m, Monoid w) => MonadRandom (WriterT w m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> WriterT w m a

getRandom :: Random a => WriterT w m a

getRandomRs :: Random a => (a, a) -> WriterT w m [a]

getRandoms :: Random a => WriterT w m [a]

(MonadRandom m, Monoid w) => MonadRandom (WriterT w m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> WriterT w m a

getRandom :: Random a => WriterT w m a

getRandomRs :: Random a => (a, a) -> WriterT w m [a]

getRandoms :: Random a => WriterT w m [a]

(Carrier sig m, Effect sig, RandomGen g) => MonadRandom (RandomC g m)

Defined in Control.Effect.Random

Methods

getRandomR :: Random a => (a, a) -> RandomC g m a

getRandom :: Random a => RandomC g m a

getRandomRs :: Random a => (a, a) -> RandomC g m [a]

getRandoms :: Random a => RandomC g m [a]

MonadRandom m => MonadRandom (ContT r m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> ContT r m a

getRandom :: Random a => ContT r m a

getRandomRs :: Random a => (a, a) -> ContT r m [a]

getRandoms :: Random a => ContT r m [a]

(Monoid w, MonadRandom m) => MonadRandom (RWST r w s m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> RWST r w s m a

getRandom :: Random a => RWST r w s m a

getRandomRs :: Random a => (a, a) -> RWST r w s m [a]

getRandoms :: Random a => RWST r w s m [a]

(Monoid w, MonadRandom m) => MonadRandom (RWST r w s m)

Defined in Control.Monad.Random.Class

Methods

getRandomR :: Random a => (a, a) -> RWST r w s m a

getRandom :: Random a => RWST r w s m a

getRandomRs :: Random a => (a, a) -> RWST r w s m [a]

getRandoms :: Random a => RWST r w s m [a]

class MonadRandom m => MonadInterleave (m :: Type -> Type) where

Methods

interleave :: m a -> m a

Instances

MonadInterleave m => MonadInterleave (ListT m)

Defined in Control.Monad.Random.Class

Methods

interleave :: ListT m a -> ListT m a

MonadInterleave m => MonadInterleave (MaybeT m)

Defined in Control.Monad.Random.Class

Methods

interleave :: MaybeT m a -> MaybeT m a

MonadInterleave m => MonadInterleave (IdentityT m)

Defined in Control.Monad.Random.Class

Methods

interleave :: IdentityT m a -> IdentityT m a

(Error e, MonadInterleave m) => MonadInterleave (ErrorT e m)

Defined in Control.Monad.Random.Class

Methods

interleave :: ErrorT e m a -> ErrorT e m a

MonadInterleave m => MonadInterleave (ExceptT e m)

Defined in Control.Monad.Random.Class

Methods

interleave :: ExceptT e m a -> ExceptT e m a

MonadInterleave m => MonadInterleave (ReaderT r m)

Defined in Control.Monad.Random.Class

Methods

interleave :: ReaderT r m a -> ReaderT r m a

MonadInterleave m => MonadInterleave (StateT s m)

Defined in Control.Monad.Random.Class

Methods

interleave :: StateT s m a -> StateT s m a

MonadInterleave m => MonadInterleave (StateT s m)

Defined in Control.Monad.Random.Class

Methods

interleave :: StateT s m a -> StateT s m a

(Monoid w, MonadInterleave m) => MonadInterleave (WriterT w m)

Defined in Control.Monad.Random.Class

Methods

interleave :: WriterT w m a -> WriterT w m a

(Monoid w, MonadInterleave m) => MonadInterleave (WriterT w m)

Defined in Control.Monad.Random.Class

Methods

interleave :: WriterT w m a -> WriterT w m a

(Carrier sig m, Effect sig, RandomGen g) => MonadInterleave (RandomC g m)

Defined in Control.Effect.Random

Methods

interleave :: RandomC g m a -> RandomC g m a

MonadInterleave m => MonadInterleave (ContT r m)

Defined in Control.Monad.Random.Class

Methods

interleave :: ContT r m a -> ContT r m a

(Monoid w, MonadInterleave m) => MonadInterleave (RWST r w s m)

Defined in Control.Monad.Random.Class

Methods

interleave :: RWST r w s m a -> RWST r w s m a

(Monoid w, MonadInterleave m) => MonadInterleave (RWST r w s m)

Defined in Control.Monad.Random.Class

Methods

interleave :: RWST r w s m a -> RWST r w s m a