Add frozenset support

lang/en/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/en/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

lang/es-es/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/es-es/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

lang/fr/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/fr/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

lang/ja/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/ja/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

lang/ko/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/ko/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

lang/nl/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/nl/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

lang/zh-cn/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/zh-cn/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

lang/zh-tw/typeshed/stdlib/abc.pyi

@@ -6,7 +6,7 @@ _FuncT = TypeVar("_FuncT", bound=Callable[..., Any])
 
 # These definitions have special processing in mypy
 class ABCMeta(type):
-    __abstractmethods__: set[str]
+    __abstractmethods__: frozenset[str]
     def __init__(
         self, name: str, bases: Tuple[type, ...], namespace: dict[str, Any]
     ) -> None: ...

lang/zh-tw/typeshed/stdlib/builtins.pyi

@@ -634,6 +634,34 @@ class function:
     __qualname__: str
     __annotations__: dict[str, Any]
 
+class frozenset(AbstractSet[_T_co], Generic[_T_co]):
+    @overload
+    def __new__(cls: type[Self]) -> Self: ...
+    @overload
+    def __new__(cls: type[Self], __iterable: Iterable[_T_co]) -> Self: ...
+    def copy(self) -> FrozenSet[_T_co]: ...
+    def difference(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def intersection(self, *s: Iterable[object]) -> FrozenSet[_T_co]: ...
+    def isdisjoint(self, s: Iterable[_T_co]) -> bool: ...
+    def issubset(self, s: Iterable[object]) -> bool: ...
+    def issuperset(self, s: Iterable[object]) -> bool: ...
+    def symmetric_difference(self, s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def union(self, *s: Iterable[_T_co]) -> FrozenSet[_T_co]: ...
+    def __len__(self) -> int: ...
+    def __contains__(self, o: object) -> bool: ...
+    def __iter__(self) -> Iterator[_T_co]: ...
+    def __str__(self) -> str: ...
+    def __and__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __or__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __sub__(self, s: AbstractSet[_T_co]) -> FrozenSet[_T_co]: ...
+    def __xor__(self, s: AbstractSet[_S]) -> FrozenSet[_T_co | _S]: ...
+    def __le__(self, s: AbstractSet[object]) -> bool: ...
+    def __lt__(self, s: AbstractSet[object]) -> bool: ...
+    def __ge__(self, s: AbstractSet[object]) -> bool: ...
+    def __gt__(self, s: AbstractSet[object]) -> bool: ...
+    if sys.version_info >= (3, 9):
+        def __class_getitem__(cls, item: Any) -> GenericAlias: ...
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...