egison-4.2.1: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageGHC2021

Language.Egison.Desugar

Description

This module provides desugar functions.

Documentation

desugarTopExpr :: TopExpr -> EvalM (Maybe ITopExpr) Source #

desugarTopExprs :: [TopExpr] -> EvalM [ITopExpr] Source #

desugarExpr :: Expr -> EvalM IExpr Source #