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