Class

Synopsis

• data Class
• type ClassOpItem = (Id, DefMeth)
• data DefMeth
  • = NoDefMeth
  • | DefMeth Name
  • | GenDefMeth Name
• type ClassATItem = (TyCon, [CoAxBranch])
• type ClassMinimalDef = BooleanFormula Name
• defMethSpecOfDefMeth :: DefMeth -> DefMethSpec
• type FunDep a = ([a], [a])
• pprFundeps :: Outputable a => [FunDep a] -> SDoc
• pprFunDep :: Outputable a => FunDep a -> SDoc
• mkClass :: [TyVar] -> [([TyVar], [TyVar])] -> [PredType] -> [Id] -> [ClassATItem] -> [ClassOpItem] -> ClassMinimalDef -> TyCon -> Class
• classTyVars :: Class -> [TyVar]
• classArity :: Class -> Arity
• classKey :: Class -> Unique
• className :: Class -> Name
• classATs :: Class -> [TyCon]
• classATItems :: Class -> [ClassATItem]
• classTyCon :: Class -> TyCon
• classMethods :: Class -> [Id]
• classOpItems :: Class -> [ClassOpItem]
• classBigSig :: Class -> ([TyVar], [PredType], [Id], [ClassOpItem])
• classExtraBigSig :: Class -> ([TyVar], [FunDep TyVar], [PredType], [Id], [ClassATItem], [ClassOpItem])
• classTvsFds :: Class -> ([TyVar], [FunDep TyVar])
• classSCTheta :: Class -> [PredType]
• classAllSelIds :: Class -> [Id]
• classSCSelId :: Class -> Int -> Id
• classMinimalDef :: Class -> ClassMinimalDef

Documentation