TcTyDecls

Contents

• Roles
• Implicits
• Record selectors

Synopsis

• calcRecFlags :: SelfBootInfo -> Bool -> RoleAnnots -> [TyCon] -> RecTyInfo
• data RecTyInfo = RTI {
  • rti_roles :: Name -> [Role]
  • rti_is_rec :: Name -> RecFlag
  }
• calcSynCycles :: [LTyClDecl Name] -> [SCC (LTyClDecl Name)]
• checkClassCycles :: Class -> Maybe SDoc
• type RoleAnnots = NameEnv (LRoleAnnotDecl Name)
• extractRoleAnnots :: TyClGroup Name -> RoleAnnots
• emptyRoleAnnots :: RoleAnnots
• lookupRoleAnnots :: RoleAnnots -> Name -> Maybe (LRoleAnnotDecl Name)
• tcAddImplicits :: [TyCon] -> TcM TcGblEnv
• mkRecSelBinds :: [TyCon] -> HsValBinds Name
• mkOneRecordSelector :: [ConLike] -> RecSelParent -> FieldLabel -> (LSig Name, (RecFlag, LHsBinds Name))

Documentation

Roles

Implicits

Record selectors