egison-3.2.4: Programming language with non-linear pattern-matching against unfree data types

Safe Haskell	None
Language	Haskell98

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

desugarLoopRange :: LoopRange -> DesugarM LoopRange Source

desugarBinding :: BindingExpr -> DesugarM BindingExpr Source

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

desugarMatchClause :: MatchClause -> DesugarM MatchClause Source

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