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