Knit.Effect.RandomFu

Polysemy "random-fu" effect. Allows a polysemy "stack" to satisfy a MonadRandom (from "random-fu") constraint. This can be run in a few ways:

1. Directly in IO
2. Using any RandomSource from "random-fu"
3. In IO, using a given PureMT source. (IO is used to put the source in an IORef)

Effect

data Random m r

Random Effect

Actions

sampleRVar :: Member Random effs => RVar t -> Semantic effs t

Convert a random-fu RVar to the Random Effect

sampleDist :: (Member Random effs, Distribution d t) => d t -> Semantic effs t

Convert a random-fu Distribution to the Random Effect

Interpretations

runRandomIOSimple :: forall effs a. MonadIO (Semantic effs) => Semantic (Random ': effs) a -> Semantic effs a

Run in IO using default random-fu IO source

runRandomIOPureMT :: MonadIO (Semantic effs) => PureMT -> Semantic (Random ': effs) a -> Semantic effs a

Run in IO, using the given PureMT source stored in an IORef

runRandomFromSource :: forall s effs a. RandomSource (Semantic effs) s => s -> Semantic (Random ': effs) a -> Semantic effs a

Run using the given source

Orphan instances

Member (Random :: (Type -> Type) -> Type -> Type) effs => MonadRandom (Semantic effs)

supply instance of MonadRandom for functions which require it

Methods

getRandomPrim :: Prim t -> Semantic effs t

getRandomWord8 :: Semantic effs Word8

getRandomWord16 :: Semantic effs Word16

getRandomWord32 :: Semantic effs Word32

getRandomWord64 :: Semantic effs Word64

getRandomDouble :: Semantic effs Double

getRandomNByteInteger :: Int -> Semantic effs Integer