Language.Egison.Desugar

This module provide desugar functions.

Documentation

data DesugarM a

Instances

Monad DesugarM

Methods

(>>=) :: DesugarM a -> (a -> DesugarM b) -> DesugarM b

(>>) :: DesugarM a -> DesugarM b -> DesugarM b

return :: a -> DesugarM a

fail :: String -> DesugarM a

Functor DesugarM

Methods

fmap :: (a -> b) -> DesugarM a -> DesugarM b

(<$) :: a -> DesugarM b -> DesugarM a

Applicative DesugarM

Methods

pure :: a -> DesugarM a

(<*>) :: DesugarM (a -> b) -> DesugarM a -> DesugarM b

(*>) :: DesugarM a -> DesugarM b -> DesugarM b

(<*) :: DesugarM a -> DesugarM b -> DesugarM a

MonadFresh DesugarM

Methods

fresh :: DesugarM String

MonadError EgisonError DesugarM

Methods

throwError :: EgisonError -> DesugarM a

catchError :: DesugarM a -> (EgisonError -> DesugarM a) -> DesugarM a

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

desugarTopExpr :: EgisonTopExpr -> EgisonM EgisonTopExpr

desugarExpr :: EgisonExpr -> EgisonM EgisonExpr

desugar :: EgisonExpr -> DesugarM EgisonExpr