From 7cc5500f7109c0dea1eccdda80a966ebadf124e3 Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Sat, 9 Dec 2023 17:11:58 +0900 Subject: [PATCH] feat: add `scipy` type declaration --- .../lib/external/numpy.d/__init__.d.er | 20 +++++++++++++++++++ .../lib/external/scipy.d/__init__.d.er | 0 .../external/scipy.d/cluster.d/__init__.d.er | 0 .../scipy.d/constants.d/__init__.d.er | 0 .../external/scipy.d/fftpack.d/__init__.d.er | 0 .../scipy.d/integrate.d/__init__.d.er | 0 .../scipy.d/interpolate.d/__init__.d.er | 0 .../lib/external/scipy.d/io.d/__init__.d.er | 0 .../external/scipy.d/linalg.d/__init__.d.er | 0 .../external/scipy.d/ndimage.d/__init__.d.er | 0 .../lib/external/scipy.d/odr.d/__init__.d.er | 0 .../external/scipy.d/optimize.d/__init__.d.er | 0 .../lib/external/scipy.d/package.er | 0 .../external/scipy.d/signal.d/__init__.d.er | 0 .../external/scipy.d/sparse.d/__init__.d.er | 0 .../external/scipy.d/special.d/__init__.d.er | 0 .../external/scipy.d/stats.d/__init__.d.er | 0 17 files changed, 20 insertions(+) create mode 100644 crates/erg_compiler/lib/external/scipy.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/cluster.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/constants.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/fftpack.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/integrate.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/interpolate.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/io.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/linalg.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/ndimage.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/odr.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/optimize.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/package.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/signal.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/sparse.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/special.d/__init__.d.er create mode 100644 crates/erg_compiler/lib/external/scipy.d/stats.d/__init__.d.er diff --git a/crates/erg_compiler/lib/external/numpy.d/__init__.d.er b/crates/erg_compiler/lib/external/numpy.d/__init__.d.er index 72fdb44d..608b8d9a 100644 --- a/crates/erg_compiler/lib/external/numpy.d/__init__.d.er +++ b/crates/erg_compiler/lib/external/numpy.d/__init__.d.er @@ -1,3 +1,23 @@ +.Complex64 = 'complex64': ClassType +.Complex128 = 'complex128': ClassType + +.Float16 = 'float16': ClassType +.Float32 = 'float32': ClassType +.Float64 = 'float64': ClassType + +.Int8 = 'int8': ClassType +.Int16 = 'int16': ClassType +.Int32 = 'int32': ClassType +.Int64 = 'int64': ClassType + +.UInt8 = 'uint8': ClassType +.UInt16 = 'uint16': ClassType +.UInt32 = 'uint32': ClassType +.UInt64 = 'uint64': ClassType + +.Bool_ = 'bool_': ClassType +.Str_ = 'str_': ClassType + .NDArray = 'ndarray': (T: Type, Shape: [Nat; _]) -> ClassType .NDArray(T, _) <: Output T .NDArray(_, _) <: Num diff --git a/crates/erg_compiler/lib/external/scipy.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/cluster.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/cluster.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/constants.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/constants.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/fftpack.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/fftpack.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/integrate.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/integrate.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/interpolate.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/interpolate.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/io.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/io.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/linalg.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/linalg.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/ndimage.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/ndimage.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/odr.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/odr.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/optimize.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/optimize.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/package.er b/crates/erg_compiler/lib/external/scipy.d/package.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/signal.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/signal.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/sparse.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/sparse.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/special.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/special.d/__init__.d.er new file mode 100644 index 00000000..e69de29b diff --git a/crates/erg_compiler/lib/external/scipy.d/stats.d/__init__.d.er b/crates/erg_compiler/lib/external/scipy.d/stats.d/__init__.d.er new file mode 100644 index 00000000..e69de29b