From 4ddc2e4c5ab29c9d94ad2e03ee22252ae41c1a5f Mon Sep 17 00:00:00 2001 From: Julian Berman Date: Sat, 4 Mar 2023 16:06:11 +0200 Subject: [PATCH] Try to type __init__ --- Cargo.lock | 2 +- Cargo.toml | 2 +- rpds.pyi | 7 +++++++ 3 files changed, 9 insertions(+), 2 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index d1aef21..345be4b 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -187,7 +187,7 @@ dependencies = [ [[package]] name = "rpds-py" -version = "0.2.8" +version = "0.2.9" dependencies = [ "pyo3", "rpds", diff --git a/Cargo.toml b/Cargo.toml index 4ef4dba..23ada4d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "rpds-py" -version = "0.2.8" +version = "0.2.9" edition = "2021" [lib] diff --git a/rpds.pyi b/rpds.pyi index 88caaf2..2aa51d7 100644 --- a/rpds.pyi +++ b/rpds.pyi @@ -14,6 +14,11 @@ KT = TypeVar("KT") VT = TypeVar("VT") class HashTrieMap(Mapping[KT, VT]): + def __init__( + self, + value: Mapping[KT, VT] = {}, + **kwds: Mapping[KT, VT], + ): ... def __getitem__(self, key: KT) -> VT: ... def __iter__(self) -> Iterator[KT]: ... def __len__(self) -> int: ... @@ -26,6 +31,7 @@ class HashTrieMap(Mapping[KT, VT]): def update(self, *args: Mapping): ... class HashTrieSet(FrozenSet[T]): + def __init__(self, value: Iterable[T] = ()): ... def __iter__(self) -> Iterator[T]: ... def __len__(self) -> int: ... def discard(self, value: T) -> "HashTrieSet[T]": ... @@ -34,6 +40,7 @@ class HashTrieSet(FrozenSet[T]): def update(self, *args: Iterable[T]) -> "HashTrieSet[T]": ... class List(Iterable[T]): + def __init__(self, value: Iterable[T] = (), *more: T): ... def __iter__(self) -> Iterator[T]: ... def __len__(self) -> int: ... def push_front(self, value: T) -> "List[T]": ...