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.

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)

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)

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)

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)

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

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

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)

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

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

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

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

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

MonadFail m => MonadFail (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

fail :: String -> LFreshMT m a

MonadFix m => MonadFix (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

mfix :: (a -> LFreshMT m a) -> 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]

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

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

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

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

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)

MonadThrow m => MonadThrow (LFreshMT m)

Defined in Unbound.Generics.LocallyNameless.LFresh

Methods

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

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.