Full test coverage (#14)

.github/workflows/ci.yml

@@ -34,7 +34,7 @@ jobs:
           cache-dependency-path: requirements-dev.txt
 
       - name: Install dev dependencies
-        run: pip install --root-user-action=ignore --requirement requirements-dev.txt
+        run: pip install --root-user-action=ignore --upgrade pip --requirement requirements-dev.txt
 
       # Install library
       - name: Install maybe

Makefile

@@ -6,8 +6,8 @@ PYTHON_PRE_310 := $(shell python -c "import sys; print(sys.version_info < (3, 10
 
 install: phony
 	@echo Installing dependencies...
-	pip install --require-virtualenv -r requirements-dev.txt
-	pip install --require-virtualenv -e .
+	python -m pip install --require-virtualenv -r requirements-dev.txt
+	python -m pip install --require-virtualenv -e .
 
 lint: phony lint-flake lint-mypy
 

src/maybe/maybe.py

@@ -13,9 +13,9 @@
     Union,
 )
 
-if sys.version_info >= (3, 10):
+if sys.version_info >= (3, 10):  # pragma: no cover
     from typing import ParamSpec, TypeAlias, TypeGuard
-else:
+else:  # pragma: no cover
     from typing_extensions import ParamSpec, TypeAlias, TypeGuard
 
 

tests/test_maybe.py

@@ -4,7 +4,7 @@
 
 import pytest
 
-from maybe import Some, SomeNothing, Maybe, Nothing, UnwrapError
+from maybe import Some, SomeNothing, Maybe, Nothing, UnwrapError, is_nothing, is_some
 
 
 def test_some_factories() -> None:
@@ -21,6 +21,7 @@ def test_nothing_factory() -> None:
 def test_eq() -> None:
     assert Some(1) == Some(1)
     assert Nothing() == Nothing()
+    assert not (Nothing() != Nothing())
     assert Some(1) != Nothing()
     assert Some(1) != Some(2)
     assert not (Some(1) != Some(1))
@@ -60,6 +61,14 @@ def test_some() -> None:
     assert res.some_value == 'haha'
 
 
+def test_some_guard() -> None:
+    assert is_some(Some(1))
+
+
+def test_nothing_guard() -> None:
+    assert is_nothing(Nothing())
+
+
 def test_nothing() -> None:
     res = Nothing()
     assert res.is_some() is False
@@ -185,7 +194,7 @@ def test_slots() -> None:
 
 
 def sq(i: int) -> Maybe[int]:
-    return Some(i * i)
+    return Some(i**2)
 
 
 def to_nothing(_: int) -> Maybe[int]:

tests/type-checking/test_maybe.yml

@@ -92,7 +92,7 @@
     some = personalized_greeting.some()
     reveal_type(some) # N: Revealed type is "Union[builtins.str, None]"
 
-- case: map_maybe
+- case: typeguard
   disable_cache: false
   main: |
     from maybe import Maybe, Some, Nothing, is_some, is_nothing