GHC.Tc.Gen.Pat

Typechecking patterns

Documentation

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

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

data LetBndrSpec

Constructors

LetLclBndr

LetGblBndr TcPragEnv

Instances

Outputable LetBndrSpec

Defined in GHC.Tc.Gen.Pat

Methods

ppr :: LetBndrSpec -> SDoc

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

tcCheckPat_O

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)

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

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

badFieldCon :: ConLike -> FieldLabelString -> SDoc

polyPatSig :: TcType -> SDoc