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