NameSupply

Documentation

data NSM a

Instances

Monad NSM

getNewName :: NSM String

withNewName :: String -> NSM a -> NSM a

getNewNames :: Int -> NSM [String]

mapNSM :: (a -> b) -> NSM a -> NSM b

runNS :: NSM a -> [String] -> a