| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Gamgee.Effects.CryptoRandom
Contents
Synopsis
- data CryptoRandom m a where
- RandomBytes :: ByteArray b => Int -> CryptoRandom m b
- randomBytes :: forall r b. (MemberWithError CryptoRandom r, ByteArray b) => Int -> Sem r b
- runCryptoRandomIO :: Member (Embed IO) r => Sem (CryptoRandom ': r) a -> Sem r a
Effect
data CryptoRandom m a where Source #
An effect capable of providing random bytes for use with cryptonite
Constructors
| RandomBytes :: ByteArray b => Int -> CryptoRandom m b | Generate random bytes |
Instances
| type DefiningModule (CryptoRandom :: k -> Type -> Type) Source # | |
Defined in Gamgee.Effects.CryptoRandom | |
Action
randomBytes :: forall r b. (MemberWithError CryptoRandom r, ByteArray b) => Int -> Sem r b Source #
Interpretations
runCryptoRandomIO :: Member (Embed IO) r => Sem (CryptoRandom ': r) a -> Sem r a Source #