Unbound.Generics.LocallyNameless.Fresh

Global freshness monad.

Documentation

class Monad m => Fresh m where

The Fresh type class governs monads which can generate new globally unique Names based on a given Name.

Methods

fresh :: Name a -> m (Name a)

Generate a new globally unique name based on the given one.

Instances

Fresh m => Fresh (MaybeT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> MaybeT m (Name a)

Monad m => Fresh (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> FreshMT m (Name a)

Fresh m => Fresh (FFM m)

Defined in Unbound.Generics.LocallyNameless.Alpha

Methods

fresh :: Name a -> FFM m (Name a)

Fresh m => Fresh (ExceptT e m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> ExceptT e m (Name a)

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

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> ErrorT e m (Name a)

Fresh m => Fresh (StateT s m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> StateT s m (Name a)

Fresh m => Fresh (StateT s m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> StateT s m (Name a)

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

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> WriterT w m (Name a)

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

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> WriterT w m (Name a)

Fresh m => Fresh (ReaderT r m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> ReaderT r m (Name a)

newtype FreshMT m a

The FreshM monad transformer. Keeps track of the lowest index still globally unused, and increments the index every time it is asked for a fresh name.

Constructors

FreshMT

Fields

• unFreshMT :: StateT Integer m a

Instances

MonadTrans FreshMT

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

MonadWriter w m => MonadWriter w (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

tell :: w -> FreshMT m ()

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

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

MonadState s m => MonadState s (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

get :: FreshMT m s

put :: s -> FreshMT m ()

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

MonadReader r m => MonadReader r (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

ask :: FreshMT m r

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

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

MonadError e m => MonadError e (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

throwError :: e -> FreshMT m a

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

Monad m => Monad (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

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

return :: a -> FreshMT m a

fail :: String -> FreshMT m a

Functor m => Functor (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

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

MonadFix m => MonadFix (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

MonadFail m => MonadFail (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fail :: String -> FreshMT m a

Monad m => Applicative (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

pure :: a -> FreshMT m a

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

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

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

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

MonadIO m => MonadIO (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

liftIO :: IO a -> FreshMT m a

MonadPlus m => Alternative (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

empty :: FreshMT m a

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

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

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

MonadPlus m => MonadPlus (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

mzero :: FreshMT m a

mplus :: FreshMT m a -> FreshMT m a -> FreshMT m a

MonadThrow m => MonadThrow (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

MonadCatch m => MonadCatch (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

MonadMask m => MonadMask (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

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

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

MonadCont m => MonadCont (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

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

Monad m => Fresh (FreshMT m)

Defined in Unbound.Generics.LocallyNameless.Fresh

Methods

fresh :: Name a -> FreshMT m (Name a)

runFreshMT :: Monad m => FreshMT m a -> m a

Run a FreshMT computation (with the global index starting at zero).

contFreshMT :: Monad m => FreshMT m a -> Integer -> m a

Run a FreshMT computation given a starting index for fresh name generation.

type FreshM = FreshMT Identity

A convenient monad which is an instance of Fresh. It keeps track of a global index used for generating fresh names, which is incremented every time fresh is called.

runFreshM :: FreshM a -> a

Run a FreshM computation (with the global index starting at zero).

contFreshM :: FreshM a -> Integer -> a

Run a FreshM computation given a starting index.