Moduleghc-9.14.1GHC2021

GHC.HsToCore.Match

6 values

Packageghc-9.14.1
Exports6
LanguageGHC2021
LicenceBSD-3-Clause
SourceMatch.hs

valuematch

:: [MatchId]
Variables rep'ing the exprs we're matching with ^ See Note [Match Ids]
^ Note that the Match Ids carry not only a name, but ^ also the multiplicity at which each column has been ^ type checked.
-> Type
Type of the case expression
-> [EquationInfo]
Info about patterns, etc. (type synonym below)
-> DsM (MatchResult CoreExpr)
Desugared result!

valuematchEquations

:: HsMatchContextRn
-> [MatchId]
-> [EquationInfo]
-> Type
-> DsM CoreExpr

valuematchWrapper

:: HsMatchContextRn
For shadowing warning messages
-> Maybe [LHsExpr GhcTc]
Scrutinee(s) see Note [matchWrapper scrutinees]
-> MatchGroup GhcTc (LHsExpr GhcTc)
Matches being desugared
-> DsM ([Id], CoreExpr)
Results (usually passed to match)

valuematchSimply

:: CoreExpr
Scrutinee
-> HsMatchContextRn
Match kind
-> Mult
Scaling factor of the case expression
-> LPat GhcTc
Pattern it should match
-> CoreExpr
Return this if it matches
-> CoreExpr
Return this if it doesn't
-> DsM CoreExpr

matchSimply is a wrapper for match which deals with the situation where we want to match a single expression against a single pattern. It returns an expression.

valuematchSinglePat

valuematchSinglePatVar

:: Id
-> Maybe CoreExpr
The scrutinee the match id is bound to
-> HsMatchContextRn
-> LPat GhcTc
-> Type
-> MatchResult CoreExpr
-> DsM (MatchResult CoreExpr)