TcClassDcl

Documentation

tcClassSigs :: Name -> [LSig Name] -> LHsBinds Name -> TcM [TcMethInfo]

tcClassDecl2 :: LTyClDecl Name -> TcM (LHsBinds Id, [Id])

findMethodBind :: Name -> Name -> LHsBinds Name -> Maybe (LHsBind Name)

tcInstanceMethodBody :: SkolemInfo -> Class -> [TcTyVar] -> [Inst] -> TcThetaType -> [TcType] -> Maybe (Inst, LHsBind Id) -> Id -> Name -> TcSigFun -> TcPragFun -> LHsBind Name -> TcM (Id, LHsBinds Id)

mkGenericDefMethBind :: Class -> [Type] -> Id -> Name -> TcM (LHsBind Name)

getGenericInstances :: [LTyClDecl Name] -> TcM [InstInfo Name]

mkDefMethRdrName :: Name -> RdrName

tcAddDeclCtxt :: TyClDecl Name -> TcM a -> TcM a

badMethodErr :: Outputable a => a -> Name -> SDoc

badATErr :: Class -> Name -> SDoc

omittedATWarn :: Name -> SDoc

Produced by Haddock version 2.3.0