| ||||
| ||||
Documentation | ||||
tcLetPat :: (Name -> Maybe TcRhoType) -> LPat Name -> BoxySigmaType -> TcM a -> TcM (LPat TcId, a) | ||||
tcLamPats :: [LPat Name] -> [BoxySigmaType] -> BoxyRhoType -> (BoxyRhoType -> TcM a) -> TcM ([LPat TcId], a) | ||||
tcProcPat :: LPat Name -> BoxySigmaType -> BoxyRhoType -> (BoxyRhoType -> TcM a) -> TcM (LPat TcId, a) | ||||
tcOverloadedLit :: InstOrigin -> HsOverLit Name -> BoxyRhoType -> TcM (HsOverLit TcId) | ||||
addDataConStupidTheta :: DataCon -> [TcType] -> TcM () | ||||
badFieldCon :: DataCon -> Name -> SDoc | ||||
polyPatSig :: TcType -> SDoc | ||||
Produced by Haddock version 2.3.0 |