Util.UniqueMonad

Documentation

data UniqT m a

Unique integer generator monad transformer.

Instances

MonadTrans UniqT

MonadReader s m => MonadReader s (UniqT m)

Monad m => Monad (UniqT m)

Functor m => Functor (UniqT m)

MonadFix m => MonadFix (UniqT m)

MonadPlus m => MonadPlus (UniqT m)

Monad m => UniqueProducer (UniqT m)

type Uniq = UniqT Identity

Unique integer generator monad.

runUniq :: Int -> Uniq a -> (a, Int)

Run the bare version of the unique int generator.

runUniqT :: Monad m => UniqT m a -> Int -> m (a, Int)

Run the transformer version of the unique int generator.

execUniq1 :: Uniq a -> a

Execute the bare unique int generator starting with 1.

execUniq :: Int -> Uniq a -> a

Execute the bare unique int generator starting with the suplied number.

execUniqT :: Monad m => Int -> UniqT m a -> m a

Execute the transformer version of the unique int generator starting with the suplied number.