Moduleghc-10.0.0.20260917GHC2024

GHC.Core.Class

datadata Class

Instances5Eq, Data, NamedThing, Outputable, Uniquable

typetype ClassOpItem = (Id, DefMethInfo)

datadata ClassATItem

ATI TyCon (Maybe (Type, TyFamEqnValidityInfo))
Default associated type (if any) from this template.
As per Note [Associated type defaults], the Type has been renamed to use the class tyvars, while the TyFamEqnValidityInfo uses the original user-written type variables.

datadata TyFamEqnValidityInfo

Information about a type family equation, used for validity checking of closed type family equations and associated type family default equations.

This type exists to delay validity-checking after typechecking type declaration groups, to avoid cyclic evaluation inside the typechecking knot.

See Note [Type-checking default assoc decls] in GHC.Tc.TyCl.

NoVI
Used for equations which don't need any validity checking, for example equations imported from another module.
VI
Information necessary for validity checking of a type family equation.
- vi_loc :: SrcSpan
- vi_qtvs :: [TcTyVar]
  LHS quantified type variables
- vi_non_user_tvs :: TyVarSet
  non-user-written type variables (for error message reporting)
  Example: with -XPolyKinds, typechecking type instance forall a. F = () introduces the kind variable k for the kind of a. See #23734.
- vi_pats :: [Type]
  LHS patterns
- vi_rhs :: Type
  RHS of the equation
  NB: for associated type family default declarations, this is the RHS *before* applying the substitution from Note [Type-checking default assoc decls] in GHC.Tc.TyCl.

typetype ClassMinimalDef = BooleanFormula GhcRn

typetype DefMethInfo = Maybe (Name, DefMethSpec Type)

valuepprDefMethInfo :: DefMethInfo -> SDoc

typetype FunDep a = ([a], [a])

valuepprFundeps :: Outputable a => [FunDep a] -> SDoc

valuepprFunDep :: Outputable a => FunDep a -> SDoc

valuemkClass

valuemkAbstractClass :: Name -> [TyVar] -> [FunDep TyVar] -> TyCon -> Class

valueclassTyVars :: Class -> [TyVar]

valueclassArity :: Class -> Arity

valueclassKey :: Class -> Unique

valueclassName :: Class -> Name

valueclassATs :: Class -> [TyCon]

valueclassATItems :: Class -> [ClassATItem]

valueclassTyCon :: Class -> TyCon

valueclassMethods :: Class -> [Id]

valueclassOpItems :: Class -> [ClassOpItem]

valueclassBigSig :: Class -> ([TyVar], [PredType], [Id], [ClassOpItem])

valueclassExtraBigSig

valueclassTvsFds :: Class -> ([TyVar], [FunDep TyVar])

valueclassSCTheta :: Class -> [PredType]

valueclassHasSCs :: Class -> Bool

valueclassAllSelIds :: Class -> [Id]

valueclassSCSelId :: Class -> Int -> Id

valueclassSCSelIds :: Class -> [Id]

valueclassMinimalDef :: Class -> ClassMinimalDef

valueclassHasFds :: Class -> Bool

valueisAbstractClass :: Class -> Bool