Control.Monad.Choice.Random

Module for UniformRandom, a wrapper that provides an instance of MonadChoice when it wraps a member of MonadRandom. This is done by using the uniform function as choose.

Documentation

newtype UniformRandom r a

Constructors

UniformRandom (r a)

Instances

MonadRWS r w s m => MonadRWS r w s (UniformRandom m)

Defined in Control.Monad.Choice.Random

MonadSplit g m => MonadSplit g (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

getSplit :: UniformRandom m g

MonadWriter w m => MonadWriter w (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

writer :: (a, w) -> UniformRandom m a

tell :: w -> UniformRandom m ()

listen :: UniformRandom m a -> UniformRandom m (a, w)

pass :: UniformRandom m (a, w -> w) -> UniformRandom m a

MonadState s m => MonadState s (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

get :: UniformRandom m s

put :: s -> UniformRandom m ()

state :: (s -> (a, s)) -> UniformRandom m a

MonadReader r m => MonadReader r (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

ask :: UniformRandom m r

local :: (r -> r) -> UniformRandom m a -> UniformRandom m a

reader :: (r -> a) -> UniformRandom m a

MonadError e m => MonadError e (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

throwError :: e -> UniformRandom m a

catchError :: UniformRandom m a -> (e -> UniformRandom m a) -> UniformRandom m a

(Foldable f, MonadRandom m) => MonadChoice f (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

choose :: f a -> UniformRandom m a

Monad m => Monad (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

(>>=) :: UniformRandom m a -> (a -> UniformRandom m b) -> UniformRandom m b

(>>) :: UniformRandom m a -> UniformRandom m b -> UniformRandom m b

return :: a -> UniformRandom m a

fail :: String -> UniformRandom m a

Functor f => Functor (UniformRandom f)

Defined in Control.Monad.Choice.Random

Methods

fmap :: (a -> b) -> UniformRandom f a -> UniformRandom f b

(<$) :: a -> UniformRandom f b -> UniformRandom f a

MonadFix m => MonadFix (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

mfix :: (a -> UniformRandom m a) -> UniformRandom m a

MonadFail m => MonadFail (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

fail :: String -> UniformRandom m a

Applicative f => Applicative (UniformRandom f)

Defined in Control.Monad.Choice.Random

Methods

pure :: a -> UniformRandom f a

(<*>) :: UniformRandom f (a -> b) -> UniformRandom f a -> UniformRandom f b

liftA2 :: (a -> b -> c) -> UniformRandom f a -> UniformRandom f b -> UniformRandom f c

(*>) :: UniformRandom f a -> UniformRandom f b -> UniformRandom f b

(<*) :: UniformRandom f a -> UniformRandom f b -> UniformRandom f a

Foldable f => Foldable (UniformRandom f)

Defined in Control.Monad.Choice.Random

Methods

fold :: Monoid m => UniformRandom f m -> m

foldMap :: Monoid m => (a -> m) -> UniformRandom f a -> m

foldr :: (a -> b -> b) -> b -> UniformRandom f a -> b

foldr' :: (a -> b -> b) -> b -> UniformRandom f a -> b

foldl :: (b -> a -> b) -> b -> UniformRandom f a -> b

foldl' :: (b -> a -> b) -> b -> UniformRandom f a -> b

foldr1 :: (a -> a -> a) -> UniformRandom f a -> a

foldl1 :: (a -> a -> a) -> UniformRandom f a -> a

toList :: UniformRandom f a -> [a]

null :: UniformRandom f a -> Bool

length :: UniformRandom f a -> Int

elem :: Eq a => a -> UniformRandom f a -> Bool

maximum :: Ord a => UniformRandom f a -> a

minimum :: Ord a => UniformRandom f a -> a

sum :: Num a => UniformRandom f a -> a

product :: Num a => UniformRandom f a -> a

Traversable t => Traversable (UniformRandom t)

Defined in Control.Monad.Choice.Random

Methods

traverse :: Applicative f => (a -> f b) -> UniformRandom t a -> f (UniformRandom t b)

sequenceA :: Applicative f => UniformRandom t (f a) -> f (UniformRandom t a)

mapM :: Monad m => (a -> m b) -> UniformRandom t a -> m (UniformRandom t b)

sequence :: Monad m => UniformRandom t (m a) -> m (UniformRandom t a)

MonadPlus m => MonadPlus (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

mzero :: UniformRandom m a

mplus :: UniformRandom m a -> UniformRandom m a -> UniformRandom m a

MonadIO m => MonadIO (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

liftIO :: IO a -> UniformRandom m a

MonadRandom m => MonadRandom (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

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

getRandom :: Random a => UniformRandom m a

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

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

MonadInterleave m => MonadInterleave (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

interleave :: UniformRandom m a -> UniformRandom m a

Eq1 f => Eq1 (UniformRandom f)

Defined in Control.Monad.Choice.Random

Methods

liftEq :: (a -> b -> Bool) -> UniformRandom f a -> UniformRandom f b -> Bool

Ord1 f => Ord1 (UniformRandom f)

Defined in Control.Monad.Choice.Random

Methods

liftCompare :: (a -> b -> Ordering) -> UniformRandom f a -> UniformRandom f b -> Ordering

MonadZip m => MonadZip (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

mzip :: UniformRandom m a -> UniformRandom m b -> UniformRandom m (a, b)

mzipWith :: (a -> b -> c) -> UniformRandom m a -> UniformRandom m b -> UniformRandom m c

munzip :: UniformRandom m (a, b) -> (UniformRandom m a, UniformRandom m b)

Alternative f => Alternative (UniformRandom f)

Defined in Control.Monad.Choice.Random

Methods

empty :: UniformRandom f a

(<|>) :: UniformRandom f a -> UniformRandom f a -> UniformRandom f a

some :: UniformRandom f a -> UniformRandom f [a]

many :: UniformRandom f a -> UniformRandom f [a]

MonadCont m => MonadCont (UniformRandom m)

Defined in Control.Monad.Choice.Random

Methods

callCC :: ((a -> UniformRandom m b) -> UniformRandom m a) -> UniformRandom m a

PrimMonad m => PrimMonad (UniformRandom m)

Defined in Control.Monad.Choice.Random

Associated Types

type PrimState (UniformRandom m) :: Type

Methods

primitive :: (State# (PrimState (UniformRandom m)) -> (#State# (PrimState (UniformRandom m)), a#)) -> UniformRandom m a

Eq (r a) => Eq (UniformRandom r a)

Defined in Control.Monad.Choice.Random

Methods

(==) :: UniformRandom r a -> UniformRandom r a -> Bool

(/=) :: UniformRandom r a -> UniformRandom r a -> Bool

Ord (r a) => Ord (UniformRandom r a)

Defined in Control.Monad.Choice.Random

Methods

compare :: UniformRandom r a -> UniformRandom r a -> Ordering

(<) :: UniformRandom r a -> UniformRandom r a -> Bool

(<=) :: UniformRandom r a -> UniformRandom r a -> Bool

(>) :: UniformRandom r a -> UniformRandom r a -> Bool

(>=) :: UniformRandom r a -> UniformRandom r a -> Bool

max :: UniformRandom r a -> UniformRandom r a -> UniformRandom r a

min :: UniformRandom r a -> UniformRandom r a -> UniformRandom r a

Semigroup (r a) => Semigroup (UniformRandom r a)

Defined in Control.Monad.Choice.Random

Methods

(<>) :: UniformRandom r a -> UniformRandom r a -> UniformRandom r a

sconcat :: NonEmpty (UniformRandom r a) -> UniformRandom r a

stimes :: Integral b => b -> UniformRandom r a -> UniformRandom r a

Monoid (r a) => Monoid (UniformRandom r a)

Defined in Control.Monad.Choice.Random

Methods

mempty :: UniformRandom r a

mappend :: UniformRandom r a -> UniformRandom r a -> UniformRandom r a

mconcat :: [UniformRandom r a] -> UniformRandom r a

type PrimState (UniformRandom m)

Defined in Control.Monad.Choice.Random

type PrimState (UniformRandom m) = PrimState m

lift :: r a -> UniformRandom r a

An alias for UniformRandom

colift :: UniformRandom r a -> r a

A function to unwrap a UniformRandom