Documentation

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

tcClassDecl2 :: LTyClDecl Name -> TcM (LHsBinds Id)Source

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

instantiateMethod :: Class -> Id -> [TcType] -> TcTypeSource

tcInstanceMethodBody :: SkolemInfo -> [TcTyVar] -> [EvVar] -> Id -> Id -> SigFun -> TcSpecPrags -> LHsBind Name -> TcM (LHsBind Id)Source

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

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

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

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

badATErr :: Class -> Name -> SDocSource

omittedATWarn :: Name -> SDocSource