Safe Haskell | None |
---|---|
Language | Haskell98 |
Desugar guards and nested patterns to match expressions.
Documentation
type S = State (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.