| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TcTyDecls
Contents
- type RolesInfo = Name -> [Role]
- inferRoles :: HscSource -> RoleAnnotEnv -> [TyCon] -> Name -> [Role]
- checkSynCycles :: UnitId -> [TyCon] -> [LTyClDecl Name] -> TcM ()
- checkClassCycles :: Class -> Maybe SDoc
- tcAddImplicits :: [TyCon] -> TcM TcGblEnv
- mkDefaultMethodType :: Class -> Id -> DefMethSpec Type -> Type
- mkRecSelBinds :: [TyCon] -> HsValBinds Name
- mkOneRecordSelector :: [ConLike] -> RecSelParent -> FieldLabel -> (LSig Name, (RecFlag, LHsBinds Name))
Documentation
inferRoles :: HscSource -> RoleAnnotEnv -> [TyCon] -> Name -> [Role] Source #
Implicits
mkDefaultMethodType :: Class -> Id -> DefMethSpec Type -> Type Source #
Record selectors
mkRecSelBinds :: [TyCon] -> HsValBinds Name Source #
mkOneRecordSelector :: [ConLike] -> RecSelParent -> FieldLabel -> (LSig Name, (RecFlag, LHsBinds Name)) Source #