Control.Monad.Trans.UGenT

A Monad transformer for unique symbol generation.

Documentation

data UGenT m a

Transform a Monad with unique symbol generation.

Instances

MonadTrans UGenT

Defined in Control.Monad.Trans.UGenT

Methods

lift :: Monad m => m a -> UGenT m a

Monad m => Monad (UGenT m)

Defined in Control.Monad.Trans.UGenT

Methods

(>>=) :: UGenT m a -> (a -> UGenT m b) -> UGenT m b

(>>) :: UGenT m a -> UGenT m b -> UGenT m b

return :: a -> UGenT m a

fail :: String -> UGenT m a

Functor m => Functor (UGenT m)

Defined in Control.Monad.Trans.UGenT

Methods

fmap :: (a -> b) -> UGenT m a -> UGenT m b

(<$) :: a -> UGenT m b -> UGenT m a

MonadFix m => MonadFix (UGenT m)

Defined in Control.Monad.Trans.UGenT

Methods

mfix :: (a -> UGenT m a) -> UGenT m a

MonadFail m => MonadFail (UGenT m)

Defined in Control.Monad.Trans.UGenT

Methods

fail :: String -> UGenT m a

Monad m => Applicative (UGenT m)

Defined in Control.Monad.Trans.UGenT

Methods

pure :: a -> UGenT m a

(<*>) :: UGenT m (a -> b) -> UGenT m a -> UGenT m b

liftA2 :: (a -> b -> c) -> UGenT m a -> UGenT m b -> UGenT m c

(*>) :: UGenT m a -> UGenT m b -> UGenT m b

(<*) :: UGenT m a -> UGenT m b -> UGenT m a

MonadIO m => MonadIO (UGenT m)

Defined in Control.Monad.Trans.UGenT

Methods

liftIO :: IO a -> UGenT m a

MonadPlus m => Alternative (UGenT m)

Defined in Control.Monad.Trans.UGenT

Methods

empty :: UGenT m a

(<|>) :: UGenT m a -> UGenT m a -> UGenT m a

some :: UGenT m a -> UGenT m [a]

many :: UGenT m a -> UGenT m [a]

runUGenT :: Functor m => UGenT m a -> m a

Escape the UGenT Monad transformer, discarding generator state.

type UGen = UGenT Identity

runUGen :: UGen a -> a

Perform a computation in the USG Monad UGen.

data Unique

An opaque data type, the complete interface to which consists of Eq, Ord and genUnique.

Instances

Eq Unique

Defined in Control.Monad.Trans.UGenT

Methods

(==) :: Unique -> Unique -> Bool

(/=) :: Unique -> Unique -> Bool

Ord Unique

Defined in Control.Monad.Trans.UGenT

Methods

compare :: Unique -> Unique -> Ordering

(<) :: Unique -> Unique -> Bool

(<=) :: Unique -> Unique -> Bool

(>) :: Unique -> Unique -> Bool

(>=) :: Unique -> Unique -> Bool

max :: Unique -> Unique -> Unique

min :: Unique -> Unique -> Unique

genUnique :: Monad m => UGenT m Unique

Generate a new symbol, unique within the current monadic computation.

runUGen $ (/=) <$> genUnique <*> genUnique

The symbol generation is pure:

runUGen genUnique == runUGen genUnique