GHC.Tc.TyCl.Class

Typechecking class declarations

Documentation

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

tcClassDecl2 :: LTyClDecl GhcRn -> TcM (LHsBinds GhcTc)

findMethodBind :: Name -> LHsBinds GhcRn -> TcPragEnv -> Maybe (LHsBind GhcRn, SrcSpan, [LSig GhcRn])

instantiateMethod :: Class -> TcId -> [TcType] -> TcType

tcClassMinimalDef :: Name -> [LSig GhcRn] -> [TcMethInfo] -> TcM ClassMinimalDef

type HsSigFun = Name -> Maybe (LHsSigType GhcRn)

mkHsSigFun :: [LSig GhcRn] -> HsSigFun

instDeclCtxt1 :: LHsSigType GhcRn -> SDoc

instDeclCtxt2 :: Type -> SDoc

instDeclCtxt3 :: Class -> [Type] -> SDoc

tcATDefault :: SrcSpan -> Subst -> NameSet -> ClassATItem -> TcM [FamInst]

Construct default instances for any associated types that aren't given a user definition Returns [] or singleton