Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Gen.Pat

Typechecking patterns

1 type
8 values

Packageghc-10.0.0.20260917
Exports9
LanguageGHC2024
LicenceBSD-3-Clause
SourcePat.hs

valuetcLetPat

:: Name -> Maybe TcId
-> LetBndrSpec
-> LPat GhcRn
-> Scaled ExpSigmaTypeFRR
-> TcM a
-> TcM (LPat GhcTc, a)

valuenewLetBndr :: LetBndrSpec -> Name -> Mult -> TcType -> TcM TcId

datadata LetBndrSpec

Constructors

LetLclBndr
LetGblBndr TcPragEnv

Instances1Outputable

Outputable LetBndrSpecDefined in ghc-10.0.0.20260917 · GHC.Tc.Gen.Pat

valuetcCheckPat

:: HsMatchContextRn
-> LPat GhcRn
-> Scaled TcSigmaTypeFRR
-> TcM a
-> TcM (LPat GhcTc, a)

valuetcCheckPat_O

:: HsMatchContextRn
-> CtOrigin
origin to use if the type needs inst'ing
-> LPat GhcRn
-> Scaled TcSigmaTypeFRR
-> TcM a
-> TcM (LPat GhcTc, a)

A variant of tcPat that takes a custom origin

valuetcInferPat

:: FixedRuntimeRepContext
-> HsMatchContextRn
-> LPat GhcRn
-> TcM a
-> TcM ((LPat GhcTc, a), TcSigmaTypeFRR)

valuetcMatchPats

:: HsMatchContextRn
-> [LPat GhcRn]
patterns
-> [ExpPatType]
types of the patterns
-> TcM a
checker for the body
-> TcM ([LPat GhcTc], a)

valueaddDataConStupidTheta :: DataCon -> [TcType] -> TcM ()

valuezipPatsBndrs

:: [LPat GhcRn]
-> [TyVarBinder]
-> TcM ([(HsTyPat GhcRn, TyVar)], [LPat GhcRn])

Line the arguments of a ConPat up against the TyVarBinders of its ConLike, returning the type arguments with the binders they instantiate, and the remaining value arguments.

See Note [Zipping ConPat arguments with TyVarBinders]

Precondition: check_con_pat_arity has passed for these arguments, so that we never run out of patterns while a required binder remains.