Unbound.Generics.LocallyNameless.LFresh

Local freshness monad.

The LFresh class

class Monad m => LFresh m where

This is the class of monads that support freshness in an (implicit) local scope. Generated names are fresh for the current local scope, not necessarily globally fresh.

Minimal complete definition

lfresh, avoid, getAvoids

Methods

lfresh :: Typeable a => Name a -> m (Name a)

Pick a new name that is fresh for the current (implicit) scope.

avoid :: [AnyName] -> m a -> m a

Avoid the given names when freshening in the subcomputation, that is, add the given names to the in-scope set.

getAvoids :: m (Set AnyName)

Get the set of names currently being avoided.

Instances

LFresh m => LFresh (ListT m)

Methods

lfresh :: Typeable * a => Name a -> ListT m (Name a)

avoid :: [AnyName] -> ListT m a -> ListT m a

getAvoids :: ListT m (Set AnyName)

LFresh m => LFresh (MaybeT m)

Methods

lfresh :: Typeable * a => Name a -> MaybeT m (Name a)

avoid :: [AnyName] -> MaybeT m a -> MaybeT m a

getAvoids :: MaybeT m (Set AnyName)

Monad m => LFresh (LFreshMT m)

Methods

lfresh :: Typeable * a => Name a -> LFreshMT m (Name a)

avoid :: [AnyName] -> LFreshMT m a -> LFreshMT m a

getAvoids :: LFreshMT m (Set AnyName)

LFresh m => LFresh (IdentityT * m)

Methods

lfresh :: Typeable * a => Name a -> IdentityT * m (Name a)

avoid :: [AnyName] -> IdentityT * m a -> IdentityT * m a

getAvoids :: IdentityT * m (Set AnyName)

(Error e, LFresh m) => LFresh (ErrorT e m)

Methods

lfresh :: Typeable * a => Name a -> ErrorT e m (Name a)

avoid :: [AnyName] -> ErrorT e m a -> ErrorT e m a

getAvoids :: ErrorT e m (Set AnyName)

LFresh m => LFresh (ExceptT e m)

Methods

lfresh :: Typeable * a => Name a -> ExceptT e m (Name a)

avoid :: [AnyName] -> ExceptT e m a -> ExceptT e m a

getAvoids :: ExceptT e m (Set AnyName)

LFresh m => LFresh (StateT s m)

Methods

lfresh :: Typeable * a => Name a -> StateT s m (Name a)

avoid :: [AnyName] -> StateT s m a -> StateT s m a

getAvoids :: StateT s m (Set AnyName)

LFresh m => LFresh (StateT s m)

Methods

lfresh :: Typeable * a => Name a -> StateT s m (Name a)

avoid :: [AnyName] -> StateT s m a -> StateT s m a

getAvoids :: StateT s m (Set AnyName)

(Monoid w, LFresh m) => LFresh (WriterT w m)

Methods

lfresh :: Typeable * a => Name a -> WriterT w m (Name a)

avoid :: [AnyName] -> WriterT w m a -> WriterT w m a

getAvoids :: WriterT w m (Set AnyName)

(Monoid w, LFresh m) => LFresh (WriterT w m)

Methods

lfresh :: Typeable * a => Name a -> WriterT w m (Name a)

avoid :: [AnyName] -> WriterT w m a -> WriterT w m a

getAvoids :: WriterT w m (Set AnyName)

LFresh m => LFresh (ContT * r m)

Methods

lfresh :: Typeable * a => Name a -> ContT * r m (Name a)

avoid :: [AnyName] -> ContT * r m a -> ContT * r m a

getAvoids :: ContT * r m (Set AnyName)

LFresh m => LFresh (ReaderT * r m)

Methods

lfresh :: Typeable * a => Name a -> ReaderT * r m (Name a)

avoid :: [AnyName] -> ReaderT * r m a -> ReaderT * r m a

getAvoids :: ReaderT * r m (Set AnyName)

type LFreshM = LFreshMT Identity

A convenient monad which is an instance of LFresh. It keeps track of a set of names to avoid, and when asked for a fresh one will choose the first unused numerical name.

runLFreshM :: LFreshM a -> a

Run a LFreshM computation in an empty context.

contLFreshM :: LFreshM a -> Set AnyName -> a

Run a LFreshM computation given a set of names to avoid.

newtype LFreshMT m a

The LFresh monad transformer. Keeps track of a set of names to avoid, and when asked for a fresh one will choose the first numeric prefix of the given name which is currently unused.

Constructors

LFreshMT

Fields

• unLFreshMT :: ReaderT (Set AnyName) m a

Instances

MonadTrans LFreshMT

Methods

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

MonadWriter w m => MonadWriter w (LFreshMT m)

Methods

writer :: (a, w) -> LFreshMT m a

tell :: w -> LFreshMT m ()

listen :: LFreshMT m a -> LFreshMT m (a, w)

pass :: LFreshMT m (a, w -> w) -> LFreshMT m a

MonadState s m => MonadState s (LFreshMT m)

Methods

get :: LFreshMT m s

put :: s -> LFreshMT m ()

state :: (s -> (a, s)) -> LFreshMT m a

MonadReader r m => MonadReader r (LFreshMT m)

Methods

ask :: LFreshMT m r

local :: (r -> r) -> LFreshMT m a -> LFreshMT m a

reader :: (r -> a) -> LFreshMT m a

MonadError e m => MonadError e (LFreshMT m)

Methods

throwError :: e -> LFreshMT m a

catchError :: LFreshMT m a -> (e -> LFreshMT m a) -> LFreshMT m a

Monad m => Monad (LFreshMT m)

Methods

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

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

return :: a -> LFreshMT m a

fail :: String -> LFreshMT m a

Functor m => Functor (LFreshMT m)

Methods

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

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

MonadFix m => MonadFix (LFreshMT m)

Methods

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

Applicative m => Applicative (LFreshMT m)

Methods

pure :: a -> LFreshMT m a

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

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

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

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

MonadIO m => MonadIO (LFreshMT m)

Methods

liftIO :: IO a -> LFreshMT m a

Alternative m => Alternative (LFreshMT m)

Methods

empty :: LFreshMT m a

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

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

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

MonadPlus m => MonadPlus (LFreshMT m)

Methods

mzero :: LFreshMT m a

mplus :: LFreshMT m a -> LFreshMT m a -> LFreshMT m a

MonadThrow m => MonadThrow (LFreshMT m)

Methods

throwM :: Exception e => e -> LFreshMT m a

MonadCatch m => MonadCatch (LFreshMT m)

Methods

catch :: Exception e => LFreshMT m a -> (e -> LFreshMT m a) -> LFreshMT m a

MonadMask m => MonadMask (LFreshMT m)

Methods

mask :: ((forall a. LFreshMT m a -> LFreshMT m a) -> LFreshMT m b) -> LFreshMT m b

uninterruptibleMask :: ((forall a. LFreshMT m a -> LFreshMT m a) -> LFreshMT m b) -> LFreshMT m b

MonadCont m => MonadCont (LFreshMT m)

Methods

callCC :: ((a -> LFreshMT m b) -> LFreshMT m a) -> LFreshMT m a

Monad m => LFresh (LFreshMT m)

Methods

lfresh :: Typeable * a => Name a -> LFreshMT m (Name a)

avoid :: [AnyName] -> LFreshMT m a -> LFreshMT m a

getAvoids :: LFreshMT m (Set AnyName)

runLFreshMT :: LFreshMT m a -> m a

Run an LFreshMT computation in an empty context.

contLFreshMT :: LFreshMT m a -> Set AnyName -> m a

Run an LFreshMT computation given a set of names to avoid.