ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

TcTyDecls

Documentation

calcRecFlags :: ModDetails -> Bool -> RoleAnnots -> [TyThing] -> RecTyInfoSource

data RecTyInfoSource

Constructors

RTI 

Fields

rti_promotable :: Bool
 
rti_roles :: Name -> [Role]
 
rti_is_rec :: Name -> RecFlag
 

calcSynCycles :: [LTyClDecl Name] -> [SCC (LTyClDecl Name)]Source

calcClassCycles :: Class -> [[TyCon]]Source

type RoleAnnots = NameEnv (LRoleAnnotDecl Name)Source

extractRoleAnnots :: TyClGroup Name -> RoleAnnotsSource

emptyRoleAnnots :: RoleAnnotsSource

lookupRoleAnnots :: RoleAnnots -> Name -> Maybe (LRoleAnnotDecl Name)Source