Control.Monad.UUID
class Monad m => MonadUUID (m :: Type -> Type) where Source #
Minimal complete definition
Nothing
Methods
generateV4 :: m UUID Source #
default generateV4 :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadTrans t, m ~ t n, MonadUUID n) => m UUID Source #
Defined in Control.Monad.UUID
generateV4 :: IO UUID Source #