ghc-lib-0.20210228: The GHC API, decoupled from GHC versions
Safe HaskellNone
LanguageHaskell2010

GHC.Tc.Gen.Pat

Description

Typechecking patterns

Synopsis

Documentation

tcLetPat :: (Name -> Maybe TcId) -> LetBndrSpec -> LPat GhcRn -> Scaled ExpSigmaType -> TcM a -> TcM (LPat GhcTc, a) Source #

data LetBndrSpec Source #

Instances

Instances details
Outputable LetBndrSpec Source # 
Instance details

Defined in GHC.Tc.Gen.Pat

Methods

ppr :: LetBndrSpec -> SDoc

tcCheckPat :: HsMatchContext GhcRn -> LPat GhcRn -> Scaled TcSigmaType -> TcM a -> TcM (LPat GhcTc, a) Source #

tcCheckPat_O Source #

Arguments

:: HsMatchContext GhcRn 
-> CtOrigin

origin to use if the type needs inst'ing

-> LPat GhcRn 
-> Scaled TcSigmaType 
-> TcM a 
-> TcM (LPat GhcTc, a) 

A variant of tcPat that takes a custom origin

tcInferPat :: HsMatchContext GhcRn -> LPat GhcRn -> TcM a -> TcM ((LPat GhcTc, a), TcSigmaType) Source #

tcPats :: HsMatchContext GhcRn -> [LPat GhcRn] -> [Scaled ExpSigmaType] -> TcM a -> TcM ([LPat GhcTc], a) Source #

badFieldCon :: ConLike -> FieldLabelString -> SDoc Source #