1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
| import io
| from typing import Any
|
| import numpy as np
| import numpy.typing as npt
|
| AR_i8: npt.NDArray[np.int64]
| REC_AR_V: np.recarray[Any, np.dtype[np.record]]
| AR_LIST: list[npt.NDArray[np.int64]]
|
| format_parser: np.format_parser
| record: np.record
| file_obj: io.BufferedIOBase
|
| reveal_type(np.format_parser( # E: format_parser
| formats=[np.float64, np.int64, np.bool_],
| names=["f8", "i8", "?"],
| titles=None,
| aligned=True,
| ))
| reveal_type(format_parser.dtype) # E: dtype[void]
|
| reveal_type(record.field_a) # E: Any
| reveal_type(record.field_b) # E: Any
| reveal_type(record["field_a"]) # E: Any
| reveal_type(record["field_b"]) # E: Any
| reveal_type(record.pprint()) # E: str
| record.field_c = 5
|
| reveal_type(REC_AR_V.field(0)) # E: Any
| reveal_type(REC_AR_V.field("field_a")) # E: Any
| reveal_type(REC_AR_V.field(0, AR_i8)) # E: None
| reveal_type(REC_AR_V.field("field_a", AR_i8)) # E: None
| reveal_type(REC_AR_V["field_a"]) # E: Any
| reveal_type(REC_AR_V.field_a) # E: Any
| reveal_type(REC_AR_V.__array_finalize__(object())) # E: None
|
| reveal_type(np.recarray( # recarray[Any, dtype[record]]
| shape=(10, 5),
| formats=[np.float64, np.int64, np.bool_],
| order="K",
| byteorder="|",
| ))
| reveal_type(np.recarray( # recarray[Any, dtype[Any]]
| shape=(10, 5),
| dtype=[("f8", np.float64), ("i8", np.int64)],
| strides=(5, 5),
| ))
|
| reveal_type(np.rec.fromarrays( # recarray[Any, dtype[record]]
| AR_LIST,
| ))
| reveal_type(np.rec.fromarrays( # recarray[Any, dtype[Any]]
| AR_LIST,
| dtype=np.int64,
| ))
| reveal_type(np.rec.fromarrays( # recarray[Any, dtype[Any]]
| AR_LIST,
| formats=[np.int64, np.float64],
| names=["i8", "f8"]
| ))
|
| reveal_type(np.rec.fromrecords( # recarray[Any, dtype[record]]
| (1, 1.5),
| ))
| reveal_type(np.rec.fromrecords( # recarray[Any, dtype[record]]
| [(1, 1.5)],
| dtype=[("i8", np.int64), ("f8", np.float64)],
| ))
| reveal_type(np.rec.fromrecords( # recarray[Any, dtype[record]]
| REC_AR_V,
| formats=[np.int64, np.float64],
| names=["i8", "f8"]
| ))
|
| reveal_type(np.rec.fromstring( # recarray[Any, dtype[record]]
| b"(1, 1.5)",
| dtype=[("i8", np.int64), ("f8", np.float64)],
| ))
| reveal_type(np.rec.fromstring( # recarray[Any, dtype[record]]
| REC_AR_V,
| formats=[np.int64, np.float64],
| names=["i8", "f8"]
| ))
|
| reveal_type(np.rec.fromfile( # recarray[Any, dtype[Any]]
| "test_file.txt",
| dtype=[("i8", np.int64), ("f8", np.float64)],
| ))
| reveal_type(np.rec.fromfile( # recarray[Any, dtype[record]]
| file_obj,
| formats=[np.int64, np.float64],
| names=["i8", "f8"]
| ))
|
| reveal_type(np.rec.array( # recarray[Any, dtype[{int64}]]
| AR_i8,
| ))
| reveal_type(np.rec.array( # recarray[Any, dtype[Any]]
| [(1, 1.5)],
| dtype=[("i8", np.int64), ("f8", np.float64)],
| ))
| reveal_type(np.rec.array( # recarray[Any, dtype[record]]
| [(1, 1.5)],
| formats=[np.int64, np.float64],
| names=["i8", "f8"]
| ))
|
| reveal_type(np.rec.array( # recarray[Any, dtype[Any]]
| None,
| dtype=np.float64,
| shape=(10, 3),
| ))
| reveal_type(np.rec.array( # recarray[Any, dtype[Any]]
| None,
| formats=[np.int64, np.float64],
| names=["i8", "f8"],
| shape=(10, 3),
| ))
| reveal_type(np.rec.array( # recarray[Any, dtype[Any]]
| file_obj,
| dtype=np.float64,
| ))
| reveal_type(np.rec.array( # recarray[Any, dtype[Any]]
| file_obj,
| formats=[np.int64, np.float64],
| names=["i8", "f8"],
| ))
|
|
