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

Add some Str! methods

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-02-01 13:37:41 +09:00
parent 4184c5d1f2
commit e44ba71aa5
2 changed files with 32 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/erg_compiler/lib/std/_erg_str.py
View file

@ -52,11 +52,11 @@ class StrMut(): # Inherits Str
return last
else:
return Error("Can't pop from empty `Str!`")
def push(self, c: str):
self.value += c
def push(self, s: str):
self.value += s
def remove(self, idx: int):
char = self.value[idx]
self.value = self.value[:idx] + self.value[idx+1:]
return char
def insert(self, idx: int, c: str):
self.value = self.value[:idx] + c + self.value[idx:]
def insert(self, idx: int, s: str):
self.value = self.value[:idx] + s + self.value[idx:]