egison-3.2.17: Programming language with non-linear pattern-matching against unfree data types
Language.Egison.Desugar
Description
This module provide desugar functions.
data DesugarM a Source
Instances
runDesugarM :: DesugarM a -> Fresh (Either EgisonError a)Source
desugarTopExpr :: EgisonTopExpr -> DesugarM EgisonTopExprSource
desugar :: EgisonExpr -> DesugarM EgisonExprSource