git.iko.soy/rowtype-yoga/purescript-native
on 7620ec3 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Sugar.hs
67 lines 2.1 kB history raw
1-- |
2-- Desugaring passes
3--
4module Language.PureScript.Sugar (desugar, module S) where
6import Control.Category ((>>>))
7import Control.Monad
8import Control.Monad.Error.Class (MonadError())
9import Control.Monad.Supply.Class
10import Control.Monad.Writer.Class (MonadWriter())
12import Data.List (map)
13import Data.Traversable (traverse)
15import Language.PureScript.AST
16import Language.PureScript.Errors
17import Language.PureScript.Externs
18import Language.PureScript.Sugar.BindingGroups as S
19import Language.PureScript.Sugar.CaseDeclarations as S
20import Language.PureScript.Sugar.DoNotation as S
21import Language.PureScript.Sugar.Names as S
22import Language.PureScript.Sugar.ObjectWildcards as S
23import Language.PureScript.Sugar.Operators as S
24import Language.PureScript.Sugar.TypeClasses as S
25import Language.PureScript.Sugar.TypeClasses.Deriving as S
26import Language.PureScript.Sugar.TypeDeclarations as S
28-- |
29-- The desugaring pipeline proceeds as follows:
30--
31-- * Remove signed literals in favour of `negate` applications
32--
33-- * Desugar object literals with wildcards into lambdas
34--
35-- * Desugar operator sections
36--
37-- * Desugar do-notation using the @Prelude.Monad@ type class
38--
39-- * Desugar top-level case declarations into explicit case expressions
40--
41-- * Desugar type declarations into value declarations with explicit type annotations
42--
43-- * Qualify any unqualified names and types
44--
45-- * Rebracket user-defined binary operators
46--
47-- * Introduce type synonyms for type class dictionaries
48--
49-- * Group mutually recursive value and data declarations into binding groups.
50--
51desugar
52 :: (MonadSupply m, MonadError MultipleErrors m, MonadWriter MultipleErrors m)
53 => [ExternsFile]
54 -> [Module]
55 -> m [Module]
56desugar externs =
57 map desugarSignedLiterals
58 >>> traverse desugarObjectConstructors
59 >=> traverse desugarDoModule
60 >=> traverse desugarCasesModule
61 >=> traverse desugarTypeDeclarationsModule
62 >=> desugarImports externs
63 >=> rebracket externs
64 >=> traverse checkFixityExports
65 >=> traverse deriveInstances
66 >=> desugarTypeClasses externs
67 >=> traverse createBindingGroupsModule