language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update __init__.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-08-06 22:51:34 +09:00
parent f4e1d494a4
commit a690e0b61a
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/erg_compiler/lib/external/numpy.d/__init__.d.er vendored
View file

@ -9,6 +9,10 @@
ndim: Nat
dtype: Type
size: Nat
reshape: |T, Old: [Nat; _], S: [Nat; _]|(
self: .NDArray(T, Old),
shape: {S},
) -> .NDArray(T, S)
.nan: Float
.Nan: Float
@ -29,3 +33,5 @@
.sum: |T|(object: .NDArray(T),) -> T
.sqrt: |T|(object: .NDArray(T),) -> .NDArray(T)
.transpose: |T|(object: .NDArray(T), axes := [Nat; _]) -> .NDArray(T)
.zeros: (|N: Nat|(shape: {N}, dtype := Type) -> .NDArray(Nat, [N])) \
and (|S: [Nat; _]|(shape: {S}, dtype := Type) -> .NDArray(Nat, S))