Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xb2f3bfd2026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · b2f3bfd · 2026-10-11

Moduleghc-9.14.1GHC2021

GHC.Tc.Gen.Pat

Typechecking patterns

1 type
7 values

Packageghc-9.14.1
Exports8
LanguageGHC2021
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-9.14.1 · 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 ()