TcClassDcl

Synopsis

• tcClassSigs :: Name -> [LSig Name] -> LHsBinds Name -> TcM [TcMethInfo]
• tcClassDecl2 :: LTyClDecl Name -> TcM (LHsBinds Id)
• findMethodBind :: Name -> LHsBinds Name -> Maybe (LHsBind Name, SrcSpan)
• instantiateMethod :: Class -> Id -> [TcType] -> TcType
• tcClassMinimalDef :: Name -> [LSig Name] -> [TcMethInfo] -> TcM ClassMinimalDef
• type HsSigFun = NameEnv (LHsSigType Name)
• mkHsSigFun :: [LSig Name] -> HsSigFun
• lookupHsSig :: HsSigFun -> Name -> Maybe (LHsSigType Name)
• emptyHsSigs :: 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