Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcTyDecls
Documentation
calcRecFlags :: ModDetails -> Bool -> RoleAnnots -> [TyThing] -> RecTyInfo
data RecTyInfo
Constructors
RTI | |
Fields
|
calcClassCycles :: Class -> [[TyCon]]
type RoleAnnots = NameEnv (LRoleAnnotDecl Name)
lookupRoleAnnots :: RoleAnnots -> Name -> Maybe (LRoleAnnotDecl Name)