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

Copyright	Satoshi Egi
License	MIT
Safe Haskell	None
Language	Haskell98

Language.Egison.Desugar

Description

This module provide desugar functions.

Documentation

data DesugarM a Source

Instances

Monad DesugarM
Functor DesugarM
Applicative DesugarM
MonadFresh DesugarM
MonadError EgisonError DesugarM

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

desugarTopExpr :: EgisonTopExpr -> DesugarM EgisonTopExpr Source

desugar :: EgisonExpr -> DesugarM EgisonExpr Source