Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.TyCl.Build

Synopsis

value buildDataCon
value buildPatSyn
type TcMethInfo
type MethInfo
value buildClass
value buildAbstractClass
value mkNewTyConRhs
value newImplicitBinder
value newTyConRepName

Packageghc-10.0.0.20260917
Exports9
LanguageGHC2024
LicenceBSD-3-Clause
SourceBuild.hs

valuebuildDataCon

:: FamInstEnvs
-> DataConBangOpts
-> Name
-> Bool
-> TyConRepName
-> [HsSrcBang]
-> [FieldLabel]
-> [TyVar]
-> [TyCoVar]
-> [TyVarBinder]
-> [EqSpec]
-> KnotTied ThetaType
-> [KnotTied (Scaled Type)]
-> KnotTied Type
-> KnotTied TyCon
-> NameEnv ConTag
-> TcRnIf m n DataCon

valuebuildPatSyn

:: Name
-> Bool
-> PatSynMatcher
-> PatSynBuilder
-> ([InvisTVBinder], ThetaType)
Univ and req
-> ([InvisTVBinder], ThetaType)
Ex and prov
-> [FRRType]
Argument types
-> Type
Result type
-> [FieldLabel]
Field labels for a record pattern synonym
-> PatSyn

typetype TcMethInfo = MethInfo

typetype MethInfo = (Name, Type, Maybe (DefMethSpec (SrcSpan, Type)))

valuebuildClass

:: Name
-> Kind
-> [TyConBinder]
-> [Role]
-> [FunDep TyVar]
-> KnotTied ThetaType
-> [ClassATItem]
-> [KnotTied MethInfo]
-> ClassMinimalDef
-> Bool
-> TcRnIf m n Class

valuebuildAbstractClass

:: Name
-> Kind
-> [TyConBinder]
-> [Role]
-> [FunDep TyVar]
-> TcRnIf m n Class

valuemkNewTyConRhs :: Name -> TyCon -> DataCon -> TcRnIf m n AlgTyConRhs

Source#

Monadic because it makes a Name for the coercion TyCon We pass the Name of the parent TyCon, as well as the TyCon itself, because the latter is part of a knot, whereas the former is not.

valuenewImplicitBinder :: Name -> (OccName -> OccName) -> TcRnIf m n Name

valuenewTyConRepName :: Name -> TcRnIf gbl lcl TyConRepName

Source#

Make the TyConRepName for this TyCon