Safe Haskell | None |
---|
Language.Egison.Desugar
Documentation
type Subst = [(String, EgisonExpr)]Source
Constructors
DesugarM | |
Fields
|
runDesugarM :: DesugarM a -> Fresh (Either EgisonError a)Source
desugarBindings :: [BindingExpr] -> DesugarM [BindingExpr]Source