Moduleghc-9.14.1GHC2021
GHC.Tc.Gen.Pat
Typechecking patterns
Synopsis
- value tcLetPat
- value newLetBndr
- data LetBndrSpec
- value tcCheckPat
- value tcCheckPat_O
- value tcInferPat
- value tcMatchPats
- value addDataConStupidTheta
- Packageghc-9.14.1
- Exports8
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourcePat.hs
Constructors
Instances1Outputable
Outputable LetBndrSpecDefined in ghc-9.14.1 · GHC.Tc.Gen.Pat
value
tcCheckPat_O :: HsMatchContextRn-> CtOriginorigin 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
value
tcMatchPats :: HsMatchContextRn-> [LPat GhcRn]patterns
-> [ExpPatType]types of the patterns
-> TcM achecker for the body
-> TcM ([LPat GhcTc], a)