TcClassDcl

Synopsis

• tcClassSigs :: Name -> [LSig Name] -> LHsBinds Name -> TcM [TcMethInfo]
• tcClassDecl2 :: LTyClDecl Name -> TcM (LHsBinds Id)
• findMethodBind :: Name -> LHsBinds Name -> TcPragEnv -> Maybe (LHsBind Name, SrcSpan, [LSig Name])
• instantiateMethod :: Class -> Id -> [TcType] -> TcType
• tcClassMinimalDef :: Name -> [LSig Name] -> [TcMethInfo] -> TcM ClassMinimalDef
• type HsSigFun = Name -> Maybe (LHsSigType Name)
• mkHsSigFun :: [LSig Name] -> HsSigFun
• tcMkDeclCtxt :: TyClDecl Name -> SDoc
• tcAddDeclCtxt :: TyClDecl Name -> TcM a -> TcM a
• badMethodErr :: Outputable a => a -> Name -> SDoc
• tcATDefault :: Bool -> SrcSpan -> TCvSubst -> NameSet -> ClassATItem -> TcM [FamInst]

Documentation