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 (MaybeT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

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

getAvoids :: MaybeT m (Set AnyName)

LFresh m => LFresh (ListT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

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

getAvoids :: ListT m (Set AnyName)

Monad m => LFresh (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

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

getAvoids :: IdentityT m (Set AnyName)

LFresh m => LFresh (ExceptT e m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

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

Defined in Unbound.Generics.LocallyNameless.LFresh

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 (StateT s m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

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

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

MonadWriter w m => MonadWriter w (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

get :: LFreshMT m s

put :: s -> LFreshMT m ()

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

MonadReader r m => MonadReader r (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

throwError :: e -> LFreshMT m a

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

Monad m => Monad (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

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

MonadFix m => MonadFix (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

Applicative m => Applicative (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

liftIO :: IO a -> LFreshMT m a

Alternative m => Alternative (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

mzero :: LFreshMT m a

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

MonadThrow m => MonadThrow (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

MonadCatch m => MonadCatch (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

MonadMask m => MonadMask (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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

generalBracket :: LFreshMT m a -> (a -> ExitCase b -> LFreshMT m c) -> (a -> LFreshMT m b) -> LFreshMT m (b, c)

MonadCont m => MonadCont (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

Monad m => LFresh (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

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.