Language.NameSupply

Supply monad

Documentation

type Supply x = State [x]

supplyNew :: Supply x x

Generate a new variable name

allNames :: [Name]

All names made purely of lower-case alphabetic characters, ordered by increasing size (starting with one) and alphabetically within each size.

type Name = String

type NameM = Supply Name

withNames :: [Name] -> NameM a -> a

withAllNames :: NameM a -> a