mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-27 19:59:07 +00:00
17 lines
436 B
Python
17 lines
436 B
Python
from _erg_nat import Nat
|
|
from _erg_result import Error
|
|
|
|
class Bool(Nat):
|
|
def try_new(b: bool): # -> Result[Nat]
|
|
if b == True or b == False:
|
|
return Bool(b)
|
|
else:
|
|
return Error("Bool can't be other than True or False")
|
|
|
|
def __str__(self) -> str:
|
|
if self:
|
|
return "True"
|
|
else:
|
|
return "False"
|
|
def __repr__(self) -> str:
|
|
return self.__str__()
|