mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-07 13:15:21 +00:00
20 lines
412 B
Python
20 lines
412 B
Python
Invert = Patch Bool
|
|
Invert::
|
|
_zero = False
|
|
_invert self = not self
|
|
Invert.
|
|
zero = Invert::_zero
|
|
invert self = self::_invert()
|
|
|
|
assert False.invert()
|
|
|
|
.ToLower = Patch Str
|
|
.ToLower::
|
|
_lowers = "abcdefghijklmnopqrstuvwxyz"
|
|
_to_lowercase self = self.lower()
|
|
.ToLower.
|
|
lowers = .ToLower::_lowers
|
|
to_lowercase self = self::_to_lowercase()
|
|
|
|
print! "".lowers
|
|
print! "AAA".to_lowercase()
|