Datasetpublic

codekingpro/portable-devtools

sourceHugging Faceupdated 5mo agoView on Hugging Face

1likes14kdownloads

rootpythonuser_packagesPython313site-packagesnumpytypingtestsdatarevealnested_sequence.pyi

nested_sequence.pyi26 linesDownload Raw Back to reveal

1from collections.abc import Sequence
2from typing import Any, assert_type
3
4from numpy._typing import _NestedSequence
5
6a: Sequence[int]
7b: Sequence[Sequence[int]]
8c: Sequence[Sequence[Sequence[int]]]
9d: Sequence[Sequence[Sequence[Sequence[int]]]]
10e: Sequence[bool]
11f: tuple[int, ...]
12g: list[int]
13h: Sequence[Any]
14
15def func(a: _NestedSequence[int]) -> None: ...
16
17assert_type(func(a), None)
18assert_type(func(b), None)
19assert_type(func(c), None)
20assert_type(func(d), None)
21assert_type(func(e), None)
22assert_type(func(f), None)
23assert_type(func(g), None)
24assert_type(func(h), None)
25assert_type(func(range(15)), None)
26