| ghc-6.10.4: The GHC API | Contents | Index

TcPat

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