DDC.Source.Tetra.Transform.Freshen

Freshen shadowed names in the source file, and rewrite anonymous binders to their named forms.

Documentation

type S = State State

State holding a variable name prefix and counter to create fresh variable names.

evalState :: Text -> S a -> a

Evaluate a desguaring computation, using the given prefix for freshly introduced variables.

newName :: Text -> S Name

Allocate a new name.

freshenModule :: Module Source -> S (Module Source)

Freshen the given module.