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

feat(Array): add dedup, partition method

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-07 23:59:23 +09:00
parent 3a14bbe37e
commit 89d830c364
3 changed files with 26 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/erg_compiler/lib/std/_erg_array.py
View file

@ -1,8 +1,11 @@
class Array(list):
def dedup(self):
return Array(list(set(self)))
def dedup_by(self, f):
return Array(list(set(map(f, self))))
def dedup(self, f=None):
if f == None:
return Array(list(set(self)))
else:
return Array(list(set(map(f, self))))
def push(self, value):
self.append(value)
return self
def partition(self, f):
return Array(list(filter(f, self))), Array(list(filter(lambda x: not f(x), self)))