Safe Haskell | None |
---|---|
Language | Haskell98 |
A light simplification pass before conversion of desugared code to Core.
Documentation
type S = State (Bool, Text, Int) Source #
State holding a variable name prefix and counter to create fresh variable names.
evalState :: Text -> S a -> a Source #
Evaluate a desguaring computation, using the given prefix for freshly introduced variables.