Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Gen.Match

Typecheck some Matches

3 types
12 values

Packageghc-10.0.0.20260917
Exports15
LanguageGHC2024
LicenceBSD-3-Clause
SourceMatch.hs

valuetcFunBindMatches

:: UserTypeCtxt
-> Name
-> Mult
-> MatchGroup GhcRn (LHsExpr GhcRn)
-> [ExpPatType]
-> ExpRhoType
-> TcM (HsWrapper, MatchGroup GhcTc (LHsExpr GhcTc))

valuetcCaseMatches

:: (AnnoBody body, Outputable (body GhcTc))
=> HsMatchContextRn
-> TcMatchAltChecker body
Typecheck the alternative RHSS
-> Scaled TcSigmaTypeFRR
Type of scrutinee
-> MatchGroup GhcRn (LocatedA (body GhcRn))
The case alternatives
-> ExpRhoType
Type of the whole case expression
-> TcM (MatchGroup GhcTc (LocatedA (body GhcTc)))

valuetcLambdaMatches

:: HsExpr GhcRn
-> HsLamVariant
-> MatchGroup GhcRn (LHsExpr GhcRn)
-> [ExpPatType]
-> ExpSigmaType
-> TcM (HsWrapper, MatchGroup GhcTc (LHsExpr GhcTc))

valuetcGRHSNE

:: AnnoBody body
=> HsMatchContextRn
-> TcMatchAltChecker body
-> NonEmpty (LGRHS GhcRn (LocatedA (body GhcRn)))
-> ExpRhoType
-> TcM (NonEmpty (LGRHS GhcTc (LocatedA (body GhcTc))))

valuetcGRHSsPat

type

type TcStmtChecker (body :: Type -> Type) rho_type = forall thing. HsStmtContextRn -> Stmt GhcRn (LocatedA (body GhcRn)) -> rho_type -> (rho_type -> TcM thing) -> TcM (Stmt GhcTc (LocatedA (body GhcTc)), thing)

typetype TcExprStmtChecker = TcStmtChecker HsExpr ExpRhoType

typetype TcCmdStmtChecker = TcStmtChecker HsCmd TcRhoType

valuetcStmts

:: AnnoBody body
=> HsStmtContextRn
-> TcStmtChecker body rho_type
-> [LStmt GhcRn (LocatedA (body GhcRn))]
-> rho_type
-> TcM [LStmt GhcTc (LocatedA (body GhcTc))]

valuetcStmtsAndThen

:: AnnoBody body
=> HsStmtContextRn
-> TcStmtChecker body rho_type
-> [LStmt GhcRn (LocatedA (body GhcRn))]
-> rho_type
-> rho_type -> TcM thing
-> TcM ([LStmt GhcTc (LocatedA (body GhcTc))], thing)

valuetcDoStmts

:: HsDoFlavour
-> LocatedLW [LStmt GhcRn (LHsExpr GhcRn)]
-> ExpRhoType
-> TcM (HsExpr GhcTc)

valuetcBody :: LHsExpr GhcRn -> ExpRhoType -> TcM (LHsExpr GhcTc)

valuetcDoStmt :: TcExprStmtChecker

valuetcGuardStmt :: TcExprStmtChecker

valuecheckArgCounts

:: AnnoBody body
=> MatchGroup GhcRn (LocatedA (body GhcRn))
-> TcM VisArity

checkArgCounts takes a [RenamedMatch] and decides whether the same number of required (aka visible) args are used in each equation. Returns the arity, the number of required args E.g. f @a True y = ... f False z = ... The MatchGroup for f has arity 2, not 3