Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.Random

Effect

1 declaration

datadata Random (m :: k) a where

An effect capable of providing Random values.

2 declarations

valuerandom :: (Member Random r, Random x) => Sem r x

valuerandomR :: (Member Random r, Random x) => (x, x) -> Sem r x

2 declarations

valuerunRandom :: RandomGen q => q -> Sem (Random ': r) a -> Sem r (q, a)

Run a Random effect with an explicit RandomGen.

valuerunRandomIO :: Member (Embed IO) r => Sem (Random ': r) a -> Sem r a

Run a Random effect by using the IO random generator.