to-haskell-0.3.0: A type class and some utilities for generating Haskell code.

Stabilityexperimental
Maintainerconal@tabula.com
Safe HaskellNone

Language.NameSupply

Description

Supply monad

Synopsis

Documentation

type Supply x = State [x]Source

supplyNew :: Supply x xSource

Generate a new variable name

allNames :: [Name]Source

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

type Name = StringSource

type NameM = Supply NameSource

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

withAllNames :: NameM a -> aSource