Documentation

newtype RandomToken #

randomToken :: MonadIO m => m String #

runRandomTokenIO :: forall (m :: Type -> Type) (effs :: EffectRow) a. (Member (Embed m) effs, MonadIO m) => Sem ((Input RandomToken :: (Type -> Type) -> Type -> Type) ': effs) a -> Sem effs a #