Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data Random m a where Source #
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 #