Skip to content

Commit

Permalink
Le type annotacions
Browse files Browse the repository at this point in the history
  • Loading branch information
Julian committed Dec 16, 2023
1 parent e34cdde commit 1759158
Show file tree
Hide file tree
Showing 3 changed files with 13 additions and 2 deletions.
2 changes: 1 addition & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "rpds-py"
version = "0.14.0"
version = "0.14.1"
edition = "2021"

[lib]
Expand Down
11 changes: 11 additions & 0 deletions rpds.pyi
Original file line number Diff line number Diff line change
Expand Up @@ -50,3 +50,14 @@ class List(Iterable[T]):
def __len__(self) -> int: ...
def push_front(self, value: T) -> "List[T]": ...
def drop_first(self) -> "List[T]": ...

class Queue(Iterable[T]):
def __init__(self, value: Iterable[T] = (), *more: T): ...
def __iter__(self) -> Iterator[T]: ...
def __len__(self) -> int: ...
def enqueue(self, T) -> "Queue[T]": ...
def dequeue(self, T) -> "Queue[T]": ...
@property
def is_empty(self) -> T: ...
@property
def peek(self) -> T: ...

0 comments on commit 1759158

Please sign in to comment.