Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Random m a where
- random :: forall r a. (Member Random r, Random a) => Sem r a
- randomR :: forall r a. (Member Random r, Random a) => (a, a) -> Sem r a
- runRandom :: forall q r a. RandomGen q => q -> Sem (Random ': r) a -> Sem r (q, a)
- runRandomIO :: Member (Lift IO) r => Sem (Random ': r) a -> Sem r a