jaclang 0.7.34__py3-none-any.whl → 0.8.1__py3-none-any.whl

jaclang/vendor/mypy/typeshed/stdlib/io.pyi

@@ -1,238 +0,0 @@
-import abc
-import builtins
-import codecs
-import sys
-from _typeshed import FileDescriptorOrPath, ReadableBuffer, WriteableBuffer
-from collections.abc import Callable, Iterable, Iterator
-from os import _Opener
-from types import TracebackType
-from typing import IO, Any, BinaryIO, Literal, Protocol, TextIO, TypeVar, overload, type_check_only
-from typing_extensions import Self
-
-__all__ = [
-    "BlockingIOError",
-    "open",
-    "open_code",
-    "IOBase",
-    "RawIOBase",
-    "FileIO",
-    "BytesIO",
-    "StringIO",
-    "BufferedIOBase",
-    "BufferedReader",
-    "BufferedWriter",
-    "BufferedRWPair",
-    "BufferedRandom",
-    "TextIOBase",
-    "TextIOWrapper",
-    "UnsupportedOperation",
-    "SEEK_SET",
-    "SEEK_CUR",
-    "SEEK_END",
-]
-
-if sys.version_info >= (3, 11):
-    __all__ += ["DEFAULT_BUFFER_SIZE", "IncrementalNewlineDecoder", "text_encoding"]
-
-_T = TypeVar("_T")
-
-DEFAULT_BUFFER_SIZE: Literal[8192]
-
-SEEK_SET: Literal[0]
-SEEK_CUR: Literal[1]
-SEEK_END: Literal[2]
-
-open = builtins.open
-
-def open_code(path: str) -> IO[bytes]: ...
-
-BlockingIOError = builtins.BlockingIOError
-
-class UnsupportedOperation(OSError, ValueError): ...
-
-class IOBase(metaclass=abc.ABCMeta):
-    def __iter__(self) -> Iterator[bytes]: ...
-    def __next__(self) -> bytes: ...
-    def __enter__(self) -> Self: ...
-    def __exit__(
-        self, exc_type: type[BaseException] | None, exc_val: BaseException | None, exc_tb: TracebackType | None
-    ) -> None: ...
-    def close(self) -> None: ...
-    def fileno(self) -> int: ...
-    def flush(self) -> None: ...
-    def isatty(self) -> bool: ...
-    def readable(self) -> bool: ...
-    read: Callable[..., Any]
-    def readlines(self, hint: int = -1, /) -> list[bytes]: ...
-    def seek(self, offset: int, whence: int = ..., /) -> int: ...
-    def seekable(self) -> bool: ...
-    def tell(self) -> int: ...
-    def truncate(self, size: int | None = ..., /) -> int: ...
-    def writable(self) -> bool: ...
-    write: Callable[..., Any]
-    def writelines(self, lines: Iterable[ReadableBuffer], /) -> None: ...
-    def readline(self, size: int | None = -1, /) -> bytes: ...
-    def __del__(self) -> None: ...
-    @property
-    def closed(self) -> bool: ...
-    def _checkClosed(self, msg: str | None = ...) -> None: ...  # undocumented
-
-class RawIOBase(IOBase):
-    def readall(self) -> bytes: ...
-    def readinto(self, buffer: WriteableBuffer, /) -> int | None: ...
-    def write(self, b: ReadableBuffer, /) -> int | None: ...
-    def read(self, size: int = -1, /) -> bytes | None: ...
-
-class BufferedIOBase(IOBase):
-    raw: RawIOBase  # This is not part of the BufferedIOBase API and may not exist on some implementations.
-    def detach(self) -> RawIOBase: ...
-    def readinto(self, buffer: WriteableBuffer, /) -> int: ...
-    def write(self, buffer: ReadableBuffer, /) -> int: ...
-    def readinto1(self, buffer: WriteableBuffer, /) -> int: ...
-    def read(self, size: int | None = ..., /) -> bytes: ...
-    def read1(self, size: int = ..., /) -> bytes: ...
-
-class FileIO(RawIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of writelines in the base classes
-    mode: str
-    # The type of "name" equals the argument passed in to the constructor,
-    # but that can make FileIO incompatible with other I/O types that assume
-    # "name" is a str. In the future, making FileIO generic might help.
-    name: Any
-    def __init__(
-        self, file: FileDescriptorOrPath, mode: str = ..., closefd: bool = ..., opener: _Opener | None = ...
-    ) -> None: ...
-    @property
-    def closefd(self) -> bool: ...
-    def write(self, b: ReadableBuffer, /) -> int: ...
-    def read(self, size: int = -1, /) -> bytes: ...
-    def __enter__(self) -> Self: ...
-
-class BytesIO(BufferedIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of methods in the base classes
-    def __init__(self, initial_bytes: ReadableBuffer = ...) -> None: ...
-    # BytesIO does not contain a "name" field. This workaround is necessary
-    # to allow BytesIO sub-classes to add this field, as it is defined
-    # as a read-only property on IO[].
-    name: Any
-    def __enter__(self) -> Self: ...
-    def getvalue(self) -> bytes: ...
-    def getbuffer(self) -> memoryview: ...
-    def read1(self, size: int | None = -1, /) -> bytes: ...
-
-class BufferedReader(BufferedIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of methods in the base classes
-    def __enter__(self) -> Self: ...
-    def __init__(self, raw: RawIOBase, buffer_size: int = ...) -> None: ...
-    def peek(self, size: int = 0, /) -> bytes: ...
-
-class BufferedWriter(BufferedIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of writelines in the base classes
-    def __enter__(self) -> Self: ...
-    def __init__(self, raw: RawIOBase, buffer_size: int = ...) -> None: ...
-    def write(self, buffer: ReadableBuffer, /) -> int: ...
-
-class BufferedRandom(BufferedReader, BufferedWriter):  # type: ignore[misc]  # incompatible definitions of methods in the base classes
-    def __enter__(self) -> Self: ...
-    def seek(self, target: int, whence: int = 0, /) -> int: ...  # stubtest needs this
-
-class BufferedRWPair(BufferedIOBase):
-    def __init__(self, reader: RawIOBase, writer: RawIOBase, buffer_size: int = ...) -> None: ...
-    def peek(self, size: int = ..., /) -> bytes: ...
-
-class TextIOBase(IOBase):
-    encoding: str
-    errors: str | None
-    newlines: str | tuple[str, ...] | None
-    def __iter__(self) -> Iterator[str]: ...  # type: ignore[override]
-    def __next__(self) -> str: ...  # type: ignore[override]
-    def detach(self) -> BinaryIO: ...
-    def write(self, s: str, /) -> int: ...
-    def writelines(self, lines: Iterable[str], /) -> None: ...  # type: ignore[override]
-    def readline(self, size: int = ..., /) -> str: ...  # type: ignore[override]
-    def readlines(self, hint: int = -1, /) -> list[str]: ...  # type: ignore[override]
-    def read(self, size: int | None = ..., /) -> str: ...
-
-@type_check_only
-class _WrappedBuffer(Protocol):
-    # "name" is wrapped by TextIOWrapper. Its type is inconsistent between
-    # the various I/O types, see the comments on TextIOWrapper.name and
-    # TextIO.name.
-    @property
-    def name(self) -> Any: ...
-    @property
-    def closed(self) -> bool: ...
-    def read(self, size: int = ..., /) -> ReadableBuffer: ...
-    # Optional: def read1(self, size: int, /) -> ReadableBuffer: ...
-    def write(self, b: bytes, /) -> object: ...
-    def flush(self) -> object: ...
-    def close(self) -> object: ...
-    def seekable(self) -> bool: ...
-    def readable(self) -> bool: ...
-    def writable(self) -> bool: ...
-    def truncate(self, size: int, /) -> int: ...
-    def fileno(self) -> int: ...
-    def isatty(self) -> int: ...
-    # Optional: Only needs to be present if seekable() returns True.
-    # def seek(self, offset: Literal[0], whence: Literal[2]) -> int: ...
-    # def tell(self) -> int: ...
-
-# TODO: Should be generic over the buffer type, but needs to wait for
-# TypeVar defaults.
-class TextIOWrapper(TextIOBase, TextIO):  # type: ignore[misc]  # incompatible definitions of write in the base classes
-    def __init__(
-        self,
-        buffer: _WrappedBuffer,
-        encoding: str | None = None,
-        errors: str | None = None,
-        newline: str | None = None,
-        line_buffering: bool = False,
-        write_through: bool = False,
-    ) -> None: ...
-    # Equals the "buffer" argument passed in to the constructor.
-    @property
-    def buffer(self) -> BinaryIO: ...
-    @property
-    def closed(self) -> bool: ...
-    @property
-    def line_buffering(self) -> bool: ...
-    @property
-    def write_through(self) -> bool: ...
-    def reconfigure(
-        self,
-        *,
-        encoding: str | None = None,
-        errors: str | None = None,
-        newline: str | None = None,
-        line_buffering: bool | None = None,
-        write_through: bool | None = None,
-    ) -> None: ...
-    # These are inherited from TextIOBase, but must exist in the stub to satisfy mypy.
-    def __enter__(self) -> Self: ...
-    def __iter__(self) -> Iterator[str]: ...  # type: ignore[override]
-    def __next__(self) -> str: ...  # type: ignore[override]
-    def writelines(self, lines: Iterable[str], /) -> None: ...  # type: ignore[override]
-    def readline(self, size: int = -1, /) -> str: ...  # type: ignore[override]
-    def readlines(self, hint: int = -1, /) -> list[str]: ...  # type: ignore[override]
-    # Equals the "buffer" argument passed in to the constructor.
-    def detach(self) -> BinaryIO: ...
-    # TextIOWrapper's version of seek only supports a limited subset of
-    # operations.
-    def seek(self, cookie: int, whence: int = 0, /) -> int: ...
-
-class StringIO(TextIOWrapper):
-    def __init__(self, initial_value: str | None = ..., newline: str | None = ...) -> None: ...
-    # StringIO does not contain a "name" field. This workaround is necessary
-    # to allow StringIO sub-classes to add this field, as it is defined
-    # as a read-only property on IO[].
-    name: Any
-    def getvalue(self) -> str: ...
-
-class IncrementalNewlineDecoder(codecs.IncrementalDecoder):
-    def __init__(self, decoder: codecs.IncrementalDecoder | None, translate: bool, errors: str = ...) -> None: ...
-    def decode(self, input: ReadableBuffer | str, final: bool = False) -> str: ...
-    @property
-    def newlines(self) -> str | tuple[str, ...] | None: ...
-    def setstate(self, state: tuple[bytes, int], /) -> None: ...
-
-if sys.version_info >= (3, 10):
-    @overload
-    def text_encoding(encoding: None, stacklevel: int = 2, /) -> Literal["locale", "utf-8"]: ...
-    @overload
-    def text_encoding(encoding: _T, stacklevel: int = 2, /) -> _T: ...

jaclang/vendor/mypy/typeshed/stdlib/ipaddress.pyi

@@ -1,208 +0,0 @@
-import sys
-from collections.abc import Iterable, Iterator
-from typing import Any, Generic, Literal, SupportsInt, TypeVar, overload
-from typing_extensions import Self, TypeAlias
-
-# Undocumented length constants
-IPV4LENGTH: Literal[32]
-IPV6LENGTH: Literal[128]
-
-_A = TypeVar("_A", IPv4Address, IPv6Address)
-_N = TypeVar("_N", IPv4Network, IPv6Network)
-
-_RawIPAddress: TypeAlias = int | str | bytes | IPv4Address | IPv6Address
-_RawNetworkPart: TypeAlias = IPv4Network | IPv6Network | IPv4Interface | IPv6Interface
-
-def ip_address(address: _RawIPAddress) -> IPv4Address | IPv6Address: ...
-def ip_network(
-    address: _RawIPAddress | _RawNetworkPart | tuple[_RawIPAddress] | tuple[_RawIPAddress, int], strict: bool = True
-) -> IPv4Network | IPv6Network: ...
-def ip_interface(
-    address: _RawIPAddress | _RawNetworkPart | tuple[_RawIPAddress] | tuple[_RawIPAddress, int]
-) -> IPv4Interface | IPv6Interface: ...
-
-class _IPAddressBase:
-    @property
-    def compressed(self) -> str: ...
-    @property
-    def exploded(self) -> str: ...
-    @property
-    def reverse_pointer(self) -> str: ...
-    @property
-    def version(self) -> int: ...
-
-class _BaseAddress(_IPAddressBase, SupportsInt):
-    def __init__(self, address: object) -> None: ...
-    def __add__(self, other: int) -> Self: ...
-    def __hash__(self) -> int: ...
-    def __int__(self) -> int: ...
-    def __sub__(self, other: int) -> Self: ...
-    if sys.version_info >= (3, 9):
-        def __format__(self, fmt: str) -> str: ...
-
-    def __eq__(self, other: object) -> bool: ...
-    def __lt__(self, other: Self) -> bool: ...
-    if sys.version_info >= (3, 11):
-        def __ge__(self, other: Self) -> bool: ...
-        def __gt__(self, other: Self) -> bool: ...
-        def __le__(self, other: Self) -> bool: ...
-    else:
-        def __ge__(self, other: Self, NotImplemented: Any = ...) -> bool: ...
-        def __gt__(self, other: Self, NotImplemented: Any = ...) -> bool: ...
-        def __le__(self, other: Self, NotImplemented: Any = ...) -> bool: ...
-
-    @property
-    def is_global(self) -> bool: ...
-    @property
-    def is_link_local(self) -> bool: ...
-    @property
-    def is_loopback(self) -> bool: ...
-    @property
-    def is_multicast(self) -> bool: ...
-    @property
-    def is_private(self) -> bool: ...
-    @property
-    def is_reserved(self) -> bool: ...
-    @property
-    def is_unspecified(self) -> bool: ...
-    @property
-    def max_prefixlen(self) -> int: ...
-    @property
-    def packed(self) -> bytes: ...
-
-class _BaseNetwork(_IPAddressBase, Generic[_A]):
-    network_address: _A
-    netmask: _A
-    def __init__(self, address: object, strict: bool = ...) -> None: ...
-    def __contains__(self, other: Any) -> bool: ...
-    def __getitem__(self, n: int) -> _A: ...
-    def __iter__(self) -> Iterator[_A]: ...
-    def __eq__(self, other: object) -> bool: ...
-    def __hash__(self) -> int: ...
-    def __lt__(self, other: Self) -> bool: ...
-    if sys.version_info >= (3, 11):
-        def __ge__(self, other: Self) -> bool: ...
-        def __gt__(self, other: Self) -> bool: ...
-        def __le__(self, other: Self) -> bool: ...
-    else:
-        def __ge__(self, other: Self, NotImplemented: Any = ...) -> bool: ...
-        def __gt__(self, other: Self, NotImplemented: Any = ...) -> bool: ...
-        def __le__(self, other: Self, NotImplemented: Any = ...) -> bool: ...
-
-    def address_exclude(self, other: Self) -> Iterator[Self]: ...
-    @property
-    def broadcast_address(self) -> _A: ...
-    def compare_networks(self, other: Self) -> int: ...
-    def hosts(self) -> Iterator[_A]: ...
-    @property
-    def is_global(self) -> bool: ...
-    @property
-    def is_link_local(self) -> bool: ...
-    @property
-    def is_loopback(self) -> bool: ...
-    @property
-    def is_multicast(self) -> bool: ...
-    @property
-    def is_private(self) -> bool: ...
-    @property
-    def is_reserved(self) -> bool: ...
-    @property
-    def is_unspecified(self) -> bool: ...
-    @property
-    def max_prefixlen(self) -> int: ...
-    @property
-    def num_addresses(self) -> int: ...
-    def overlaps(self, other: _BaseNetwork[IPv4Address] | _BaseNetwork[IPv6Address]) -> bool: ...
-    @property
-    def prefixlen(self) -> int: ...
-    def subnet_of(self, other: Self) -> bool: ...
-    def supernet_of(self, other: Self) -> bool: ...
-    def subnets(self, prefixlen_diff: int = 1, new_prefix: int | None = None) -> Iterator[Self]: ...
-    def supernet(self, prefixlen_diff: int = 1, new_prefix: int | None = None) -> Self: ...
-    @property
-    def with_hostmask(self) -> str: ...
-    @property
-    def with_netmask(self) -> str: ...
-    @property
-    def with_prefixlen(self) -> str: ...
-    @property
-    def hostmask(self) -> _A: ...
-
-class _BaseInterface(_BaseAddress, Generic[_A, _N]):
-    hostmask: _A
-    netmask: _A
-    network: _N
-    @property
-    def ip(self) -> _A: ...
-    @property
-    def with_hostmask(self) -> str: ...
-    @property
-    def with_netmask(self) -> str: ...
-    @property
-    def with_prefixlen(self) -> str: ...
-
-class _BaseV4:
-    @property
-    def version(self) -> Literal[4]: ...
-    @property
-    def max_prefixlen(self) -> Literal[32]: ...
-
-class IPv4Address(_BaseV4, _BaseAddress): ...
-class IPv4Network(_BaseV4, _BaseNetwork[IPv4Address]): ...
-
-class IPv4Interface(IPv4Address, _BaseInterface[IPv4Address, IPv4Network]):
-    def __eq__(self, other: object) -> bool: ...
-    def __hash__(self) -> int: ...
-
-class _BaseV6:
-    @property
-    def version(self) -> Literal[6]: ...
-    @property
-    def max_prefixlen(self) -> Literal[128]: ...
-
-class IPv6Address(_BaseV6, _BaseAddress):
-    @property
-    def ipv4_mapped(self) -> IPv4Address | None: ...
-    @property
-    def is_site_local(self) -> bool: ...
-    @property
-    def sixtofour(self) -> IPv4Address | None: ...
-    @property
-    def teredo(self) -> tuple[IPv4Address, IPv4Address] | None: ...
-    if sys.version_info >= (3, 9):
-        @property
-        def scope_id(self) -> str | None: ...
-
-    def __hash__(self) -> int: ...
-    def __eq__(self, other: object) -> bool: ...
-
-class IPv6Network(_BaseV6, _BaseNetwork[IPv6Address]):
-    @property
-    def is_site_local(self) -> bool: ...
-
-class IPv6Interface(IPv6Address, _BaseInterface[IPv6Address, IPv6Network]):
-    def __eq__(self, other: object) -> bool: ...
-    def __hash__(self) -> int: ...
-
-def v4_int_to_packed(address: int) -> bytes: ...
-def v6_int_to_packed(address: int) -> bytes: ...
-
-# Third overload is technically incorrect, but convenient when first and last are return values of ip_address()
-@overload
-def summarize_address_range(first: IPv4Address, last: IPv4Address) -> Iterator[IPv4Network]: ...
-@overload
-def summarize_address_range(first: IPv6Address, last: IPv6Address) -> Iterator[IPv6Network]: ...
-@overload
-def summarize_address_range(
-    first: IPv4Address | IPv6Address, last: IPv4Address | IPv6Address
-) -> Iterator[IPv4Network] | Iterator[IPv6Network]: ...
-def collapse_addresses(addresses: Iterable[_N]) -> Iterator[_N]: ...
-@overload
-def get_mixed_type_key(obj: _A) -> tuple[int, _A]: ...
-@overload
-def get_mixed_type_key(obj: IPv4Network) -> tuple[int, IPv4Address, IPv4Address]: ...
-@overload
-def get_mixed_type_key(obj: IPv6Network) -> tuple[int, IPv6Address, IPv6Address]: ...
-
-class AddressValueError(ValueError): ...
-class NetmaskValueError(ValueError): ...