Language.Egison.Desugar

This module provide desugar functions.

Documentation

data DesugarM a

Instances

Monad DesugarM

Defined in Language.Egison.Desugar

Methods

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

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

return :: a -> DesugarM a

fail :: String -> DesugarM a

Functor DesugarM

Defined in Language.Egison.Desugar

Methods

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

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

MonadFail DesugarM

Defined in Language.Egison.Desugar

Methods

fail :: String -> DesugarM a

Applicative DesugarM

Defined in Language.Egison.Desugar

Methods

pure :: a -> DesugarM a

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

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

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

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

MonadFresh DesugarM

Defined in Language.Egison.Desugar

Methods

fresh :: DesugarM String

freshV :: DesugarM Var

MonadError EgisonError DesugarM

Defined in Language.Egison.Desugar

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