Moduleghc-9.14.1GHC2021

GHC.Tc.TyCl.Utils

Analysis functions over data types. Specifically, detecting recursive types.

This stuff is only used for source-code decls; it's recorded in interface files for imported data types.

Contents

Implicits
Record selectors

Synopsis

type RolesInfo
value inferRoles
value checkSynCycles
value checkClassCycles
value addTyConsToGblEnv
value mkDefaultMethodType
value tcRecSelBinds
value mkRecSelBinds
value mkOneRecordSelector

Packageghc-9.14.1
Exports9
LanguageGHC2021
LicenceBSD-3-Clause
SourceUtils.hs

typetype RolesInfo = Name -> [Role]

valueinferRoles :: HscSource -> RoleAnnotEnv -> [TyCon] -> Name -> [Role]

valuecheckSynCycles :: Unit -> [TyCon] -> [LTyClDecl GhcRn] -> TcM ()

Source#

Checks if any of the passed in TyCons have cycles. Takes the Unit of the home package (as we can avoid checking those TyCons: cycles never go through foreign packages) and the corresponding LTyClDecl Name for each TyCon, so we can give better error messages.

valuecheckClassCycles :: Class -> Maybe SuperclassCycle

Implicits

valueaddTyConsToGblEnv :: [TyCon] -> TcM (TcGblEnv, ThBindEnv)

valuemkDefaultMethodType :: Class -> Id -> DefMethSpec Type -> Type

Record selectors

valuetcRecSelBinds :: [(Id, LHsBind GhcRn)] -> TcM TcGblEnv

valuemkRecSelBinds :: [TyCon] -> [(Id, LHsBind GhcRn)]

valuemkOneRecordSelector