Home Explore Help
Sign In
SRI-DYZBC2
/
Vehicle-cpp
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: e6b2cb2e99
Branches Tags
Vehicle-cpp
/
hkpc
/
software
/
numpy
/
typing
/
tests
/
data
/
reveal
/
arithmetic.pyi

arithmetic.pyi 20 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526 
  1. from typing import Any
    2. 

  2. 

  3. import numpy as np
    4. 

  4. from numpy._typing import NDArray, _128Bit
    5. 

  5. 

  6. # Can't directly import `np.float128` as it is not available on all platforms
    7. 

  7. f16: np.floating[_128Bit]
    8. 

  8. 

  9. c16 = np.complex128()
    10. 

  10. f8 = np.float64()
    11. 

  11. i8 = np.int64()
    12. 

  12. u8 = np.uint64()
    13. 

  13. 

  14. c8 = np.complex64()
    15. 

  15. f4 = np.float32()
    16. 

  16. i4 = np.int32()
    17. 

  17. u4 = np.uint32()
    18. 

  18. 

  19. dt = np.datetime64(0, "D")
    20. 

  20. td = np.timedelta64(0, "D")
    21. 

  21. 

  22. b_ = np.bool_()
    23. 

  23. 

  24. b = bool()
    25. 

  25. c = complex()
    26. 

  26. f = float()
    27. 

  27. i = int()
    28. 

  28. 

  29. AR_b: np.ndarray[Any, np.dtype[np.bool_]]
    30. 

  30. AR_u: np.ndarray[Any, np.dtype[np.uint32]]
    31. 

  31. AR_i: np.ndarray[Any, np.dtype[np.int64]]
    32. 

  32. AR_f: np.ndarray[Any, np.dtype[np.float64]]
    33. 

  33. AR_c: np.ndarray[Any, np.dtype[np.complex128]]
    34. 

  34. AR_m: np.ndarray[Any, np.dtype[np.timedelta64]]
    35. 

  35. AR_M: np.ndarray[Any, np.dtype[np.datetime64]]
    36. 

  36. AR_O: np.ndarray[Any, np.dtype[np.object_]]
    37. 

  37. AR_number: NDArray[np.number[Any]]
    38. 

  38. 

  39. AR_LIKE_b: list[bool]
    40. 

  40. AR_LIKE_u: list[np.uint32]
    41. 

  41. AR_LIKE_i: list[int]
    42. 

  42. AR_LIKE_f: list[float]
    43. 

  43. AR_LIKE_c: list[complex]
    44. 

  44. AR_LIKE_m: list[np.timedelta64]
    45. 

  45. AR_LIKE_M: list[np.datetime64]
    46. 

  46. AR_LIKE_O: list[np.object_]
    47. 

  47. 

  48. # Array subtraction
    49. 

  49. 

  50. reveal_type(AR_number - AR_number)  # E: ndarray[Any, dtype[number[Any]]]
    51. 

  51. 

  52. reveal_type(AR_b - AR_LIKE_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    53. 

  53. reveal_type(AR_b - AR_LIKE_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    54. 

  54. reveal_type(AR_b - AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    55. 

  55. reveal_type(AR_b - AR_LIKE_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    56. 

  56. reveal_type(AR_b - AR_LIKE_m)  # E: ndarray[Any, dtype[timedelta64]]
    57. 

  57. reveal_type(AR_b - AR_LIKE_O)  # E: Any
    58. 

  58. 

  59. reveal_type(AR_LIKE_u - AR_b)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    60. 

  60. reveal_type(AR_LIKE_i - AR_b)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    61. 

  61. reveal_type(AR_LIKE_f - AR_b)  # E: ndarray[Any, dtype[floating[Any]]]
    62. 

  62. reveal_type(AR_LIKE_c - AR_b)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    63. 

  63. reveal_type(AR_LIKE_m - AR_b)  # E: ndarray[Any, dtype[timedelta64]]
    64. 

  64. reveal_type(AR_LIKE_M - AR_b)  # E: ndarray[Any, dtype[datetime64]]
    65. 

  65. reveal_type(AR_LIKE_O - AR_b)  # E: Any
    66. 

  66. 

  67. reveal_type(AR_u - AR_LIKE_b)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    68. 

  68. reveal_type(AR_u - AR_LIKE_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    69. 

  69. reveal_type(AR_u - AR_LIKE_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    70. 

  70. reveal_type(AR_u - AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    71. 

  71. reveal_type(AR_u - AR_LIKE_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    72. 

  72. reveal_type(AR_u - AR_LIKE_m)  # E: ndarray[Any, dtype[timedelta64]]
    73. 

  73. reveal_type(AR_u - AR_LIKE_O)  # E: Any
    74. 

  74. 

  75. reveal_type(AR_LIKE_b - AR_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    76. 

  76. reveal_type(AR_LIKE_u - AR_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    77. 

  77. reveal_type(AR_LIKE_i - AR_u)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    78. 

  78. reveal_type(AR_LIKE_f - AR_u)  # E: ndarray[Any, dtype[floating[Any]]]
    79. 

  79. reveal_type(AR_LIKE_c - AR_u)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    80. 

  80. reveal_type(AR_LIKE_m - AR_u)  # E: ndarray[Any, dtype[timedelta64]]
    81. 

  81. reveal_type(AR_LIKE_M - AR_u)  # E: ndarray[Any, dtype[datetime64]]
    82. 

  82. reveal_type(AR_LIKE_O - AR_u)  # E: Any
    83. 

  83. 

  84. reveal_type(AR_i - AR_LIKE_b)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    85. 

  85. reveal_type(AR_i - AR_LIKE_u)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    86. 

  86. reveal_type(AR_i - AR_LIKE_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    87. 

  87. reveal_type(AR_i - AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    88. 

  88. reveal_type(AR_i - AR_LIKE_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    89. 

  89. reveal_type(AR_i - AR_LIKE_m)  # E: ndarray[Any, dtype[timedelta64]]
    90. 

  90. reveal_type(AR_i - AR_LIKE_O)  # E: Any
    91. 

  91. 

  92. reveal_type(AR_LIKE_b - AR_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    93. 

  93. reveal_type(AR_LIKE_u - AR_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    94. 

  94. reveal_type(AR_LIKE_i - AR_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    95. 

  95. reveal_type(AR_LIKE_f - AR_i)  # E: ndarray[Any, dtype[floating[Any]]]
    96. 

  96. reveal_type(AR_LIKE_c - AR_i)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    97. 

  97. reveal_type(AR_LIKE_m - AR_i)  # E: ndarray[Any, dtype[timedelta64]]
    98. 

  98. reveal_type(AR_LIKE_M - AR_i)  # E: ndarray[Any, dtype[datetime64]]
    99. 

  99. reveal_type(AR_LIKE_O - AR_i)  # E: Any
    100. 

  100. 

  101. reveal_type(AR_f - AR_LIKE_b)  # E: ndarray[Any, dtype[floating[Any]]]
    102. 

  102. reveal_type(AR_f - AR_LIKE_u)  # E: ndarray[Any, dtype[floating[Any]]]
    103. 

  103. reveal_type(AR_f - AR_LIKE_i)  # E: ndarray[Any, dtype[floating[Any]]]
    104. 

  104. reveal_type(AR_f - AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    105. 

  105. reveal_type(AR_f - AR_LIKE_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    106. 

  106. reveal_type(AR_f - AR_LIKE_O)  # E: Any
    107. 

  107. 

  108. reveal_type(AR_LIKE_b - AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    109. 

  109. reveal_type(AR_LIKE_u - AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    110. 

  110. reveal_type(AR_LIKE_i - AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    111. 

  111. reveal_type(AR_LIKE_f - AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    112. 

  112. reveal_type(AR_LIKE_c - AR_f)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    113. 

  113. reveal_type(AR_LIKE_O - AR_f)  # E: Any
    114. 

  114. 

  115. reveal_type(AR_c - AR_LIKE_b)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    116. 

  116. reveal_type(AR_c - AR_LIKE_u)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    117. 

  117. reveal_type(AR_c - AR_LIKE_i)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    118. 

  118. reveal_type(AR_c - AR_LIKE_f)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    119. 

  119. reveal_type(AR_c - AR_LIKE_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    120. 

  120. reveal_type(AR_c - AR_LIKE_O)  # E: Any
    121. 

  121. 

  122. reveal_type(AR_LIKE_b - AR_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    123. 

  123. reveal_type(AR_LIKE_u - AR_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    124. 

  124. reveal_type(AR_LIKE_i - AR_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    125. 

  125. reveal_type(AR_LIKE_f - AR_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    126. 

  126. reveal_type(AR_LIKE_c - AR_c)  # E: ndarray[Any, dtype[complexfloating[Any, Any]]]
    127. 

  127. reveal_type(AR_LIKE_O - AR_c)  # E: Any
    128. 

  128. 

  129. reveal_type(AR_m - AR_LIKE_b)  # E: ndarray[Any, dtype[timedelta64]]
    130. 

  130. reveal_type(AR_m - AR_LIKE_u)  # E: ndarray[Any, dtype[timedelta64]]
    131. 

  131. reveal_type(AR_m - AR_LIKE_i)  # E: ndarray[Any, dtype[timedelta64]]
    132. 

  132. reveal_type(AR_m - AR_LIKE_m)  # E: ndarray[Any, dtype[timedelta64]]
    133. 

  133. reveal_type(AR_m - AR_LIKE_O)  # E: Any
    134. 

  134. 

  135. reveal_type(AR_LIKE_b - AR_m)  # E: ndarray[Any, dtype[timedelta64]]
    136. 

  136. reveal_type(AR_LIKE_u - AR_m)  # E: ndarray[Any, dtype[timedelta64]]
    137. 

  137. reveal_type(AR_LIKE_i - AR_m)  # E: ndarray[Any, dtype[timedelta64]]
    138. 

  138. reveal_type(AR_LIKE_m - AR_m)  # E: ndarray[Any, dtype[timedelta64]]
    139. 

  139. reveal_type(AR_LIKE_M - AR_m)  # E: ndarray[Any, dtype[datetime64]]
    140. 

  140. reveal_type(AR_LIKE_O - AR_m)  # E: Any
    141. 

  141. 

  142. reveal_type(AR_M - AR_LIKE_b)  # E: ndarray[Any, dtype[datetime64]]
    143. 

  143. reveal_type(AR_M - AR_LIKE_u)  # E: ndarray[Any, dtype[datetime64]]
    144. 

  144. reveal_type(AR_M - AR_LIKE_i)  # E: ndarray[Any, dtype[datetime64]]
    145. 

  145. reveal_type(AR_M - AR_LIKE_m)  # E: ndarray[Any, dtype[datetime64]]
    146. 

  146. reveal_type(AR_M - AR_LIKE_M)  # E: ndarray[Any, dtype[timedelta64]]
    147. 

  147. reveal_type(AR_M - AR_LIKE_O)  # E: Any
    148. 

  148. 

  149. reveal_type(AR_LIKE_M - AR_M)  # E: ndarray[Any, dtype[timedelta64]]
    150. 

  150. reveal_type(AR_LIKE_O - AR_M)  # E: Any
    151. 

  151. 

  152. reveal_type(AR_O - AR_LIKE_b)  # E: Any
    153. 

  153. reveal_type(AR_O - AR_LIKE_u)  # E: Any
    154. 

  154. reveal_type(AR_O - AR_LIKE_i)  # E: Any
    155. 

  155. reveal_type(AR_O - AR_LIKE_f)  # E: Any
    156. 

  156. reveal_type(AR_O - AR_LIKE_c)  # E: Any
    157. 

  157. reveal_type(AR_O - AR_LIKE_m)  # E: Any
    158. 

  158. reveal_type(AR_O - AR_LIKE_M)  # E: Any
    159. 

  159. reveal_type(AR_O - AR_LIKE_O)  # E: Any
    160. 

  160. 

  161. reveal_type(AR_LIKE_b - AR_O)  # E: Any
    162. 

  162. reveal_type(AR_LIKE_u - AR_O)  # E: Any
    163. 

  163. reveal_type(AR_LIKE_i - AR_O)  # E: Any
    164. 

  164. reveal_type(AR_LIKE_f - AR_O)  # E: Any
    165. 

  165. reveal_type(AR_LIKE_c - AR_O)  # E: Any
    166. 

  166. reveal_type(AR_LIKE_m - AR_O)  # E: Any
    167. 

  167. reveal_type(AR_LIKE_M - AR_O)  # E: Any
    168. 

  168. reveal_type(AR_LIKE_O - AR_O)  # E: Any
    169. 

  169. 

  170. # Array floor division
    171. 

  171. 

  172. reveal_type(AR_b // AR_LIKE_b)  # E: ndarray[Any, dtype[{int8}]]
    173. 

  173. reveal_type(AR_b // AR_LIKE_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    174. 

  174. reveal_type(AR_b // AR_LIKE_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    175. 

  175. reveal_type(AR_b // AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    176. 

  176. reveal_type(AR_b // AR_LIKE_O)  # E: Any
    177. 

  177. 

  178. reveal_type(AR_LIKE_b // AR_b)  # E: ndarray[Any, dtype[{int8}]]
    179. 

  179. reveal_type(AR_LIKE_u // AR_b)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    180. 

  180. reveal_type(AR_LIKE_i // AR_b)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    181. 

  181. reveal_type(AR_LIKE_f // AR_b)  # E: ndarray[Any, dtype[floating[Any]]]
    182. 

  182. reveal_type(AR_LIKE_O // AR_b)  # E: Any
    183. 

  183. 

  184. reveal_type(AR_u // AR_LIKE_b)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    185. 

  185. reveal_type(AR_u // AR_LIKE_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    186. 

  186. reveal_type(AR_u // AR_LIKE_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    187. 

  187. reveal_type(AR_u // AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    188. 

  188. reveal_type(AR_u // AR_LIKE_O)  # E: Any
    189. 

  189. 

  190. reveal_type(AR_LIKE_b // AR_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    191. 

  191. reveal_type(AR_LIKE_u // AR_u)  # E: ndarray[Any, dtype[unsignedinteger[Any]]]
    192. 

  192. reveal_type(AR_LIKE_i // AR_u)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    193. 

  193. reveal_type(AR_LIKE_f // AR_u)  # E: ndarray[Any, dtype[floating[Any]]]
    194. 

  194. reveal_type(AR_LIKE_m // AR_u)  # E: ndarray[Any, dtype[timedelta64]]
    195. 

  195. reveal_type(AR_LIKE_O // AR_u)  # E: Any
    196. 

  196. 

  197. reveal_type(AR_i // AR_LIKE_b)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    198. 

  198. reveal_type(AR_i // AR_LIKE_u)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    199. 

  199. reveal_type(AR_i // AR_LIKE_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    200. 

  200. reveal_type(AR_i // AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    201. 

  201. reveal_type(AR_i // AR_LIKE_O)  # E: Any
    202. 

  202. 

  203. reveal_type(AR_LIKE_b // AR_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    204. 

  204. reveal_type(AR_LIKE_u // AR_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    205. 

  205. reveal_type(AR_LIKE_i // AR_i)  # E: ndarray[Any, dtype[signedinteger[Any]]]
    206. 

  206. reveal_type(AR_LIKE_f // AR_i)  # E: ndarray[Any, dtype[floating[Any]]]
    207. 

  207. reveal_type(AR_LIKE_m // AR_i)  # E: ndarray[Any, dtype[timedelta64]]
    208. 

  208. reveal_type(AR_LIKE_O // AR_i)  # E: Any
    209. 

  209. 

  210. reveal_type(AR_f // AR_LIKE_b)  # E: ndarray[Any, dtype[floating[Any]]]
    211. 

  211. reveal_type(AR_f // AR_LIKE_u)  # E: ndarray[Any, dtype[floating[Any]]]
    212. 

  212. reveal_type(AR_f // AR_LIKE_i)  # E: ndarray[Any, dtype[floating[Any]]]
    213. 

  213. reveal_type(AR_f // AR_LIKE_f)  # E: ndarray[Any, dtype[floating[Any]]]
    214. 

  214. reveal_type(AR_f // AR_LIKE_O)  # E: Any
    215. 

  215. 

  216. reveal_type(AR_LIKE_b // AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    217. 

  217. reveal_type(AR_LIKE_u // AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    218. 

  218. reveal_type(AR_LIKE_i // AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    219. 

  219. reveal_type(AR_LIKE_f // AR_f)  # E: ndarray[Any, dtype[floating[Any]]]
    220. 

  220. reveal_type(AR_LIKE_m // AR_f)  # E: ndarray[Any, dtype[timedelta64]]
    221. 

  221. reveal_type(AR_LIKE_O // AR_f)  # E: Any
    222. 

  222. 

  223. reveal_type(AR_m // AR_LIKE_u)  # E: ndarray[Any, dtype[timedelta64]]
    224. 

  224. reveal_type(AR_m // AR_LIKE_i)  # E: ndarray[Any, dtype[timedelta64]]
    225. 

  225. reveal_type(AR_m // AR_LIKE_f)  # E: ndarray[Any, dtype[timedelta64]]
    226. 

  226. reveal_type(AR_m // AR_LIKE_m)  # E: ndarray[Any, dtype[{int64}]]
    227. 

  227. reveal_type(AR_m // AR_LIKE_O)  # E: Any
    228. 

  228. 

  229. reveal_type(AR_LIKE_m // AR_m)  # E: ndarray[Any, dtype[{int64}]]
    230. 

  230. reveal_type(AR_LIKE_O // AR_m)  # E: Any
    231. 

  231. 

  232. reveal_type(AR_O // AR_LIKE_b)  # E: Any
    233. 

  233. reveal_type(AR_O // AR_LIKE_u)  # E: Any
    234. 

  234. reveal_type(AR_O // AR_LIKE_i)  # E: Any
    235. 

  235. reveal_type(AR_O // AR_LIKE_f)  # E: Any
    236. 

  236. reveal_type(AR_O // AR_LIKE_m)  # E: Any
    237. 

  237. reveal_type(AR_O // AR_LIKE_M)  # E: Any
    238. 

  238. reveal_type(AR_O // AR_LIKE_O)  # E: Any
    239. 

  239. 

  240. reveal_type(AR_LIKE_b // AR_O)  # E: Any
    241. 

  241. reveal_type(AR_LIKE_u // AR_O)  # E: Any
    242. 

  242. reveal_type(AR_LIKE_i // AR_O)  # E: Any
    243. 

  243. reveal_type(AR_LIKE_f // AR_O)  # E: Any
    244. 

  244. reveal_type(AR_LIKE_m // AR_O)  # E: Any
    245. 

  245. reveal_type(AR_LIKE_M // AR_O)  # E: Any
    246. 

  246. reveal_type(AR_LIKE_O // AR_O)  # E: Any
    247. 

  247. 

  248. # unary ops
    249. 

  249. 

  250. reveal_type(-f16)  # E: {float128}
    251. 

  251. reveal_type(-c16)  # E: {complex128}
    252. 

  252. reveal_type(-c8)  # E: {complex64}
    253. 

  253. reveal_type(-f8)  # E: {float64}
    254. 

  254. reveal_type(-f4)  # E: {float32}
    255. 

  255. reveal_type(-i8)  # E: {int64}
    256. 

  256. reveal_type(-i4)  # E: {int32}
    257. 

  257. reveal_type(-u8)  # E: {uint64}
    258. 

  258. reveal_type(-u4)  # E: {uint32}
    259. 

  259. reveal_type(-td)  # E: timedelta64
    260. 

  260. reveal_type(-AR_f)  # E: Any
    261. 

  261. 

  262. reveal_type(+f16)  # E: {float128}
    263. 

  263. reveal_type(+c16)  # E: {complex128}
    264. 

  264. reveal_type(+c8)  # E: {complex64}
    265. 

  265. reveal_type(+f8)  # E: {float64}
    266. 

  266. reveal_type(+f4)  # E: {float32}
    267. 

  267. reveal_type(+i8)  # E: {int64}
    268. 

  268. reveal_type(+i4)  # E: {int32}
    269. 

  269. reveal_type(+u8)  # E: {uint64}
    270. 

  270. reveal_type(+u4)  # E: {uint32}
    271. 

  271. reveal_type(+td)  # E: timedelta64
    272. 

  272. reveal_type(+AR_f)  # E: Any
    273. 

  273. 

  274. reveal_type(abs(f16))  # E: {float128}
    275. 

  275. reveal_type(abs(c16))  # E: {float64}
    276. 

  276. reveal_type(abs(c8))  # E: {float32}
    277. 

  277. reveal_type(abs(f8))  # E: {float64}
    278. 

  278. reveal_type(abs(f4))  # E: {float32}
    279. 

  279. reveal_type(abs(i8))  # E: {int64}
    280. 

  280. reveal_type(abs(i4))  # E: {int32}
    281. 

  281. reveal_type(abs(u8))  # E: {uint64}
    282. 

  282. reveal_type(abs(u4))  # E: {uint32}
    283. 

  283. reveal_type(abs(td))  # E: timedelta64
    284. 

  284. reveal_type(abs(b_))  # E: bool_
    285. 

  285. reveal_type(abs(AR_f))  # E: Any
    286. 

  286. 

  287. # Time structures
    288. 

  288. 

  289. reveal_type(dt + td)  # E: datetime64
    290. 

  290. reveal_type(dt + i)  # E: datetime64
    291. 

  291. reveal_type(dt + i4)  # E: datetime64
    292. 

  292. reveal_type(dt + i8)  # E: datetime64
    293. 

  293. reveal_type(dt - dt)  # E: timedelta64
    294. 

  294. reveal_type(dt - i)  # E: datetime64
    295. 

  295. reveal_type(dt - i4)  # E: datetime64
    296. 

  296. reveal_type(dt - i8)  # E: datetime64
    297. 

  297. 

  298. reveal_type(td + td)  # E: timedelta64
    299. 

  299. reveal_type(td + i)  # E: timedelta64
    300. 

  300. reveal_type(td + i4)  # E: timedelta64
    301. 

  301. reveal_type(td + i8)  # E: timedelta64
    302. 

  302. reveal_type(td - td)  # E: timedelta64
    303. 

  303. reveal_type(td - i)  # E: timedelta64
    304. 

  304. reveal_type(td - i4)  # E: timedelta64
    305. 

  305. reveal_type(td - i8)  # E: timedelta64
    306. 

  306. reveal_type(td / f)  # E: timedelta64
    307. 

  307. reveal_type(td / f4)  # E: timedelta64
    308. 

  308. reveal_type(td / f8)  # E: timedelta64
    309. 

  309. reveal_type(td / td)  # E: {float64}
    310. 

  310. reveal_type(td // td)  # E: {int64}
    311. 

  311. 

  312. # boolean
    313. 

  313. 

  314. reveal_type(b_ / b)  # E: {float64}
    315. 

  315. reveal_type(b_ / b_)  # E: {float64}
    316. 

  316. reveal_type(b_ / i)  # E: {float64}
    317. 

  317. reveal_type(b_ / i8)  # E: {float64}
    318. 

  318. reveal_type(b_ / i4)  # E: {float64}
    319. 

  319. reveal_type(b_ / u8)  # E: {float64}
    320. 

  320. reveal_type(b_ / u4)  # E: {float64}
    321. 

  321. reveal_type(b_ / f)  # E: {float64}
    322. 

  322. reveal_type(b_ / f16)  # E: {float128}
    323. 

  323. reveal_type(b_ / f8)  # E: {float64}
    324. 

  324. reveal_type(b_ / f4)  # E: {float32}
    325. 

  325. reveal_type(b_ / c)  # E: {complex128}
    326. 

  326. reveal_type(b_ / c16)  # E: {complex128}
    327. 

  327. reveal_type(b_ / c8)  # E: {complex64}
    328. 

  328. 

  329. reveal_type(b / b_)  # E: {float64}
    330. 

  330. reveal_type(b_ / b_)  # E: {float64}
    331. 

  331. reveal_type(i / b_)  # E: {float64}
    332. 

  332. reveal_type(i8 / b_)  # E: {float64}
    333. 

  333. reveal_type(i4 / b_)  # E: {float64}
    334. 

  334. reveal_type(u8 / b_)  # E: {float64}
    335. 

  335. reveal_type(u4 / b_)  # E: {float64}
    336. 

  336. reveal_type(f / b_)  # E: {float64}
    337. 

  337. reveal_type(f16 / b_)  # E: {float128}
    338. 

  338. reveal_type(f8 / b_)  # E: {float64}
    339. 

  339. reveal_type(f4 / b_)  # E: {float32}
    340. 

  340. reveal_type(c / b_)  # E: {complex128}
    341. 

  341. reveal_type(c16 / b_)  # E: {complex128}
    342. 

  342. reveal_type(c8 / b_)  # E: {complex64}
    343. 

  343. 

  344. # Complex
    345. 

  345. 

  346. reveal_type(c16 + f16)  # E: {complex256}
    347. 

  347. reveal_type(c16 + c16)  # E: {complex128}
    348. 

  348. reveal_type(c16 + f8)  # E: {complex128}
    349. 

  349. reveal_type(c16 + i8)  # E: {complex128}
    350. 

  350. reveal_type(c16 + c8)  # E: {complex128}
    351. 

  351. reveal_type(c16 + f4)  # E: {complex128}
    352. 

  352. reveal_type(c16 + i4)  # E: {complex128}
    353. 

  353. reveal_type(c16 + b_)  # E: {complex128}
    354. 

  354. reveal_type(c16 + b)  # E: {complex128}
    355. 

  355. reveal_type(c16 + c)  # E: {complex128}
    356. 

  356. reveal_type(c16 + f)  # E: {complex128}
    357. 

  357. reveal_type(c16 + i)  # E: {complex128}
    358. 

  358. reveal_type(c16 + AR_f)  # E: Any
    359. 

  359. 

  360. reveal_type(f16 + c16)  # E: {complex256}
    361. 

  361. reveal_type(c16 + c16)  # E: {complex128}
    362. 

  362. reveal_type(f8 + c16)  # E: {complex128}
    363. 

  363. reveal_type(i8 + c16)  # E: {complex128}
    364. 

  364. reveal_type(c8 + c16)  # E: {complex128}
    365. 

  365. reveal_type(f4 + c16)  # E: {complex128}
    366. 

  366. reveal_type(i4 + c16)  # E: {complex128}
    367. 

  367. reveal_type(b_ + c16)  # E: {complex128}
    368. 

  368. reveal_type(b + c16)  # E: {complex128}
    369. 

  369. reveal_type(c + c16)  # E: {complex128}
    370. 

  370. reveal_type(f + c16)  # E: {complex128}
    371. 

  371. reveal_type(i + c16)  # E: {complex128}
    372. 

  372. reveal_type(AR_f + c16)  # E: Any
    373. 

  373. 

  374. reveal_type(c8 + f16)  # E: {complex256}
    375. 

  375. reveal_type(c8 + c16)  # E: {complex128}
    376. 

  376. reveal_type(c8 + f8)  # E: {complex128}
    377. 

  377. reveal_type(c8 + i8)  # E: {complex128}
    378. 

  378. reveal_type(c8 + c8)  # E: {complex64}
    379. 

  379. reveal_type(c8 + f4)  # E: {complex64}
    380. 

  380. reveal_type(c8 + i4)  # E: {complex64}
    381. 

  381. reveal_type(c8 + b_)  # E: {complex64}
    382. 

  382. reveal_type(c8 + b)  # E: {complex64}
    383. 

  383. reveal_type(c8 + c)  # E: {complex128}
    384. 

  384. reveal_type(c8 + f)  # E: {complex128}
    385. 

  385. reveal_type(c8 + i)  # E: complexfloating[{_NBitInt}, {_NBitInt}]
    386. 

  386. reveal_type(c8 + AR_f)  # E: Any
    387. 

  387. 

  388. reveal_type(f16 + c8)  # E: {complex256}
    389. 

  389. reveal_type(c16 + c8)  # E: {complex128}
    390. 

  390. reveal_type(f8 + c8)  # E: {complex128}
    391. 

  391. reveal_type(i8 + c8)  # E: {complex128}
    392. 

  392. reveal_type(c8 + c8)  # E: {complex64}
    393. 

  393. reveal_type(f4 + c8)  # E: {complex64}
    394. 

  394. reveal_type(i4 + c8)  # E: {complex64}
    395. 

  395. reveal_type(b_ + c8)  # E: {complex64}
    396. 

  396. reveal_type(b + c8)  # E: {complex64}
    397. 

  397. reveal_type(c + c8)  # E: {complex128}
    398. 

  398. reveal_type(f + c8)  # E: {complex128}
    399. 

  399. reveal_type(i + c8)  # E: complexfloating[{_NBitInt}, {_NBitInt}]
    400. 

  400. reveal_type(AR_f + c8)  # E: Any
    401. 

  401. 

  402. # Float
    403. 

  403. 

  404. reveal_type(f8 + f16)  # E: {float128}
    405. 

  405. reveal_type(f8 + f8)  # E: {float64}
    406. 

  406. reveal_type(f8 + i8)  # E: {float64}
    407. 

  407. reveal_type(f8 + f4)  # E: {float64}
    408. 

  408. reveal_type(f8 + i4)  # E: {float64}
    409. 

  409. reveal_type(f8 + b_)  # E: {float64}
    410. 

  410. reveal_type(f8 + b)  # E: {float64}
    411. 

  411. reveal_type(f8 + c)  # E: {complex128}
    412. 

  412. reveal_type(f8 + f)  # E: {float64}
    413. 

  413. reveal_type(f8 + i)  # E: {float64}
    414. 

  414. reveal_type(f8 + AR_f)  # E: Any
    415. 

  415. 

  416. reveal_type(f16 + f8)  # E: {float128}
    417. 

  417. reveal_type(f8 + f8)  # E: {float64}
    418. 

  418. reveal_type(i8 + f8)  # E: {float64}
    419. 

  419. reveal_type(f4 + f8)  # E: {float64}
    420. 

  420. reveal_type(i4 + f8)  # E: {float64}
    421. 

  421. reveal_type(b_ + f8)  # E: {float64}
    422. 

  422. reveal_type(b + f8)  # E: {float64}
    423. 

  423. reveal_type(c + f8)  # E: {complex128}
    424. 

  424. reveal_type(f + f8)  # E: {float64}
    425. 

  425. reveal_type(i + f8)  # E: {float64}
    426. 

  426. reveal_type(AR_f + f8)  # E: Any
    427. 

  427. 

  428. reveal_type(f4 + f16)  # E: {float128}
    429. 

  429. reveal_type(f4 + f8)  # E: {float64}
    430. 

  430. reveal_type(f4 + i8)  # E: {float64}
    431. 

  431. reveal_type(f4 + f4)  # E: {float32}
    432. 

  432. reveal_type(f4 + i4)  # E: {float32}
    433. 

  433. reveal_type(f4 + b_)  # E: {float32}
    434. 

  434. reveal_type(f4 + b)  # E: {float32}
    435. 

  435. reveal_type(f4 + c)  # E: {complex128}
    436. 

  436. reveal_type(f4 + f)  # E: {float64}
    437. 

  437. reveal_type(f4 + i)  # E: floating[{_NBitInt}]
    438. 

  438. reveal_type(f4 + AR_f)  # E: Any
    439. 

  439. 

  440. reveal_type(f16 + f4)  # E: {float128}
    441. 

  441. reveal_type(f8 + f4)  # E: {float64}
    442. 

  442. reveal_type(i8 + f4)  # E: {float64}
    443. 

  443. reveal_type(f4 + f4)  # E: {float32}
    444. 

  444. reveal_type(i4 + f4)  # E: {float32}
    445. 

  445. reveal_type(b_ + f4)  # E: {float32}
    446. 

  446. reveal_type(b + f4)  # E: {float32}
    447. 

  447. reveal_type(c + f4)  # E: {complex128}
    448. 

  448. reveal_type(f + f4)  # E: {float64}
    449. 

  449. reveal_type(i + f4)  # E: floating[{_NBitInt}]
    450. 

  450. reveal_type(AR_f + f4)  # E: Any
    451. 

  451. 

  452. # Int
    453. 

  453. 

  454. reveal_type(i8 + i8)  # E: {int64}
    455. 

  455. reveal_type(i8 + u8)  # E: Any
    456. 

  456. reveal_type(i8 + i4)  # E: {int64}
    457. 

  457. reveal_type(i8 + u4)  # E: Any
    458. 

  458. reveal_type(i8 + b_)  # E: {int64}
    459. 

  459. reveal_type(i8 + b)  # E: {int64}
    460. 

  460. reveal_type(i8 + c)  # E: {complex128}
    461. 

  461. reveal_type(i8 + f)  # E: {float64}
    462. 

  462. reveal_type(i8 + i)  # E: {int64}
    463. 

  463. reveal_type(i8 + AR_f)  # E: Any
    464. 

  464. 

  465. reveal_type(u8 + u8)  # E: {uint64}
    466. 

  466. reveal_type(u8 + i4)  # E: Any
    467. 

  467. reveal_type(u8 + u4)  # E: {uint64}
    468. 

  468. reveal_type(u8 + b_)  # E: {uint64}
    469. 

  469. reveal_type(u8 + b)  # E: {uint64}
    470. 

  470. reveal_type(u8 + c)  # E: {complex128}
    471. 

  471. reveal_type(u8 + f)  # E: {float64}
    472. 

  472. reveal_type(u8 + i)  # E: Any
    473. 

  473. reveal_type(u8 + AR_f)  # E: Any
    474. 

  474. 

  475. reveal_type(i8 + i8)  # E: {int64}
    476. 

  476. reveal_type(u8 + i8)  # E: Any
    477. 

  477. reveal_type(i4 + i8)  # E: {int64}
    478. 

  478. reveal_type(u4 + i8)  # E: Any
    479. 

  479. reveal_type(b_ + i8)  # E: {int64}
    480. 

  480. reveal_type(b + i8)  # E: {int64}
    481. 

  481. reveal_type(c + i8)  # E: {complex128}
    482. 

  482. reveal_type(f + i8)  # E: {float64}
    483. 

  483. reveal_type(i + i8)  # E: {int64}
    484. 

  484. reveal_type(AR_f + i8)  # E: Any
    485. 

  485. 

  486. reveal_type(u8 + u8)  # E: {uint64}
    487. 

  487. reveal_type(i4 + u8)  # E: Any
    488. 

  488. reveal_type(u4 + u8)  # E: {uint64}
    489. 

  489. reveal_type(b_ + u8)  # E: {uint64}
    490. 

  490. reveal_type(b + u8)  # E: {uint64}
    491. 

  491. reveal_type(c + u8)  # E: {complex128}
    492. 

  492. reveal_type(f + u8)  # E: {float64}
    493. 

  493. reveal_type(i + u8)  # E: Any
    494. 

  494. reveal_type(AR_f + u8)  # E: Any
    495. 

  495. 

  496. reveal_type(i4 + i8)  # E: {int64}
    497. 

  497. reveal_type(i4 + i4)  # E: {int32}
    498. 

  498. reveal_type(i4 + i)  # E: {int_}
    499. 

  499. reveal_type(i4 + b_)  # E: {int32}
    500. 

  500. reveal_type(i4 + b)  # E: {int32}
    501. 

  501. reveal_type(i4 + AR_f)  # E: Any
    502. 

  502. 

  503. reveal_type(u4 + i8)  # E: Any
    504. 

  504. reveal_type(u4 + i4)  # E: Any
    505. 

  505. reveal_type(u4 + u8)  # E: {uint64}
    506. 

  506. reveal_type(u4 + u4)  # E: {uint32}
    507. 

  507. reveal_type(u4 + i)  # E: Any
    508. 

  508. reveal_type(u4 + b_)  # E: {uint32}
    509. 

  509. reveal_type(u4 + b)  # E: {uint32}
    510. 

  510. reveal_type(u4 + AR_f)  # E: Any
    511. 

  511. 

  512. reveal_type(i8 + i4)  # E: {int64}
    513. 

  513. reveal_type(i4 + i4)  # E: {int32}
    514. 

  514. reveal_type(i + i4)  # E: {int_}
    515. 

  515. reveal_type(b_ + i4)  # E: {int32}
    516. 

  516. reveal_type(b + i4)  # E: {int32}
    517. 

  517. reveal_type(AR_f + i4)  # E: Any
    518. 

  518. 

  519. reveal_type(i8 + u4)  # E: Any
    520. 

  520. reveal_type(i4 + u4)  # E: Any
    521. 

  521. reveal_type(u8 + u4)  # E: {uint64}
    522. 

  522. reveal_type(u4 + u4)  # E: {uint32}
    523. 

  523. reveal_type(b_ + u4)  # E: {uint32}
    524. 

  524. reveal_type(b + u4)  # E: {uint32}
    525. 

  525. reveal_type(i + u4)  # E: Any
    526. 

  526. reveal_type(AR_f + u4)  # E: Any
    527.