| ||||
| ||||
| Documentation | ||||
| tcLetPat :: (Name -> Maybe TcRhoType) -> LPat Name -> BoxySigmaType -> TcM a -> TcM (LPat TcId, a) | ||||
| tcLamPat :: LPat Name -> BoxySigmaType -> BoxyRhoType -> (BoxyRhoType -> 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.4.2 |