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.

1 type
8 values

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 ()

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

2 declarations

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

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

Record selectors

3 declarations

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

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

valuemkOneRecordSelector