git.iko.soy/rowtype-yoga/purescript-native
on ea531ab help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Sugar.hs
71 lines 2.3 kB history raw
1-----------------------------------------------------------------------------
2--
3-- Module : Language.PureScript.Sugar
4-- Copyright : (c) Phil Freeman 2013
5-- License : MIT
6--
7-- Maintainer : Phil Freeman <paf31@cantab.net>
8-- Stability : experimental
9-- Portability :
10--
11-- |
12-- Desugaring passes
13--
14-----------------------------------------------------------------------------
16{-# LANGUAGE FlexibleContexts #-}
18module Language.PureScript.Sugar (desugar, module S) where
20import Control.Monad
21import Control.Category ((>>>))
22import Control.Applicative
23import Control.Monad.Error.Class
24import Control.Monad.Supply.Class
26import Language.PureScript.AST
27import Language.PureScript.Errors
29import Language.PureScript.Sugar.BindingGroups as S
30import Language.PureScript.Sugar.CaseDeclarations as S
31import Language.PureScript.Sugar.DoNotation as S
32import Language.PureScript.Sugar.Names as S
33import Language.PureScript.Sugar.ObjectWildcards as S
34import Language.PureScript.Sugar.Operators as S
35import Language.PureScript.Sugar.TypeClasses as S
36import Language.PureScript.Sugar.TypeDeclarations as S
38-- |
39-- The desugaring pipeline proceeds as follows:
40--
41-- * Remove signed literals in favour of `negate` applications
42--
43-- * Desugar object literals with wildcards into lambdas
44--
45-- * Desugar operator sections
46--
47-- * Desugar do-notation using the @Prelude.Monad@ type class
48--
49-- * Desugar top-level case declarations into explicit case expressions
50--
51-- * Desugar type declarations into value declarations with explicit type annotations
52--
53-- * Qualify any unqualified names and types
54--
55-- * Rebracket user-defined binary operators
56--
57-- * Introduce type synonyms for type class dictionaries
58--
59-- * Group mutually recursive value and data declarations into binding groups.
60--
61desugar :: (Applicative m, MonadSupply m, MonadError ErrorStack m) => [Module] -> m [Module]
62desugar = map removeSignedLiterals
63 >>> mapM desugarObjectConstructors
64 >=> mapM desugarOperatorSections
65 >=> mapM desugarDoModule
66 >=> desugarCasesModule
67 >=> desugarTypeDeclarationsModule
68 >=> desugarImports
69 >=> rebracket
70 >=> desugarTypeClasses
71 >=> createBindingGroupsModule