Searched refs:mkKindTyCon (Results 1 – 8 of 8) sorted by relevance
36 mkKindTyCon,1735 mkKindTyCon :: Name -> [TyConBinder]1738 mkKindTyCon name binders res_kind roles rep_nm function
37 mkKindTyCon,1786 mkKindTyCon :: Name -> [TyConBinder]1789 mkKindTyCon name binders res_kind roles rep_nm function
35 mkKindTyCon,1792 mkKindTyCon :: Name -> [TyConBinder]1795 mkKindTyCon name binders res_kind roles rep_nm function
501 tYPETyCon = mkKindTyCon tYPETyConName
535 tYPETyCon = mkKindTyCon tYPETyConName
548 tYPETyCon = mkKindTyCon tYPETyConName