egison-3.0.8: An Interpreter for the Programming Language Egison

Safe Haskell	None

Language.Egison.Desugar

Documentation

type Subst = [(String, EgisonExpr)]Source

newtype DesugarM a Source

Constructors

DesugarM
Fields unDesugarM :: ReaderT Subst (ErrorT EgisonError Fresh) a

Instances

Monad DesugarM
Functor DesugarM
Applicative DesugarM
MonadFresh DesugarM
MonadError EgisonError DesugarM
MonadReader Subst DesugarM

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

desugarTopExpr :: EgisonTopExpr -> DesugarM EgisonTopExpr Source

desugar :: EgisonExpr -> DesugarM EgisonExpr Source

desugarPattern :: EgisonPattern -> DesugarM EgisonPattern Source

desugarPattern' :: EgisonPattern -> DesugarM EgisonPattern Source

desugarBinding :: BindingExpr -> DesugarM BindingExpr Source

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

desugarMatchClause :: MatchClause -> DesugarM MatchClause Source

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