ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.HsToCore.Match

Synopsis

Documentation

match Source #

Arguments

:: [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!

matchWrapper Source #

Arguments

:: 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)

matchSimply Source #

Arguments

:: 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.

matchSinglePatVar Source #

Arguments

:: Id 
-> Maybe CoreExpr

The scrutinee the match id is bound to

-> HsMatchContextRn 
-> LPat GhcTc 
-> Type 
-> MatchResult CoreExpr 
-> DsM (MatchResult CoreExpr)