Team Ai
Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face
1likes14kdownloads
range.pyi58 linesDownload Raw Back to datastructures
1from collections.abc import Callable2from datetime import datetime3 4class IfRange:5    etag: str | None6    date: datetime | None7    def __init__(8        self, etag: str | None = None, date: datetime | None = None9    ) -> None: ...10    def to_header(self) -> str: ...11 12class Range:13    units: str14    ranges: list[tuple[int, int | None]]15    def __init__(self, units: str, ranges: list[tuple[int, int | None]]) -> None: ...16    def range_for_length(self, length: int | None) -> tuple[int, int] | None: ...17    def make_content_range(self, length: int | None) -> ContentRange | None: ...18    def to_header(self) -> str: ...19    def to_content_range_header(self, length: int | None) -> str | None: ...20 21def _callback_property(name: str) -> property: ...22 23class ContentRange:24    on_update: Callable[[ContentRange], None] | None25    def __init__(26        self,27        units: str | None,28        start: int | None,29        stop: int | None,30        length: int | None = None,31        on_update: Callable[[ContentRange], None] | None = None,32    ) -> None: ...33    @property34    def units(self) -> str | None: ...35    @units.setter36    def units(self, value: str | None) -> None: ...37    @property38    def start(self) -> int | None: ...39    @start.setter40    def start(self, value: int | None) -> None: ...41    @property42    def stop(self) -> int | None: ...43    @stop.setter44    def stop(self, value: int | None) -> None: ...45    @property46    def length(self) -> int | None: ...47    @length.setter48    def length(self, value: int | None) -> None: ...49    def set(50        self,51        start: int | None,52        stop: int | None,53        length: int | None = None,54        units: str | None = "bytes",55    ) -> None: ...56    def unset(self) -> None: ...57    def to_header(self) -> str: ...58 
codekingpro/portable-devtools · Team Ai