| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Wire.Sem.Random
Documentation
data Random m a where Source #
Constructors
| Bytes :: Int -> Random m ByteString | |
| Uuid :: Random m UUID | |
| ScimTokenId :: Random m ScimTokenId | |
| LiftRandom :: (forall mr. MonadRandom mr => mr a) -> Random m a | |
| NDigitNumber :: Int -> Random m Integer |
scimTokenId :: forall r. Member Random r => Sem r ScimTokenId Source #
liftRandom :: forall r a. Member Random r => (forall (mr :: Type -> Type). MonadRandom mr => mr a) -> Sem r a Source #