Language.Egison.Desugar

Documentation

newtype DesugarM a

Constructors

DesugarM

Fields

unDesugarM :: StateT Int (ErrorT EgisonError Identity) a

Instances

Monad DesugarM

Functor DesugarM

Applicative DesugarM

MonadFresh DesugarM

MonadError EgisonError DesugarM

MonadState Int DesugarM

class (Applicative m, Monad m) => MonadFresh m where

Methods

fresh :: m String

Instances

MonadFresh DesugarM

runDesugarM :: DesugarM a -> Either EgisonError a

desugar :: EgisonExpr -> DesugarM EgisonExpr

desugarBinding :: BindingExpr -> DesugarM BindingExpr

desugarBindings :: [BindingExpr] -> DesugarM [BindingExpr]

desugarMatchClause :: MatchClause -> DesugarM MatchClause

desugarMatchClauses :: [MatchClause] -> DesugarM [MatchClause]