git.iko.soy/rowtype-yoga/purescript-native
on 05015d0 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Sugar.hs
55 lines 1.7 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-----------------------------------------------------------------------------
16module Language.PureScript.Sugar (desugar, module S) where
18import Control.Monad
19import Control.Arrow ((>>>))
21import Language.PureScript.Declarations
23import Language.PureScript.Sugar.Operators as S
24import Language.PureScript.Sugar.DoNotation as S
25import Language.PureScript.Sugar.CaseDeclarations as S
26import Language.PureScript.Sugar.TypeDeclarations as S
27import Language.PureScript.Sugar.BindingGroups as S
28import Language.PureScript.Sugar.TypeClasses as S
29import Language.PureScript.Sugar.Let as S
31-- |
32-- The desugaring pipeline proceeds as follows:
33--
34-- * Desugar let bindings
35--
36-- * Introduce type synonyms for type class dictionaries
37--
38-- * Rebracket user-defined binary operators
39--
40-- * Desugar do-notation using the @Prelude.Monad@ type class
41--
42-- * Desugar top-level case declarations into explicit case expressions
43--
44-- * Desugar type declarations into value declarations with explicit type annotations
45--
46-- * Group mutually recursive value and data declarations into binding groups.
47--
48desugar :: [Module] -> Either String [Module]
49desugar = desugarTypeClasses
50 >=> rebracket
51 >=> desugarDo
52 >=> desugarLetBindings
53 >>> desugarCasesModule
54 >=> desugarTypeDeclarationsModule
55 >=> createBindingGroupsModule