Improve Generic list and set typing

updates:
- [github.com/pre-commit/pre-commit-hooks: v4.5.0 → v4.6.0](https://github.com/pre-commit/pre-commit-hooks/compare/v4.5.0...v4.6.0)
- [github.com/pre-commit/mirrors-mypy: v1.9.0 → v1.10.0](https://github.com/pre-commit/mirrors-mypy/compare/v1.9.0...v1.10.0)

.pre-commit-config.yaml

@@ -1,6 +1,6 @@
 repos:
 -   repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v4.5.0
+    rev: v4.6.0
     hooks:
     -   id: trailing-whitespace
     -   id: end-of-file-fixer
@@ -28,20 +28,21 @@ repos:
     hooks:
     -   id: dead
 -   repo: https://github.com/asottile/pyupgrade
-    rev: v3.15.1
+    rev: v3.15.2
     hooks:
     -   id: pyupgrade
         args: [--py38-plus]
+        exclude: tests
 -   repo: https://github.com/hhatto/autopep8
-    rev: v2.0.4
+    rev: v2.1.0
     hooks:
     -   id: autopep8
 -   repo: https://github.com/PyCQA/flake8
     rev: 7.0.0
     hooks:
     -   id: flake8
-        additional_dependencies: [flake8-encodings, flake8-warnings, flake8-builtins, flake8-length, flake8-print]
+        additional_dependencies: [flake8-encodings, flake8-warnings, flake8-builtins, flake8-print]
 -   repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v1.8.0
+    rev: v1.10.0
     hooks:
     -   id: mypy

settngs/__init__.py

@@ -2,20 +2,25 @@ from __future__ import annotations
 
 import argparse
 import copy
+import inspect
 import json
 import logging
 import pathlib
 import re
 import sys
 import typing
+import warnings
 from argparse import Namespace
 from collections import defaultdict
 from collections.abc import Sequence
+from collections.abc import Set
 from typing import Any
 from typing import Callable
 from typing import cast
+from typing import Collection
 from typing import Dict
 from typing import Generic
+from typing import get_args
 from typing import NoReturn
 from typing import TYPE_CHECKING
 from typing import TypeVar
@@ -23,6 +28,8 @@ from typing import Union
 
 logger = logging.getLogger(__name__)
 
+NoneType = type(None)
+
 if sys.version_info < (3, 11):  # pragma: no cover
     from typing_extensions import NamedTuple
 else:  # pragma: no cover
@@ -39,6 +46,13 @@ if sys.version_info < (3, 9):  # pragma: no cover
         else:
             return self[:]
 
+    def get_typing_type(t: type) -> type:
+        if t.__module__ == 'builtins':
+            if t is NoneType:
+                return None
+            return getattr(typing, t.__name__.title(), t)
+        return t
+
     class BooleanOptionalAction(argparse.Action):
         def __init__(
             self,
@@ -75,7 +89,7 @@ if sys.version_info < (3, 9):  # pragma: no cover
                 metavar=metavar,
             )
 
-        def __call__(self, parser, namespace, values, option_string=None):  # dead: disable
+        def __call__(self, parser, namespace, values, option_string=None):  # pragma: no cover dead: disable
             if option_string in self.option_strings:
                 setattr(namespace, self.dest, not option_string.startswith('--no-'))
 else:  # pragma: no cover
@@ -84,8 +98,11 @@ else:  # pragma: no cover
     from argparse import BooleanOptionalAction
     removeprefix = str.removeprefix
 
+    def get_typing_type(t: type) -> type | None:
+        return None if t is NoneType else t
 
-def _isnamedtupleinstance(x: Any) -> bool:
+
+def _isnamedtupleinstance(x: Any) -> bool:  # pragma: no cover
     t = type(x)
     b = t.__bases__
 
@@ -152,11 +169,12 @@ class Setting:
             raise ValueError('names must be specified')
         # We prefix the destination name used by argparse so that there are no conflicts
         # Argument names will still cause an exception if there is a conflict e.g. if '-f' is defined twice
-        self.internal_name, setting_name, dest, self.flag = self.get_dest(group, names, dest)
+        self.internal_name, self.setting_name, dest, self.flag = self.get_dest(group, names, dest)
         args: Sequence[str] = names
 
         # We then also set the metavar so that '--config' in the group runtime shows as 'CONFIG' instead of 'RUNTIME_CONFIG'
-        if not metavar and action not in ('store_true', 'store_false', 'count'):
+        if not metavar and action not in ('store_true', 'store_false', 'count', 'help', 'version'):
+            if not callable(action) or 'metavar' in inspect.signature(action).parameters.keys():
                 metavar = dest.upper()
 
         # If we are not a flag, no '--' or '-' in front
@@ -174,7 +192,6 @@ class Setting:
         self.help = help
         self.metavar = metavar
         self.dest = dest
-        self.setting_name = setting_name
         self.cmdline = cmdline
         self.file = file
         self.argparse_args = args
@@ -206,57 +223,115 @@ class Setting:
             return NotImplemented
         return self.__dict__ == other.__dict__
 
-    def _guess_type(self) -> type | str | None:
+    __no_type = object()
-        if self.type is None and self.action is None:
+
-            if self.cmdline:
+    def _guess_collection(self) -> tuple[type | str | None, bool]:
-                if self.nargs in ('+', '*') or isinstance(self.nargs, int) and self.nargs > 1:
+        def get_item_type(x: Any) -> type | None:
-                    return List[str]
+            if x is None or not isinstance(x, (Set, Sequence)) or len(x) == 0:
-                return str
+                t = self._process_type()  # Specifically this is needed when using the extend action
-            else:
+                if typing.get_args(t):  # We need the item type not the type of the collection
-                if not self.cmdline and self.default is not None:
+                    return typing.get_args(t)[0]  # type: ignore[no-any-return]
-                    if not isinstance(self.default, str) and not _isnamedtupleinstance(self.default) and isinstance(self.default, Sequence) and self.default and self.default[0]:
+
+                # Return None so that we get the default
+                return None if t is None else self.__no_type  # type: ignore[return-value]
+            if isinstance(x, Set):
+                return type(next(iter(x)))
+            return type(x[0])
+
         try:
-                            return cast(type, type(self.default)[type(self.default[0])])
+            list_type = self._process_type()
+            # if the type is a generic alias than return it immediately
+            if isinstance(list_type, types_GenericAlias) and issubclass(list_type.__origin__, Collection):
+                return list_type, self.default is None
+
+            # Ensure that generic aliases work for python 3.8
+            if list_type is not None:
+                list_type = get_typing_type(list_type)
+            else:
+                list_type = get_typing_type(type(self.default))
+
+            # Default to a list if we don't know what type of collection this is
+            if list_type is None or not issubclass(list_type, Collection):
+                list_type = List
+
+            # Get the item type (int) in list[int]
+            it = get_item_type(self.default)
+            if isinstance(self.type, type):
+                it = self.type
+
+            if it is self.__no_type:
+                return self._process_type() or List[str], self.default is None
+
+            # Try to get the generic alias for this type
+            if it is not None:
+                try:
+                    ret = cast(type, list_type[it]), self.default is None  # type: ignore[index]
+                    return ret
                 except Exception:
                     ...
-                    return type(self.default)
-                return 'Any'
 
+            # Fall back to list[str] if anything fails
+            return list_type[str], self.default is None  # type: ignore[index]
+        except Exception:
+            return None, self.default is None
+
+    def _process_type(self) -> type | None:
+        if self.type is None:
+            return None
         if isinstance(self.type, type):
             return self.type
 
-        if self.type is not None:
+        return typing.get_type_hints(self.type).get('return', None)  # type: ignore[no-any-return]
-            type_hints = typing.get_type_hints(self.type)
+
-            if 'return' in type_hints:
+    def _guess_type_internal(self) -> tuple[type | str | None, bool]:
-                t: type | str = type_hints['return']
+        default_is_none = self.default is None
-                return t
+        __action_to_type = {
+            'store_true': (bool, False),
+            'store_false': (bool, False),
+            BooleanOptionalAction: (bool, default_is_none),
+            'store_const': (type(self.const), default_is_none),
+            'count': (int, default_is_none),
+            'extend': self._guess_collection(),
+            'append_const': (List[type(self.const)], default_is_none),  # type: ignore[misc]
+            'help': (None, default_is_none),
+            'version': (None, default_is_none),
+        }
+
+        # Process standard actions
+        if self.action in __action_to_type:
+            return __action_to_type[self.action]
+
+        # nargs > 1 is always a list
+        if self.nargs in ('+', '*') or isinstance(self.nargs, int) and self.nargs > 1:
+            return self._guess_collection()
+
+        # Process the type argument
+        type_type = self._process_type()
+        if type_type is not None:
+            return type_type, default_is_none
+
+        # Check if a default value was given.
         if self.default is not None:
-                if not isinstance(self.default, str) and not _isnamedtupleinstance(self.default) and isinstance(self.default, Sequence) and self.default and self.default[0]:
+            if not isinstance(self.default, str) and not _isnamedtupleinstance(self.default) and isinstance(self.default, (Set, Sequence)):
-                    try:
+                return self._guess_collection()
-                        return cast(type, type(self.default)[type(self.default[0])])
+            # The type argument will convert this if it is a string. We only get here if type is a function without type hints
-                    except Exception:
+            if not (isinstance(self.default, str) and self.type is not None):
-                        ...
+                return type(self.default), default_is_none
-                return type(self.default)
-            return 'Any'
 
-        if self.action in ('store_true', 'store_false', BooleanOptionalAction):
+        # There is no way to detemine the type from an action
-            return bool
+        if callable(self.action):
+            return 'Any', default_is_none
 
-        if self.action in ('store_const',):
+        # Finally if this is a commandline argument it will default to a string
-            return type(self.const)
+        if self.cmdline and self.type is None:
+            return str, default_is_none
+        # For file only settings it will default to Any
+        return 'Any', default_is_none
 
-        if self.action in ('count',):
+    def _guess_type(self) -> tuple[type | str | None, bool]:
-            return int
+        if self.action == 'append':
-
+            return List[self._guess_type_internal()[0]], self.default is None  # type: ignore[misc]
-        if self.action in ('append', 'extend'):
+        return self._guess_type_internal()
-            return List[str]
-
-        if self.action in ('append_const',):
-            return list  # list[type(self.const)]
-
-        if self.action in ('help', 'version'):
-            return None
-        return 'Any'
 
     def get_dest(self, prefix: str, names: Sequence[str], dest: str | None) -> tuple[str, str, str, bool]:
         setting_name = None
@@ -316,47 +391,59 @@ if TYPE_CHECKING:
     ns = Namespace | TypedNS | Config[T] | None
 
 
-def generate_ns(definitions: Definitions) -> str:
+def _type_to_string(t: type | str) -> tuple[str, str]:
-    initial_imports = ['from __future__ import annotations', '', 'import settngs', '']
-    imports: Sequence[str] | set[str]
-    imports = set()
-
-    attributes = []
-    for group in definitions.values():
-        for setting in group.v.values():
-            t = setting._guess_type()
-            if t is None:
-                continue
-            # Default to any
     type_name = 'Any'
-
+    import_needed = ''
     # Take a string as is
     if isinstance(t, str):
         type_name = t
     # Handle generic aliases eg dict[str, str] instead of dict
     elif isinstance(t, types_GenericAlias):
+        if not get_args(t):
+            t = t.__origin__.__name__
         type_name = str(t)
     # Handle standard type objects
     elif isinstance(t, type):
         type_name = t.__name__
         # Builtin types don't need an import
         if t.__module__ != 'builtins':
-                    imports.add(f'import {t.__module__}')
+            import_needed = f'import {t.__module__}'
             # Use the full imported name
             type_name = t.__module__ + '.' + type_name
 
     # Expand Any to typing.Any
     if type_name == 'Any':
         type_name = 'typing.Any'
+    return type_name, import_needed
 
+
+def generate_ns(definitions: Definitions) -> tuple[str, str]:
+    initial_imports = ['from __future__ import annotations', '', 'import settngs']
+    imports: Sequence[str] | set[str]
+    imports = set()
+
+    attributes = []
+    used_attributes: set[str] = set()
+    for group in definitions.values():
+        for setting in group.v.values():
+            t, noneable = setting._guess_type()
+            if t is None:
+                continue
+            type_name, import_needed = _type_to_string(t)
+            imports.add(import_needed)
+
+            if noneable and type_name not in ('typing.Any', 'None'):
+                attribute = f'    {setting.internal_name}: {type_name} | None'
+            else:
                 attribute = f'    {setting.internal_name}: {type_name}'
-            if attribute not in attributes:
+            if setting.internal_name not in used_attributes:
+                used_attributes.add(setting.internal_name)
                 attributes.append(attribute)
         # Add a blank line between groups
         if attributes and attributes[-1] != '':
             attributes.append('')
 
-    ns = 'class settngs_namespace(settngs.TypedNS):\n'
+    ns = 'class SettngsNS(settngs.TypedNS):\n'
     # Add a '...' expression if there are no attributes
     if not attributes or all(x == '' for x in attributes):
         ns += '    ...\n'
@@ -367,10 +454,58 @@ def generate_ns(definitions: Definitions) -> str:
         initial_imports.append('import typing')
 
     # Remove the possible duplicate typing import
-    imports = sorted(list(imports - {'import typing'}))
+    imports = sorted(imports - {'import typing', ''})
 
     # Merge the imports the ns class definition and the attributes
-    return '\n'.join(initial_imports + imports) + '\n\n\n' + ns + '\n'.join(attributes)
+    return '\n'.join(initial_imports + imports), ns + '\n'.join(attributes)
+
+
+def generate_dict(definitions: Definitions) -> tuple[str, str]:
+    initial_imports = ['from __future__ import annotations', '', 'import typing']
+    imports: Sequence[str] | set[str]
+    imports = set()
+
+    groups_are_identifiers = all(n.isidentifier() for n in definitions.keys())
+    classes = []
+    for group_name, group in definitions.items():
+        attributes = []
+        used_attributes: set[str] = set()
+        for setting in group.v.values():
+            t, no_default = setting._guess_type()
+            if t is None:
+                continue
+            type_name, import_needed = _type_to_string(t)
+            imports.add(import_needed)
+
+            if no_default and type_name not in ('typing.Any', 'None'):
+                attribute = f'    {setting.dest}: {type_name} | None'
+            else:
+                attribute = f'    {setting.dest}: {type_name}'
+            if setting.dest not in used_attributes:
+                used_attributes.add(setting.dest)
+                attributes.append(attribute)
+        if not attributes or all(x == '' for x in attributes):
+            attributes = ['    ...']
+        classes.append(
+            f'class {sanitize_name(group_name)}(typing.TypedDict):\n'
+            + '\n'.join(attributes) + '\n\n',
+        )
+
+    # Remove the possible duplicate typing import
+    imports = sorted(list(imports - {'import typing', ''}))
+
+    if groups_are_identifiers:
+        ns = '\nclass SettngsDict(typing.TypedDict):\n'
+        ns += '\n'.join(f'    {n}: {sanitize_name(n)}' for n in definitions.keys())
+    else:
+        ns = '\nSettngsDict = typing.TypedDict(\n'
+        ns += "    'SettngsDict', {\n"
+        for n in definitions.keys():
+            ns += f'        {n!r}: {sanitize_name(n)},\n'
+        ns += '    },\n'
+        ns += ')\n'
+    # Merge the imports the ns class definition and the attributes
+    return '\n'.join(initial_imports + imports), '\n'.join(classes) + ns + '\n'
 
 
 def sanitize_name(name: str) -> str:
@@ -624,12 +759,17 @@ def create_argparser(definitions: Definitions, description: str, epilog: str) ->
     argparser = argparse.ArgumentParser(
         description=description, epilog=epilog, formatter_class=argparse.RawTextHelpFormatter,
     )
-    for group in definitions.values():
+
-        for setting in group.v.values():
+    def get_current_group(setting: Setting) -> ArgParser:
-            if setting.cmdline:
+
-                argparse_args, argparse_kwargs = setting.to_argparse()
+        if not setting.group:
-                current_group: ArgParser = argparser
+            return argparser
-                if setting.group:
+
+        # Hard coded exception for positional arguments
+        # Ensures that the option shows at the top of the help output
+        if 'runtime' in setting.group.casefold() and setting.nargs == '*' and not setting.flag:
+            return argparser
+
         if setting.group not in groups:
             if setting.exclusive:
                 groups[setting.group] = argparser.add_argument_group(
@@ -637,13 +777,17 @@ def create_argparser(definitions: Definitions, description: str, epilog: str) ->
                 ).add_mutually_exclusive_group()
             else:
                 groups[setting.group] = argparser.add_argument_group(setting.group)
+        return groups[setting.group]
+    with warnings.catch_warnings():
+        warnings.filterwarnings('ignore', message="'metavar", category=DeprecationWarning, module='argparse')
+
+        for group in definitions.values():
+            for setting in group.v.values():
+                if not setting.cmdline:
+                    continue
+                argparse_args, argparse_kwargs = setting.to_argparse()
+                current_group: ArgParser = get_current_group(setting)
 
-                    # Hard coded exception for positional arguments
-                    # Ensures that the option shows at the top of the help output
-                    if 'runtime' in setting.group.casefold() and setting.nargs == '*' and not setting.flag:
-                        current_group = argparser
-                    else:
-                        current_group = groups[setting.group]
                 current_group.add_argument(*argparse_args, **argparse_kwargs)
     return argparser
 
@@ -732,9 +876,12 @@ class Manager:
             return Config(c, self.definitions)
         return c
 
-    def generate_ns(self) -> str:
+    def generate_ns(self) -> tuple[str, str]:
         return generate_ns(self.definitions)
 
+    def generate_dict(self) -> tuple[str, str]:
+        return generate_dict(self.definitions)
+
     def create_argparser(self) -> None:
         self.argparser = create_argparser(self.definitions, self.description, self.epilog)
 
@@ -948,6 +1095,7 @@ def example_group(manager: Manager) -> None:
     manager.add_setting(
         '--verbose', '-v',
         default=False,
+        metavar='nothing',
         action=BooleanOptionalAction,  # Added in Python 3.9
     )
 

setup.cfg

@@ -31,7 +31,7 @@ exclude =
 settngs = py.typed
 
 [tox:tox]
-envlist = py3.8,py3.9,py3.10,py3.11,pypy3
+envlist = py3.8,py3.9,py3.10,py3.11,py3.12,pypy3
 
 [testenv]
 deps = -rrequirements-dev.txt

tests/settngs_test.py

@@ -6,7 +6,6 @@ import json
 import pathlib
 import sys
 from collections import defaultdict
-from textwrap import dedent
 from typing import Generator
 
 import pytest
@@ -20,6 +19,7 @@ from testing.settngs import success
 
 if sys.version_info >= (3, 10):  # pragma: no cover
     List = list
+    Set = set
     help_output = '''\
 usage: __main__.py [-h] [TEST ...]
 
@@ -31,6 +31,7 @@ options:
 '''
 elif sys.version_info < (3, 9):  # pragma: no cover
     from typing import List
+    from typing import Set
     help_output = '''\
 usage: __main__.py [-h] [TEST [TEST ...]]
 
@@ -43,6 +44,7 @@ optional arguments:
 
 else:  # pragma: no cover
     List = list
+    Set = set
     help_output = '''\
 usage: __main__.py [-h] [TEST ...]
 
@@ -619,6 +621,18 @@ def _typed_function(something: str) -> test_type:  # pragma: no cover
     return test_type()
 
 
+def _typed_list_generic_function(something: test_type) -> List[test_type]:  # pragma: no cover
+    return [test_type()]
+
+
+def _typed_list_function() -> List:   # type: ignore[type-arg] # pragma: no cover
+    return []
+
+
+def _typed_set_function() -> Set:  # type: ignore[type-arg] # pragma: no cover
+    return set()
+
+
 def _untyped_function(something):
     ...
 
@@ -645,88 +659,183 @@ class _customAction(argparse.Action):  # pragma: no cover
             help=help,
         )
 
-    def __call__(self, parser, namespace, values, option_string=None):
+    def __call__(self, parser, namespace, values, option_string=None):  # pragma: no cover
         setattr(namespace, self.dest, 'Something')
 
 
 types = (
-    (settngs.Setting('-t', '--test'), str),
+    (0, settngs.Setting('-t', '--test'), str, True),
-    (settngs.Setting('-t', '--test', cmdline=False), 'Any'),
+    (1, settngs.Setting('-t', '--test', cmdline=False), 'Any', True),
-    (settngs.Setting('-t', '--test', default=1, file=True, cmdline=False), int),
+    (2, settngs.Setting('-t', '--test', default=1, file=True, cmdline=False), int, False),
-    (settngs.Setting('-t', '--test', action='count'), int),
+    (3, settngs.Setting('-t', '--test', default='test'), str, False),
-    (settngs.Setting('-t', '--test', action='append'), List[str]),
+    (4, settngs.Setting('-t', '--test', default='test', file=True, cmdline=False), str, False),
-    (settngs.Setting('-t', '--test', action='extend'), List[str]),
+    (5, settngs.Setting('-t', '--test', action='count'), int, True),
-    (settngs.Setting('-t', '--test', action='store_const', const=1), int),
+    (6, settngs.Setting('-t', '--test', action='append'), List[str], True),
-    (settngs.Setting('-t', '--test', action='append_const', const=1), list),
+    (7, settngs.Setting('-t', '--test', action='extend'), List[str], True),
-    (settngs.Setting('-t', '--test', action='store_true'), bool),
+    (8, settngs.Setting('-t', '--test', nargs='+'), List[str], True),
-    (settngs.Setting('-t', '--test', action='store_false'), bool),
+    (9, settngs.Setting('-t', '--test', action='store_const', const=1), int, True),
-    (settngs.Setting('-t', '--test', action=settngs.BooleanOptionalAction), bool),
+    (10, settngs.Setting('-t', '--test', action='append_const', const=1), List[int], True),
-    (settngs.Setting('-t', '--test', action=_customAction), 'Any'),
+    (11, settngs.Setting('-t', '--test', action='store_true'), bool, False),
-    (settngs.Setting('-t', '--test', action='help'), None),
+    (12, settngs.Setting('-t', '--test', action='store_false'), bool, False),
-    (settngs.Setting('-t', '--test', action='version'), None),
+    (13, settngs.Setting('-t', '--test', action=settngs.BooleanOptionalAction), bool, True),
-    (settngs.Setting('-t', '--test', type=int), int),
+    (14, settngs.Setting('-t', '--test', action=_customAction), 'Any', True),
-    (settngs.Setting('-t', '--test', type=_typed_function), test_type),
+    (15, settngs.Setting('-t', '--test', action='help'), None, True),
-    (settngs.Setting('-t', '--test', type=_untyped_function, default=1), int),
+    (16, settngs.Setting('-t', '--test', action='version'), None, True),
-    (settngs.Setting('-t', '--test', type=_untyped_function), 'Any'),
+    (17, settngs.Setting('-t', '--test', type=int), int, True),
+    (18, settngs.Setting('-t', '--test', type=int, nargs='+'), List[int], True),
+    (19, settngs.Setting('-t', '--test', type=_typed_function), test_type, True),
+    (20, settngs.Setting('-t', '--test', type=_untyped_function, default=1), int, False),
+    (21, settngs.Setting('-t', '--test', type=_untyped_function, default=[1]), List[int], False),
+    (22, settngs.Setting('-t', '--test', type=_untyped_function), 'Any', True),
+    (23, settngs.Setting('-t', '--test', type=_untyped_function, default={1}), Set[int], False),
+    (24, settngs.Setting('-t', '--test', action='append', type=int), List[int], True),
+    (25, settngs.Setting('-t', '--test', action='extend', type=int, nargs=2), List[int], True),
+    (26, settngs.Setting('-t', '--test', action='append', type=int, nargs=2), List[List[int]], True),
+    (27, settngs.Setting('-t', '--test', action='extend', nargs='+'), List[str], True),
+    (28, settngs.Setting('-t', '--test', action='extend', type=_typed_list_generic_function), List[test_type], True),
+    (29, settngs.Setting('-t', '--test', action='extend', type=_typed_list_function), List, True),
+    (30, settngs.Setting('-t', '--test', action='extend', type=_typed_set_function), Set, True),
 )
 
 
-@pytest.mark.parametrize('setting,typ', types)
+@pytest.mark.parametrize('num,setting,typ,noneable_expected', types)
-def test_guess_type(setting, typ):
+def test_guess_type(num, setting, typ, noneable_expected):
-    guessed_type = setting._guess_type()
+    x = setting._guess_type()
+    guessed_type, noneable = x
     assert guessed_type == typ
+    assert noneable == noneable_expected
 
 
+expected_src = '''from __future__ import annotations
+
+import settngs
+{extra_imports}
+
+class SettngsNS(settngs.TypedNS):
+    test__test: {typ}
+'''
+no_type_expected_src = '''from __future__ import annotations
+
+import settngs
+
+
+class SettngsNS(settngs.TypedNS):
+    ...
+'''
 settings = (
-    (lambda parser: parser.add_setting('-t', '--test'), 'str'),
+    (0, lambda parser: parser.add_setting('-t', '--test'), expected_src.format(extra_imports='', typ='str | None')),
-    (lambda parser: parser.add_setting('-t', '--test', cmdline=False), 'typing.Any'),
+    (1, lambda parser: parser.add_setting('-t', '--test', cmdline=False), expected_src.format(extra_imports='import typing\n', typ='typing.Any')),
-    (lambda parser: parser.add_setting('-t', '--test', default=1, file=True, cmdline=False), 'int'),
+    (2, lambda parser: parser.add_setting('-t', '--test', default=1, file=True, cmdline=False), expected_src.format(extra_imports='', typ='int')),
-    (lambda parser: parser.add_setting('-t', '--test', action='count'), 'int'),
+    (3, lambda parser: parser.add_setting('-t', '--test', default='test'), expected_src.format(extra_imports='', typ='str')),
-    (lambda parser: parser.add_setting('-t', '--test', action='append'), List[str]),
+    (4, lambda parser: parser.add_setting('-t', '--test', default='test', file=True, cmdline=False), expected_src.format(extra_imports='', typ='str')),
-    (lambda parser: parser.add_setting('-t', '--test', action='extend'), List[str]),
+    (5, lambda parser: parser.add_setting('-t', '--test', action='count'), expected_src.format(extra_imports='', typ='int | None')),
-    (lambda parser: parser.add_setting('-t', '--test', action='store_const', const=1), 'int'),
+    (6, lambda parser: parser.add_setting('-t', '--test', action='append'), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[str]} | None')),
-    (lambda parser: parser.add_setting('-t', '--test', action='append_const', const=1), 'list'),
+    (7, lambda parser: parser.add_setting('-t', '--test', action='extend'), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[str]} | None')),
-    (lambda parser: parser.add_setting('-t', '--test', action='store_true'), 'bool'),
+    (8, lambda parser: parser.add_setting('-t', '--test', nargs='+'), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[str]} | None')),
-    (lambda parser: parser.add_setting('-t', '--test', action='store_false'), 'bool'),
+    (9, lambda parser: parser.add_setting('-t', '--test', action='store_const', const=1), expected_src.format(extra_imports='', typ='int | None')),
-    (lambda parser: parser.add_setting('-t', '--test', action=settngs.BooleanOptionalAction), 'bool'),
+    (10, lambda parser: parser.add_setting('-t', '--test', action='append_const', const=1), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[int]} | None')),
-    (lambda parser: parser.add_setting('-t', '--test', action=_customAction), 'typing.Any'),
+    (11, lambda parser: parser.add_setting('-t', '--test', action='store_true'), expected_src.format(extra_imports='', typ='bool')),
-    (lambda parser: parser.add_setting('-t', '--test', action='help'), None),
+    (12, lambda parser: parser.add_setting('-t', '--test', action='store_false'), expected_src.format(extra_imports='', typ='bool')),
-    (lambda parser: parser.add_setting('-t', '--test', action='version'), None),
+    (13, lambda parser: parser.add_setting('-t', '--test', action=settngs.BooleanOptionalAction), expected_src.format(extra_imports='', typ='bool | None')),
-    (lambda parser: parser.add_setting('-t', '--test', type=int), 'int'),
+    (14, lambda parser: parser.add_setting('-t', '--test', action=_customAction), expected_src.format(extra_imports='import typing\n', typ='typing.Any')),
-    (lambda parser: parser.add_setting('-t', '--test', nargs='+'), List[str]),
+    (15, lambda parser: parser.add_setting('-t', '--test', action='help'), no_type_expected_src),
-    (lambda parser: parser.add_setting('-t', '--test', type=_typed_function), 'tests.settngs_test.test_type'),
+    (16, lambda parser: parser.add_setting('-t', '--test', action='version'), no_type_expected_src),
-    (lambda parser: parser.add_setting('-t', '--test', type=_untyped_function, default=1), 'int'),
+    (17, lambda parser: parser.add_setting('-t', '--test', type=int), expected_src.format(extra_imports='', typ='int | None')),
-    (lambda parser: parser.add_setting('-t', '--test', type=_untyped_function), 'typing.Any'),
+    (18, lambda parser: parser.add_setting('-t', '--test', type=int, nargs='+'), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[int]} | None')),
+    (19, lambda parser: parser.add_setting('-t', '--test', type=_typed_function), expected_src.format(extra_imports='import tests.settngs_test\n', typ='tests.settngs_test.test_type | None')),
+    (20, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function, default=1), expected_src.format(extra_imports='', typ='int')),
+    (21, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function, default=[1]), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[int]}')),
+    (22, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function), expected_src.format(extra_imports='import typing\n', typ='typing.Any')),
+    (23, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function, default={1}), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{Set[int]}')),
+    (24, lambda parser: parser.add_setting('-t', '--test', action='append', type=int), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[int]} | None')),
+    (25, lambda parser: parser.add_setting('-t', '--test', action='extend', type=int, nargs=2), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[int]} | None')),
+    (26, lambda parser: parser.add_setting('-t', '--test', action='append', type=int, nargs=2), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[List[int]]} | None')),
+    (27, lambda parser: parser.add_setting('-t', '--test', action='extend', nargs='+'), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[str]} | None')),
+    (28, lambda parser: parser.add_setting('-t', '--test', action='extend', type=_typed_list_generic_function), expected_src.format(extra_imports='import typing\n' if sys.version_info < (3, 9) else '', typ=f'{List[test_type]} | None')),
+    (29, lambda parser: parser.add_setting('-t', '--test', action='extend', type=_typed_list_function), expected_src.format(extra_imports='', typ=f'{settngs._type_to_string(List)[0]} | None')),
+    (30, lambda parser: parser.add_setting('-t', '--test', action='extend', type=_typed_set_function), expected_src.format(extra_imports='', typ=f'{settngs._type_to_string(Set)[0]} | None')),
 )
 
 
-@pytest.mark.parametrize('set_options,typ', settings)
+@pytest.mark.parametrize('num,set_options,expected', settings)
-def test_generate_ns(settngs_manager, set_options, typ):
+def test_generate_ns(settngs_manager, num, set_options, expected):
     settngs_manager.add_group('test', set_options)
 
-    src = dedent('''\
+    imports, types = settngs_manager.generate_ns()
-    from __future__ import annotations
+    generated_src = '\n\n\n'.join((imports, types))
 
-    import settngs
+    assert generated_src == expected
-    ''')
 
-    if 'typing.' in str(typ):
+    ast.parse(generated_src)
-        src += '\nimport typing'
-    if typ == 'tests.settngs_test.test_type':
-        src += '\nimport tests.settngs_test'
-    src += dedent('''
 
 
-    class settngs_namespace(settngs.TypedNS):
+expected_src_dict = '''from __future__ import annotations
-    ''')
-    if typ is None:
-        src += '    ...\n'
-    else:
-        src += f'    {settngs_manager.definitions["test"].v["test"].internal_name}: {typ}\n'
 
-    generated_src = settngs_manager.generate_ns()
+import typing
+{extra_imports}
 
-    assert generated_src == src
+class test(typing.TypedDict):
+    test: {typ}
+
+
+class SettngsDict(typing.TypedDict):
+    test: test
+'''
+no_type_expected_src_dict = '''from __future__ import annotations
+
+import typing
+
+
+class test(typing.TypedDict):
+    ...
+
+
+class SettngsDict(typing.TypedDict):
+    test: test
+'''
+settings_dict = (
+    (0, lambda parser: parser.add_setting('-t', '--test'), expected_src_dict.format(extra_imports='', typ='str | None')),
+    (1, lambda parser: parser.add_setting('-t', '--test', cmdline=False), expected_src_dict.format(extra_imports='', typ='typing.Any')),
+    (2, lambda parser: parser.add_setting('-t', '--test', default=1, file=True, cmdline=False), expected_src_dict.format(extra_imports='', typ='int')),
+    (3, lambda parser: parser.add_setting('-t', '--test', default='test'), expected_src_dict.format(extra_imports='', typ='str')),
+    (4, lambda parser: parser.add_setting('-t', '--test', default='test', file=True, cmdline=False), expected_src_dict.format(extra_imports='', typ='str')),
+    (5, lambda parser: parser.add_setting('-t', '--test', action='count'), expected_src_dict.format(extra_imports='', typ='int | None')),
+    (6, lambda parser: parser.add_setting('-t', '--test', action='append'), expected_src_dict.format(extra_imports='', typ=f'{List[str]} | None')),
+    (7, lambda parser: parser.add_setting('-t', '--test', action='extend'), expected_src_dict.format(extra_imports='', typ=f'{List[str]} | None')),
+    (8, lambda parser: parser.add_setting('-t', '--test', nargs='+'), expected_src_dict.format(extra_imports='', typ=f'{List[str]} | None')),
+    (9, lambda parser: parser.add_setting('-t', '--test', action='store_const', const=1), expected_src_dict.format(extra_imports='', typ='int | None')),
+    (10, lambda parser: parser.add_setting('-t', '--test', action='append_const', const=1), expected_src_dict.format(extra_imports='', typ=f'{List[int]} | None')),
+    (11, lambda parser: parser.add_setting('-t', '--test', action='store_true'), expected_src_dict.format(extra_imports='', typ='bool')),
+    (12, lambda parser: parser.add_setting('-t', '--test', action='store_false'), expected_src_dict.format(extra_imports='', typ='bool')),
+    (13, lambda parser: parser.add_setting('-t', '--test', action=settngs.BooleanOptionalAction), expected_src_dict.format(extra_imports='', typ='bool | None')),
+    (14, lambda parser: parser.add_setting('-t', '--test', action=_customAction), expected_src_dict.format(extra_imports='', typ='typing.Any')),
+    (15, lambda parser: parser.add_setting('-t', '--test', action='help'), no_type_expected_src_dict),
+    (16, lambda parser: parser.add_setting('-t', '--test', action='version'), no_type_expected_src_dict),
+    (17, lambda parser: parser.add_setting('-t', '--test', type=int), expected_src_dict.format(extra_imports='', typ='int | None')),
+    (18, lambda parser: parser.add_setting('-t', '--test', type=int, nargs='+'), expected_src_dict.format(extra_imports='', typ=f'{List[int]} | None')),
+    (19, lambda parser: parser.add_setting('-t', '--test', type=_typed_function), expected_src_dict.format(extra_imports='import tests.settngs_test\n', typ=f'{test_type.__module__}.{test_type.__name__} | None')),
+    (20, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function, default=1), expected_src_dict.format(extra_imports='', typ='int')),
+    (21, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function, default=[1]), expected_src_dict.format(extra_imports='', typ=f'{List[int]}')),
+    (22, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function), expected_src_dict.format(extra_imports='', typ='typing.Any')),
+    (23, lambda parser: parser.add_setting('-t', '--test', type=_untyped_function, default={1}), expected_src_dict.format(extra_imports='', typ=f'{Set[int]}')),
+    (24, lambda parser: parser.add_setting('-t', '--test', action='append', type=int), expected_src_dict.format(extra_imports='', typ=f'{List[int]} | None')),
+    (25, lambda parser: parser.add_setting('-t', '--test', action='extend', type=int, nargs=2), expected_src_dict.format(extra_imports='', typ=f'{List[int]} | None')),
+    (26, lambda parser: parser.add_setting('-t', '--test', action='append', type=int, nargs=2), expected_src_dict.format(extra_imports='', typ=f'{List[List[int]]} | None')),
+    (27, lambda parser: parser.add_setting('-t', '--test', action='extend', nargs='+'), expected_src_dict.format(extra_imports='', typ=f'{List[str]} | None')),
+    (28, lambda parser: parser.add_setting('-t', '--test', action='extend', type=_typed_list_generic_function), expected_src_dict.format(extra_imports='', typ=f'{List[test_type]} | None')),
+    (29, lambda parser: parser.add_setting('-t', '--test', action='extend', type=_typed_list_function), expected_src_dict.format(extra_imports='', typ=f'{settngs._type_to_string(List)[0]} | None')),
+    (30, lambda parser: parser.add_setting('-t', '--test', action='extend', type=_typed_set_function), expected_src_dict.format(extra_imports='', typ=f'{settngs._type_to_string(Set)[0]} | None')),
+)
+
+
+@pytest.mark.parametrize('num,set_options,expected', settings_dict)
+def test_generate_dict(settngs_manager, num, set_options, expected):
+    settngs_manager.add_group('test', set_options)
+
+    imports, types = settngs_manager.generate_dict()
+    generated_src = '\n\n\n'.join((imports, types))
+
+    assert generated_src == expected
 
     ast.parse(generated_src)