-- 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.1.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_ajvK r_agJL. Member RandomFu r_ajvK => RVar r_agJL -> Sem r_ajvK r_agJL
getRandomPrim :: forall r_ajvL r_agJL. Member RandomFu r_ajvL => Prim r_agJL -> Sem r_ajvL r_agJL

-- | 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 r a. RandomSource (Sem r) s => 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 :: MonadIO (Sem r) => PureMT -> Sem (RandomFu : r) a -> Sem r a

-- | <a>Absorb</a> an <a>MonadRandom</a> constraint. That is, use a
--   <tt>Member RandomFu r</tt> constraint to satisfy the
--   <tt>MonadRandom</tt> constraint in a <tt>(forall m. MonadRandom m
--   =&gt; m a), returning a </tt>Sem r a@. See <a>MTL</a> for details.
absorbMonadRandom :: Member RandomFu r => (MonadRandom (Sem r) => Sem r a) -> Sem r a
instance (GHC.Base.Monad m, Data.Reflection.Reifies s' (Polysemy.MTL.Dict1 Data.Random.Internal.Source.MonadRandom m)) => Data.Random.Internal.Source.MonadRandom (Polysemy.MTL.ConstrainedAction Data.Random.Internal.Source.MonadRandom m s')
instance Polysemy.Internal.Union.Member Polysemy.RandomFu.RandomFu r => Polysemy.MTL.IsCanonicalEffect Data.Random.Internal.Source.MonadRandom r
instance Polysemy.MTL.ReifiableConstraint1 Data.Random.Internal.Source.MonadRandom