pythonic-fp-gadgets 4.4.0__tar.gz → 4.6.0__tar.gz

{pythonic_fp_gadgets-4.4.0 → pythonic_fp_gadgets-4.6.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pythonic-fp-gadgets
-Version: 4.4.0
+Version: 4.6.0
 Summary: Gadgets without external Pythonic FP dependencies.
 Keywords: gadgets,no-external-dependencies
 Author-email: "Geoffrey R. Scheller" <geoffrey@scheller.com>

{pythonic_fp_gadgets-4.4.0 → pythonic_fp_gadgets-4.6.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "flit_core.buildapi"
 
 [project]
 name = "pythonic-fp-gadgets"
-version = "4.4.0"
+version = "4.6.0"
 description = "Gadgets without external Pythonic FP dependencies."
 readme = "README.md"
 requires-python = ">=3.14"  # floor: PEP 649/749 deferred annotations — class-level self-reference (SBool in its own ClassVar annotation) NameErrors on <3.14

{pythonic_fp_gadgets-4.4.0 → pythonic_fp_gadgets-4.6.0}/src/pythonic_fp/gadgets/__init__.py

@@ -27,7 +27,6 @@ Gadgets
 """
 
 from collections.abc import Iterator
-from inspect import getmro
 
 __all__ = ['first_common_ancestor', 'iterate_over_arguments']
 
@@ -38,27 +37,33 @@ __license__ = 'Apache License 2.0'
 
 def first_common_ancestor(cls1: type, cls2: type) -> type:
     """
-    .. admonition:: Least upper bound
+    .. admonition:: First common ancestor
 
-        Find the least upper bound in the inheritance graph
-        of two classes.
+        Best effort to find the least upper bound in the inheritance
+        graph of two classes.
 
         :param cls1: A class in the inheritance hierarchy.
         :param cls2: A class in the inheritance hierarchy.
-        :returns: First common ancestor based on ``getmro`` order.
-        :raises TypeError: Raised when no common ancestor exists, or when
-                           not caught when raised by ``inspect.getmro``.
+        :returns: First common ancestor in ``cls1.__mro__`` order.
+        :raises TypeError: Defensively raised when no common ancestor
+                           is found.
 
-        .. warning::
+        .. note::
+
+            The function is not symmetric in its arguments. In genuine
+            multiple inheritance graphs, swapping ``cls1`` and ``cls2``
+            can yield a different ancestor. Also, a virtual ancestor
+            registered with an ABC may be a tighter bound than anything
+            in the actual MRO.
 
-            This function can fail with a TypeError. Some error messages
-            seen are
+        .. note::
 
-            - multiple bases have instance lay-out conflict
-            - type 'bool' is not an acceptable base type
+            Since ``object`` terminates all actual MRO's, ``TypeError``
+            is unlikely to ever be thrown, except in the case of some
+            exotic metaclass breaking this assumption. This exception
+            is here mainly to let typing tools know that object ``None``
+            is not a possible return type.
 
-            This happens frequently when the function is given
-            Python builtin types or in multiple inheritance situations.
 
     """
     if issubclass(cls1, cls2):
@@ -66,10 +71,10 @@ def first_common_ancestor(cls1: type, cls2: type) -> type:
     if issubclass(cls2, cls1):
         return cls1
 
-    for common_ancestor in getmro(type('LcaDiamondClass', (cls1, cls2), {})):
-        if issubclass(cls1, common_ancestor) and issubclass(cls2, common_ancestor):
-            return common_ancestor
-    raise TypeError("latest_common_ancestor: no common ancestor found!!!")
+    for ancestor in cls1.__mro__:
+        if issubclass(cls2, ancestor):
+            return ancestor
+    raise TypeError("first_common_ancestor: no common ancestor found!")
 
 
 def iterate_over_arguments[A](*args: A) -> Iterator[A]:

{pythonic_fp_gadgets-4.4.0 → pythonic_fp_gadgets-4.6.0}/src/pythonic_fp/gadgets/box.py

@@ -13,7 +13,7 @@
 # limitations under the License.
 
 from collections.abc import Callable, Iterator
-from typing import cast, Final, overload
+from typing import Final, cast, overload
 
 __all__ = ['Box']
 
@@ -105,9 +105,7 @@ class Box[T]:
 
         if self._item is other._item:
             return True
-        if self._item == other._item:
-            return True
-        return False
+        return self._item == other._item
 
     def __repr__(self) -> str:
         """
@@ -199,7 +197,6 @@ class Box[T]:
         else:
             msg = 'Box: Trying to push an item in a non-empty Box'
             raise ValueError(msg)
-        return None
 
     def put(self, item: T) -> None:
         """
@@ -228,7 +225,7 @@ class Box[T]:
         self._item = new_item
         return popped
 
-    def map[U](self, f: Callable[[T], U]) -> 'Box[U]':
+    def map[U](self, f: Callable[[T], U]) -> Box[U]:
         """
         .. admonition:: Map
 
@@ -243,7 +240,7 @@ class Box[T]:
             return Box()
         return Box(f(cast(T, self._item)))
 
-    def bind[U](self, f: Callable[[T], 'Box[U]']) -> 'Box[U]':
+    def bind[U](self, f: Callable[[T], Box[U]]) -> Box[U]:
         """
         .. admonition:: Bind
 

{pythonic_fp_gadgets-4.4.0 → pythonic_fp_gadgets-4.6.0}/src/pythonic_fp/gadgets/wrap.py

@@ -147,7 +147,7 @@ class HWrap[T: Hashable](Hashable):
 
         .. tip::
 
-            ``HWrap`` objects are hashable and matchable.
+            ``HWrap`` objects are matchable and hashable.
 
     """
 
@@ -163,7 +163,7 @@ class HWrap[T: Hashable](Hashable):
             :param item: Item to be wrapped.
 
         """
-        self._item, self._hash = item, hash(item)
+        self._item, self._hash = item, hash((item, '_hwrap'))
 
     def __hash__(self) -> int:
         return self._hash

pythonic_fp_gadgets-4.4.0/src/pythonic_fp/gadgets/sentinels/flavored.pyi

@@ -1,8 +0,0 @@
-from typing import Hashable
-
-__all__ = ['Sentinel']
-
-class Sentinel[H: Hashable]:
-    def __new__(cls, flavor: H) -> Sentinel[H]: ...
-    def __init__(self, flavor: H) -> None: ...
-    def flavor(self) -> H: ...

pythonic_fp_gadgets-4.4.0/src/pythonic_fp/gadgets/sentinels/novalue.pyi

@@ -1,8 +0,0 @@
-__all__ = ['NoValue']
-
-class NoValue:
-    def __new__(cls) -> NoValue: ...
-    def __hash__(self) -> int: ...
-    def __bool__(self) -> bool: ...
-    def __eq__(self, other: object) -> bool: ...
-    def __ne__(self, other: object) -> bool: ...