Control.Monad.Fresh.Class

Documentation

class Monad m => MonadFresh s m | m -> s where

A class for monads that can give fresh values.

At least for Eq s, an instance of MonadFresh should satisfy

(==) <$> fresh <*> fresh ≡ fresh *> fresh *> pure False

and something similar for any number of fresh.

Methods

fresh :: m s

Instances

MonadFresh InnoId PopM

nFresh :: MonadFresh s m => Int -> m [s]