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

CopyrightSatoshi Egi
LicenseMIT
Safe HaskellNone
LanguageHaskell98

Language.Egison.Desugar

Description

This module provide desugar functions.

Documentation

data DesugarM a Source #

Instances
Monad DesugarM Source # 
Instance details

Defined in Language.Egison.Desugar

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 # 
Instance details

Defined in Language.Egison.Desugar

Methods

fmap :: (a -> b) -> DesugarM a -> DesugarM b #

(<$) :: a -> DesugarM b -> DesugarM a #

MonadFail DesugarM Source # 
Instance details

Defined in Language.Egison.Desugar

Methods

fail :: String -> DesugarM a #

Applicative DesugarM Source # 
Instance details

Defined in Language.Egison.Desugar

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 # 
Instance details

Defined in Language.Egison.Desugar

MonadError EgisonError DesugarM Source # 
Instance details

Defined in Language.Egison.Desugar