Tip.Fresh

Fresh monad and the Name type class

Documentation

newtype Fresh a

The Fresh monad

Constructors

Fresh (State Int a)

Instances

Monad Fresh

Functor Fresh

MonadFix Fresh

Applicative Fresh

freshPass :: (Foldable f, Name a) => (f a -> Fresh b) -> f a -> b

Continues making unique names after the highest numbered name in a foldable value.

freshFrom :: (Foldable f, Name b) => Fresh a -> f b -> a

Run fresh from starting from the greatest unique in a structure

runFresh :: Fresh a -> a

Run fresh, starting from zero

runFreshFrom :: Int -> Fresh a -> a

Run fresh from some starting value

class (PrettyVar a, Ord a) => Name a where

The Name type class

Minimal complete definition

fresh, getUnique

Methods

fresh :: Fresh a

Make a fresh name

refresh :: a -> Fresh a

Refresh a name, which could have some resemblance to the original name

freshNamed :: String -> Fresh a

Make a fresh name that can incorporate the given string

refreshNamed :: String -> a -> Fresh a

Refresh a name with an additional hint string

getUnique :: a -> Int

Gets the unique associated with a name.

Instances

Name Int

Name Id

Name a => Name (PPVar a)