adding matcher POC

src/pact/v3/match/types.py

@@ -2,32 +2,9 @@
 Typing definitions for the matchers.
 """
 
-from __future__ import annotations
+from typing import Any, TypeAlias
 
-from abc import ABC, abstractmethod
-from typing import Any, Mapping, Sequence, Union
-
-AtomicType = Union[str, int, float, bool, None]
-
-
-class Matcher(ABC):
-    """
-    Matcher interface for exporting.
-    """
-
-    @abstractmethod
-    def to_dict(self) -> dict[str, Any]:
-        """
-        Convert the matcher to a dictionary for json serialization.
-        """
-
-
-MatchType = Union[
-    AtomicType,
-    Matcher,
-    dict[AtomicType, "MatchType"],
-    list["MatchType"],
-    tuple["MatchType"],
-    Sequence["MatchType"],
-    Mapping[AtomicType, "MatchType"],
-]
+Matchable: TypeAlias = Any
+"""
+All supported matchable types.
+"""

src/pact/v3/match/types.pyi

@@ -0,0 +1,36 @@
+from collections.abc import Collection, Mapping, Sequence
+from collections.abc import Set as AbstractSet
+from decimal import Decimal
+from fractions import Fraction
+from typing import TypeAlias
+
+from pydantic import BaseModel
+
+_BaseMatchable: TypeAlias = (
+    int | float | complex | bool | str | bytes | bytearray | memoryview | None
+)
+"""
+Base types that generally can't be further decomposed.
+
+See: https://docs.python.org/3/library/stdtypes.html
+"""
+
+_ContainerMatchable: TypeAlias = (
+    Sequence[Matchable]
+    | AbstractSet[Matchable]
+    | Mapping[_BaseMatchable, Matchable]
+    | Collection[Matchable]
+)
+"""
+Containers that can be further decomposed.
+
+These are defined based on the abstract base classes defined in the
+[`collections.abc`][collections.abc] module.
+"""
+
+_ExtraMatchable: TypeAlias = BaseModel | Decimal | Fraction
+
+Matchable: TypeAlias = _BaseMatchable | _ContainerMatchable | _ExtraMatchable
+"""
+All supported matchable types.
+"""