Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
tcLetPat :: TcSigFun -> LetBndrSpec -> LPat Name -> TcSigmaType -> TcM a -> TcM (LPat TcId, a) Source
TcSigInfo | |
| |
TcPatSynInfo TcPatSynInfo |
data TcPatSynInfo Source
TPSI | |
|
isPartialSig :: TcSigInfo -> Bool Source
tcPats :: HsMatchContext Name -> [LPat Name] -> [TcSigmaType] -> TcM a -> TcM ([LPat TcId], a) Source
newNoSigLetBndr :: LetBndrSpec -> Name -> TcType -> TcM TcId Source
addDataConStupidTheta :: DataCon -> [TcType] -> TcM () Source
badFieldCon :: ConLike -> Name -> SDoc Source
polyPatSig :: TcType -> SDoc Source