Merge pull request #3 from Catminusminus/improve-types

make type checkers happy

.github/workflows/python.yml

@@ -21,6 +21,7 @@ jobs:
           poetry run flake8 --filename=*.py option/
           poetry run black --check .
           poetry run isort --check-only --profile black .
+          poetry run mypy option/ tests/
 
   pytest:
     runs-on: ubuntu-latest

option/option.py

@@ -55,7 +55,7 @@ def or_else(self, _: Callable[[], "Some[T]"]) -> "Some[T]":
     def unwrap(self) -> T:
         return self._value
 
-    def unwrap_or(self, _: T) -> T:
+    def unwrap_or(self, _: object) -> T:
         return self._value
 
     def unwrap_or_else(self, _: Callable[[], T]) -> T:
@@ -87,20 +87,20 @@ def is_nothing(self) -> bool:
     def is_some(self) -> bool:
         return False
 
-    def is_some_and(self, f: Callable[[T], bool]) -> bool:
+    def is_some_and(self, f: Callable[[Any], bool]) -> bool:
         return False
 
     @property
     def value(self) -> None:
         return None
 
-    def map(self, _: Callable) -> "Nothing":
+    def map(self, _: Callable[[Any], U]) -> "Nothing":
         return self
 
-    def map_or(self, default: U, _: Callable) -> U:
+    def map_or(self, default: U, _: Callable[[Any], U]) -> U:
         return default
 
-    def map_or_else(self, default: Callable[[], U], _: Callable[[T], U]) -> U:
+    def map_or_else(self, default: Callable[[], U], _: Callable[[Any], U]) -> U:
         return default()
 
     def or_else(self, f: Callable[[], Some[T]]) -> Some[T]:
@@ -109,7 +109,7 @@ def or_else(self, f: Callable[[], Some[T]]) -> Some[T]:
     def unwrap(self) -> NoReturn:
         raise UnwrapError(self, "Called `Option.unwrap()` on an `Nothing` value")
 
-    def unwrap_or(self, default: T) -> T:
+    def unwrap_or(self, default: U) -> U:
         return default
 
     def unwrap_or_else(self, default: Callable[[], T]) -> T: