Add BoundResult.exit()

ilotoki0804 · Sep 14, 2024 · 834a7cf · 834a7cf
1 parent e0f52e1
commit 834a7cf
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/fieldenum/enums.py b/src/fieldenum/enums.py
@@ -7,7 +7,8 @@
 from __future__ import annotations
 
 import functools
-from typing import TYPE_CHECKING, Any, Callable, final, overload
+import sys
+from typing import TYPE_CHECKING, Any, Callable, NoReturn, final, overload
 
 from . import Unit, Variant, fieldenum, unreachable
 from .exceptions import IncompatibleBoundError
@@ -244,6 +245,9 @@ def as_option(self) -> Option[R]:
             case other:
                 unreachable(other)
 
+    def exit(self, error_code: str | int | None = 1) -> NoReturn:
+        sys.exit(error_code if self else 0)
+
     def rebound[NewBound: BaseException](self, bound: type[NewBound], /) -> BoundResult[R, NewBound]:
         match self:
             case BoundResult.Success(value, _):