Safe Haskell | None |
---|
TcPat
Documentation
tcLetPat :: TcSigFun -> LetBndrSpec -> LPat Name -> TcSigmaType -> TcM a -> TcM (LPat TcId, a)Source
Constructors
TcSigInfo | |
Fields
|
Instances
data LetBndrSpec Source
Constructors
LetLclBndr | |
LetGblBndr TcPragFun |
tcPats :: HsMatchContext Name -> [LPat Name] -> [TcSigmaType] -> TcM a -> TcM ([LPat TcId], a)Source
newNoSigLetBndr :: LetBndrSpec -> Name -> TcType -> TcM TcIdSource
newSigLetBndr :: LetBndrSpec -> Name -> TcSigInfo -> TcM TcIdSource
addDataConStupidTheta :: DataCon -> [TcType] -> TcM ()Source
badFieldCon :: DataCon -> Name -> SDocSource
polyPatSig :: TcType -> SDocSource