-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Experimental, RandomFu effect and interpreters for polysemy
--   
--   Please see the README on GitHub at
--   <a>https://github.com/adamConnerSax/polysemy-Extra/tree/master/polysemy-RandomFu#polysemy-randomfu</a>
@package polysemy-RandomFu
@version 0.4.0.0


-- | Polysemy "random-fu" effect. This can be run in a few ways: 1.
--   Directly in <a>IO</a> 2. Using any <a>RandomSource</a> from
--   "random-fu" 3. In <a>IO</a>, using a given <a>PureMT</a> source.
--   (<a>IO</a> is used to put the source in an <tt>IORef</tt>)
--   
--   This module also contains the type-class instances to enable
--   "absorbing" MonadRandom, ala Polysemy.MTL. See the tests for MTL or
--   RandomFu for examples of that in use.
module Polysemy.RandomFu

-- | An effect capable of sampling from a "random-fu" RVar or generating a
--   single random-variate of any type, <tt>t</tt> with a
--   <tt>Data.Random.Prim t</tt> constructor, currently one of
--   <tt>Word8</tt>, <tt>Word16</tt>, <tt>Word32</tt>, <tt>Word64</tt>,
--   <tt>Double</tt> or N-byte integer.
data RandomFu m r
[SampleRVar] :: RVar t -> RandomFu m t
[GetRandomPrim] :: Prim t -> RandomFu m t
sampleRVar :: forall r_aiVe t_agad. MemberWithError RandomFu r_aiVe => RVar t_agad -> Sem r_aiVe t_agad
getRandomPrim :: forall r_aiVg t_agcc. MemberWithError RandomFu r_aiVg => Prim t_agcc -> Sem r_aiVg t_agcc

-- | use the <a>RandomFu</a> effect to sample from a "random-fu"
--   <tt>Distribution</tt>.
sampleDist :: (Member RandomFu r, Distribution d t) => d t -> Sem r t

-- | Run a <tt>Random</tt> effect using a given <a>RandomSource</a>
runRandomSource :: forall s m r a. (RandomSource m s, Member (Embed m) r) => s -> Sem (RandomFu : r) a -> Sem r a

-- | Run a <tt>Random</tt> effect by using the default "random-fu"
--   <a>IO</a> source
runRandomIO :: forall r a. MonadIO (Sem r) => Sem (RandomFu : r) a -> Sem r a

-- | Run in <a>IO</a>, using the given <a>PureMT</a> source, stored in an
--   <tt>IORef</tt>
runRandomIOPureMT :: Member (Embed IO) r => PureMT -> Sem (RandomFu : r) a -> Sem r a

module Polysemy.ConstraintAbsorber.MonadRandom

-- | absorb a <tt>MonadError e</tt> constraint into <tt>Member (Error e) r
--   =&gt; Sem r</tt>
absorbMonadRandom :: Member RandomFu r => (MonadRandom (Sem r) => Sem r a) -> Sem r a
instance forall k (m :: * -> *) (s' :: k). (GHC.Base.Monad m, Data.Reflection.Reifies s' (Polysemy.ConstraintAbsorber.MonadRandom.RandomDict m)) => Data.Random.Internal.Source.MonadRandom (Polysemy.ConstraintAbsorber.MonadRandom.Action m s')
instance forall (m :: * -> *) k (s' :: k). GHC.Base.Monad m => GHC.Base.Monad (Polysemy.ConstraintAbsorber.MonadRandom.Action m s')
instance forall (m :: * -> *) k (s' :: k). GHC.Base.Applicative m => GHC.Base.Applicative (Polysemy.ConstraintAbsorber.MonadRandom.Action m s')
instance forall (m :: * -> *) k (s' :: k). GHC.Base.Functor m => GHC.Base.Functor (Polysemy.ConstraintAbsorber.MonadRandom.Action m s')