Language.Egison.Desugar

This module provide desugar functions.

Documentation

data DesugarM a

Instances

Monad DesugarM

Functor DesugarM

Applicative DesugarM

MonadFresh DesugarM

MonadError EgisonError DesugarM

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

desugarTopExpr :: EgisonTopExpr -> EgisonM EgisonTopExpr

desugarExpr :: EgisonExpr -> EgisonM EgisonExpr

desugar :: EgisonExpr -> DesugarM EgisonExpr