purescript-0.5.2.4: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.Sugar

Description

Desugaring passes

Synopsis

Documentation

desugar :: [Module] -> SupplyT (Either ErrorStack) [Module] Source

The desugaring pipeline proceeds as follows:

  • Introduce type synonyms for type class dictionaries
  • Rebracket user-defined binary operators
  • Desugar do-notation using the Prelude.Monad type class
  • Desugar top-level case declarations into explicit case expressions
  • Desugar type declarations into value declarations with explicit type annotations
  • Group mutually recursive value and data declarations into binding groups.
  • Qualify any unqualified names and types