Language.PureScript.CodeGen.Monad

Code generation monad

This monad provides a supply of fresh names which can be used to create variables.

Documentation

newtype Gen a

Code generation monad data type

Constructors

Gen

Fields

unGen :: State [String] a

Instances

Monad Gen

Functor Gen

Applicative Gen

MonadState [String] Gen

runGen :: [String] -> Gen a -> a

Run a computation in the code generation monad

fresh :: Gen String

Generate a fresh name