Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Gen.Match

Typecheck some Matches

Synopsis

value tcFunBindMatches
value tcCaseMatches
value tcLambdaMatches
value tcGRHSNE
value tcGRHSsPat
type TcStmtChecker
type TcExprStmtChecker
type TcCmdStmtChecker
value tcStmts
value tcStmtsAndThen
value tcDoStmts
value tcBody
value tcDoStmt
value tcGuardStmt
value checkArgCounts

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

Source#

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