Closes #248

Author: sobolevn

CHANGELOG.md

@@ -7,7 +7,8 @@ We follow Semantic Versions since the `0.1.0` release.
 
 ### Features
 
-- Adds support for multiple type arguments in `Supports` type
+- Adds support for multiple type arguments in `Supports` type #244
+- Adds support for types that have `__instancecheck__` defined #248
 
 ### Bugfixes
 

classes/_typeclass.py

@@ -520,6 +520,12 @@ def decorator(implementation):
             container = self._protocols if is_protocol else self._instances
             container[type_argument] = implementation  # type: ignore
 
+            if getattr(type_argument, '__instancecheck__', None):
+                # This means that this type has `__instancecheck__` defined,
+                # which allows dynamic checks of what `isinstance` of this type.
+                # That's why we also treat this type as a protocol.
+                self._protocols[type_argument] = implementation
+
             if self._cache_token is None:  # pragma: no cover
                 if getattr(type_argument, '__abstractmethods__', None):
                     self._cache_token = get_cache_token()

docs/pages/concept.rst

@@ -95,6 +95,47 @@ to be specified on ``.instance()`` call:
   >>> assert to_json([1, 'a', None]) == '[1, "a", null]'
 
 
+``__instancecheck__`` magic method
+----------------------------------
+
+We also support types that have ``__instancecheck__`` magic method defined,
+like `phantom-types <https://github.com/antonagestam/phantom-types>`_.
+
+We treat them similar to ``Protocol`` types, by checking passed values
+with ``isinstance`` for each type with ``__instancecheck__`` defined.
+First match wins.
+
+Example:
+
+.. code:: python
+
+  >>> from classes import typeclass
+
+  >>> class Meta(type):
+  ...     def __instancecheck__(self, other) -> bool:
+  ...         return other == 1
+
+  >>> class Some(object, metaclass=Meta):
+  ...     ...
+
+  >>> @typeclass
+  ... def some(instance) -> int:
+  ...     ...
+
+  >>> @some.instance(Some)
+  ... def _some_some(instance: Some) -> int:
+  ...     return 2
+
+  >>> assert some(1) == 2
+
+.. note::
+
+  It is impossible for ``mypy`` to understand that ``1`` has ``Some``
+  type in this example. Be careful, it might break your code!
+
+  Consider that this feature is limited to ``phantom-types``.
+
+
 Type resolution order
 ---------------------