egison-3.7.10: Programming language with non-linear pattern-matching against non-free data

Copyright	Satoshi Egi
License	MIT
Safe Haskell	None
Language	Haskell98

Language.Egison.Desugar

Description

This module provide desugar functions.

Documentation

data DesugarM a Source #

Instances

Monad DesugarM Source #
Methods (>>=) :: DesugarM a -> (a -> DesugarM b) -> DesugarM b # (>>) :: DesugarM a -> DesugarM b -> DesugarM b # return :: a -> DesugarM a # fail :: String -> DesugarM a #
Functor DesugarM Source #
Methods fmap :: (a -> b) -> DesugarM a -> DesugarM b # (<$) :: a -> DesugarM b -> DesugarM a #
Applicative DesugarM Source #
Methods pure :: a -> DesugarM a # (<>) :: DesugarM (a -> b) -> DesugarM a -> DesugarM b # liftA2 :: (a -> b -> c) -> DesugarM a -> DesugarM b -> DesugarM c # (>) :: DesugarM a -> DesugarM b -> DesugarM b # (<*) :: DesugarM a -> DesugarM b -> DesugarM a #
MonadFresh DesugarM Source #
Methods fresh :: DesugarM String Source #
MonadError EgisonError DesugarM Source #
Methods throwError :: EgisonError -> DesugarM a # catchError :: DesugarM a -> (EgisonError -> DesugarM a) -> DesugarM a #

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

desugarTopExpr :: EgisonTopExpr -> EgisonM EgisonTopExpr Source #

desugarExpr :: EgisonExpr -> EgisonM EgisonExpr Source #

desugar :: EgisonExpr -> DesugarM EgisonExpr Source #