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