Add support for type-checking TypedDict objects.

spec_classes/utils/type_checking.py

@@ -13,10 +13,18 @@
     TypeVar,
     Union,
     _GenericAlias,
+    get_type_hints,
 )
 
 # pylint: disable=protected-access
-from typing_extensions import Literal as LiteralExtension
+from typing_extensions import (
+    Literal as LiteralExtension,
+)
+from typing_extensions import (
+    NotRequired,
+    Required,
+    is_typeddict,
+)
 
 try:
     from typing import Literal
@@ -48,6 +56,25 @@
     if sys.version_info >= (3, 10) and isinstance(attr_type, types.UnionType):
         return any(check_type(value, type_) for type_ in attr_type.__args__)
 
+    if is_typeddict(attr_type):  # we are dealinq with a TypedDict
+        if not isinstance(value, dict):
+            return False
+        keys = set(value.keys())
+        if attr_type.__required_keys__.difference(keys):
+            return False
+        if keys.difference(attr_type.__required_keys__).difference(
+            attr_type.__optional_keys__
+        ):
+            return False
+        annotations = get_type_hints(attr_type)
+        for key, value in value.items():
+            subattr_type = annotations[key]
+            if getattr(subattr_type, "__origin__", None) in (Required, NotRequired):
+                subattr_type = subattr_type.__args__[0]
+            if not check_type(value, subattr_type):
+                return False
+        return True
+
     if hasattr(attr_type, "__origin__"):  # we are dealing with a `typing` object.
         if attr_type.__origin__ is Union:
             return any(check_type(value, type_) for type_ in attr_type.__args__)

tests/utils/test_type_checking.py

@@ -1,7 +1,7 @@
 import sys
 from typing import Any, Callable, Dict, List, Set, Tuple, Type, TypeVar, Union
 
-from typing_extensions import Literal
+from typing_extensions import Literal, NotRequired, Required, TypedDict
 
 from spec_classes import spec_class
 from spec_classes.types import KeyedList, KeyedSet
@@ -130,3 +130,40 @@ def test_type_instantiate(self):
         assert type_instantiate(List[str]) == []
         assert type_instantiate(dict, a=1) == {"a": 1}
         assert type_instantiate(Dict[str, int], a=1) == {"a": 1}
+
+    def test_typed_dict(self):
+        class Movie(TypedDict):
+            name: str
+            year: int
+
+        assert check_type({"name": "The Matrix", "year": 1999}, Movie)
+        assert not check_type({"name": "The Matrix"}, Movie)
+        assert not check_type({"name": "The Matrix", "year": "1999"}, Movie)
+
+        class NonTotalMovie(TypedDict, total=False):
+            name: str
+            year: int
+
+        assert check_type({"name": "The Matrix", "year": 1999}, NonTotalMovie)
+        assert check_type({"name": "The Matrix"}, NonTotalMovie)
+
+        class AnnotatedMovie(TypedDict):
+            name: Required[str]
+            year: NotRequired[int]
+
+        assert check_type({"name": "The Matrix"}, AnnotatedMovie)
+        assert not check_type({"year": 1999}, AnnotatedMovie)
+
+        class PartiallyAnnotatedMovie(TypedDict):
+            name: str
+            year: NotRequired[int]
+
+        assert check_type({"name": "The Matrix"}, PartiallyAnnotatedMovie)
+        assert not check_type({"year": 1999}, PartiallyAnnotatedMovie)
+
+        class PartiallyAnnotatedMovie2(TypedDict, total=False):
+            name: Required[str]
+            year: int
+
+        assert check_type({"name": "The Matrix"}, PartiallyAnnotatedMovie2)
+        assert not check_type({"year": 1999}, PartiallyAnnotatedMovie2)