language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 05:31:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'main' into rwlock

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-10 17:45:08 +09:00
parent 8c983c3714
commit 0d3691f243
143 changed files with 4781 additions and 3289 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/erg_compiler/lib/external/pandas.d/__init__.d.er vendored Normal file
View file

@ -0,0 +1,5 @@
{
.DataFrame!;
.Series!;
.Index;
} = pyimport "core/api"

0
crates/erg_compiler/lib/external/pandas.d/core.d/__init__.d.er vendored Normal file
View file

3
crates/erg_compiler/lib/external/pandas.d/core.d/api.d.er vendored Normal file
View file

@ -0,0 +1,3 @@
{.DataFrame!;} = pyimport "./frame"
{.Series!;} = pyimport "./series"
{.Index;} = pyimport "./indexes/api"

14
crates/erg_compiler/lib/external/pandas.d/core.d/frame.d.er vendored Normal file
View file

@ -0,0 +1,14 @@
{.Index;} = pyimport "./indexes/api"
# I := Nat, V := Obj
.DataFrame!: (C: Type, I: Type, V: Type) -> ClassType
.DataFrame!(C, I, V) <: Input(C)
.DataFrame!(C, I, V) <: Input(I)
.DataFrame!(C, I, V) <: Output(V)
.DataFrame!.
__call__: |K, V, I|(dic: {K: [V; _]} or Iterable(Iterable(V)), index: [I; _] := [Nat; _]) -> .DataFrame!(K, I, V)
shape: (Nat, Nat)
index: .Index(_) # TODO
head: |C, I, V|(self: .DataFrame!(C, I, V), tail: Nat := {5}) -> .DataFrame!(C, I, V)
tail: |C, I, V|(self: .DataFrame!(C, I, V), tail: Nat := {5}) -> .DataFrame!(C, I, V)
info!: (self: .DataFrame!(_, _, _)) => NoneType

0
crates/erg_compiler/lib/external/pandas.d/core.d/indexes.d/__init__.d.er vendored Normal file
View file

1
crates/erg_compiler/lib/external/pandas.d/core.d/indexes.d/api.d.er vendored Normal file
View file

@ -0,0 +1 @@
{.Index;} = pyimport "./base"

2
crates/erg_compiler/lib/external/pandas.d/core.d/indexes.d/base.d.er vendored Normal file
View file

@ -0,0 +1,2 @@
.Index: (T: Type) -> ClassType
.Index(T) <: Output(T)

8
crates/erg_compiler/lib/external/pandas.d/core.d/series.d.er vendored Normal file
View file

@ -0,0 +1,8 @@
{.Index;} = pyimport "./indexes/api"
# K := Nat, V := Obj
.Series!: (K: Type, V: Type) -> ClassType
.Series!(K, V) <: Input(K)
.Series!(K, V) <: Output(V)
.Series!.
__call__: |K, V|(iterable: Iterable(V), index: [K; _] or .Index(K) := [Nat; _]) -> .Series! K, V

0
crates/erg_compiler/lib/external/pandas.d/package.er vendored Normal file
View file