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