egison-3.5.4: Programming language with non-linear pattern-matching against unfree data

CopyrightSatoshi Egi
LicenseMIT
Safe HaskellNone
LanguageHaskell98

Language.Egison.Desugar

Description

This module provide desugar functions.

Documentation

data DesugarM a Source

Instances

runDesugarM :: DesugarM a -> Fresh (Either EgisonError a) Source

desugarTopExpr :: EgisonTopExpr -> EgisonM EgisonTopExpr Source

desugarExpr :: EgisonExpr -> EgisonM EgisonExpr Source

desugar :: EgisonExpr -> DesugarM EgisonExpr Source