Moduleghc-9.14.1GHC2021

GHC.HsToCore.Pmc.Desugar

Desugaring step of the Lower Your Guards paper.

Desugars Haskell source syntax into guard tree variants Pm*. In terms of the paper, this module is concerned with Sections 3.1, Figure 4, in particular.

Synopsis

value desugarPatBind
value desugarGRHSs
value desugarMatches
value desugarEmptyCase

Packageghc-9.14.1
Exports4
LanguageGHC2021
LicenceBSD-3-Clause
SourceDesugar.hs

valuedesugarPatBind :: SrcSpan -> Id -> Pat GhcTc -> DsM (PmPatBind Pre)

valuedesugarGRHSs

:: SrcSpan
-> SDoc
-> GRHSs GhcTc (LHsExpr GhcTc)
-> DsM (PmGRHSs Pre)

valuedesugarMatches

:: [Id]
-> NonEmpty (LMatch GhcTc (LHsExpr GhcTc))
-> DsM (PmMatchGroup Pre)

Source#

Desugar the non-empty Matches of a MatchGroup.

valuedesugarEmptyCase :: Id -> DsM PmEmptyCase