Util.VarName

Documentation

data VarNameT nc ni no m a

Instances

MonadTrans (VarNameT nc ni no)

Monad m => Monad (VarNameT nc ni no m)

Functor m => Functor (VarNameT nc ni no m)

MonadFix m => MonadFix (VarNameT nc ni no m)

MonadPlus m => MonadPlus (VarNameT nc ni no m)

MonadIO m => MonadIO (VarNameT nc ni no m)

type VarName ni no a = VarNameT () ni no Identity a

runVarNameT :: Monad m => VarNameT nc ni no m a -> m a

runVarName :: VarName ni no a -> a

newName :: (Ord ni, Ord nc, Monad m) => [no] -> nc -> ni -> VarNameT nc ni no m no

subVarName :: Monad m => VarNameT nc ni no m a -> VarNameT nc ni no m a

lookupName :: (Ord ni, Monad m, Show ni) => ni -> VarNameT nc ni no m no

maybeLookupName :: (Ord ni, Monad m, Show ni) => ni -> VarNameT nc ni no m (Maybe no)

newLookupName :: (Ord ni, Ord nc, Monad m) => [no] -> nc -> ni -> VarNameT nc ni no m no