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

fix: type-parameter instantiation bugs

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-29 23:14:39 +09:00
parent 1df51cb12c
commit 882d619dcc
5 changed files with 143 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

40
crates/erg_compiler/lib/pystd/itertools.d.er
View file

@ -34,3 +34,43 @@
.GroupBy = 'groupby': ClassType
.GroupBy.
__call__: |T, K|(iterable: Iterable(T), key := (T) -> K) -> Iterable((K, Iterable(T)))
.Islice = 'islice': ClassType
.Islice.
__call__: |T|(iterable: Iterable(T), start := Int, stop := Int, step := Int) -> Iterable T
.Pairwise = 'pairwise': ClassType
.Pairwise.
__call__: |T|(iterable: Iterable(T)) -> Iterable((T, T))
# .Startmap = 'startmap': ClassType
# .Startmap.
# __call__: |T|(function: (T) -> T, iterable: Iterable T) -> Iterable T
.Takewhile = 'takewhile': ClassType
.Takewhile.
__call__: |T|(predicate: (T) -> Bool, iterable: Iterable T) -> Iterable T
.Tee = 'tee': ClassType
.Tee.
__call__: |T|(iterable: Iterable(T), n := Nat) -> [Iterable(T); _]
.ZipLongest = 'zip_longest': ClassType
.ZipLongest.
__call__: |T|(*iterables: Iterable(T), fillvalue := T) -> Iterable [T; _]
.Product = 'product': ClassType
.Product.
__call__: |T|(*iterables: Iterable(T), repeat := Nat) -> Iterable [T; _]
.Permutations = 'permutations': ClassType
.Permutations.
__call__: |T|(iterable: Iterable(T), r := Nat) -> Iterable [T; _]
.Combinations = 'combinations': ClassType
.Combinations.
__call__: |T|(iterable: Iterable(T), r := Nat) -> Iterable [T; _]
.CombinationsWithReplacement = 'combinations_with_replacement': ClassType
.CombinationsWithReplacement.
__call__: |T|(iterable: Iterable(T), r := Nat) -> Iterable [T; _]