TcPat

Documentation

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

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

data LetBndrSpec

Constructors

LetLclBndr

LetGblBndr TcPragEnv

Instances

Outputable LetBndrSpec

Defined in TcPat

Methods

ppr :: LetBndrSpec -> SDoc

pprPrec :: Rational -> LetBndrSpec -> SDoc

tcPat :: HsMatchContext Name -> LPat GhcRn -> ExpSigmaType -> TcM a -> TcM (LPat GhcTcId, a)

tcPat_O

Arguments

:: HsMatchContext Name

-> CtOrigin

origin to use if the type needs inst'ing

-> LPat GhcRn

-> ExpSigmaType

-> TcM a

-> TcM (LPat GhcTcId, a)

A variant of tcPat that takes a custom origin

tcPats :: HsMatchContext Name -> [LPat GhcRn] -> [ExpSigmaType] -> TcM a -> TcM ([LPat GhcTcId], a)

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

badFieldCon :: ConLike -> FieldLabelString -> SDoc

polyPatSig :: TcType -> SDoc