Add support to TypeAliasType parameter type

[zarch]

First Check

• I added a very descriptive title here.
• I used the GitHub search to find a similar question and didn't find it.
• I searched the Typer documentation, with the integrated search.
• I already searched in Google "How to X in Typer" and didn't find any information.
• I already read and followed all the tutorials in the docs and didn't find an answer.
• I already checked if it is not related to Typer but to Click.

Commit to Help

• I commit to help with one of those options 👆

Example Code

from typing_extensions import TypeAliasType
import typer


Name = TypeAliasType(name="Name", value=str)  # from py>=3.12: `type Name = str`
Surname = TypeAliasType(name="Surname", value=Name)  # see: PEP695


def hello(name: Name, surname: Surname) -> None:
    """Be polite and say hello!"""
    print(f"Hello my dear {name} {surname}")


if __name__ == "__main__":
    typer.run(hello)

Description

Executing the example code on python3.8 I have:

typer_zarch on  master [?] via 🐍 v3.8.19 (.venv38)
❯ python tst.py --help
╭─────────────────────────────────────────────────────────────────────────────────────── Traceback (most recent call last) ───────────────────────────────────────────────────────────────────────────────────────╮
│ /data/src/py/typer_zarch/tst.py:15 in <module>                                                                                                                                                                  │
│                                                                                                                                                                                                                 │
│   12                                                                                          ╭────────────────────────────────────── locals ───────────────────────────────────────╮                           │
│   13                                                                                          │         hello = <function hello at 0x7f76d46083a0>                                  │                           │
│   14 if __name__ == "__main__":                                                               │          Name = Name                                                                │                           │
│ ❱ 15 │   typer.run(hello)                                                                     │       Surname = Surname                                                             │                           │
│   16                                                                                          │ TypeAliasType = <class 'typing_extensions.TypeAliasType'>                           │                           │
│                                                                                               │         typer = <module 'typer' from '/data/src/py/typer_zarch/typer/__init__.py'>  │                           │
│                                                                                               ╰─────────────────────────────────────────────────────────────────────────────────────╯                           │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:1081 in run                                                                                                                                                              │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:339 in __call__                                                                                                                                                          │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:322 in __call__                                                                                                                                                          │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:375 in get_command                                                                                                                                                       │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:591 in get_command_from_info                                                                                                                                             │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:567 in get_params_convertors_ctx_param_name_from_function                                                                                                                │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:872 in get_click_param                                                                                                                                                   │
│                                                                                                                                                                                                                 │
│ /data/src/py/typer_zarch/typer/main.py:800 in get_click_type                                                                                                                                                    │
╰─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯
RuntimeError: Type not yet supported: Name

I prepared a PR to add support for this variable type.

Operating System

Linux

Operating System Details

I'm on Debian testing

❯ uname -a
Linux spina 6.10.6-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.10.6-1 (2024-08-19) x86_64 GNU/Linux

Typer Version

0.12.5 | commit: 0331006

Python Version

tested on python 3.8.19 and 3.12.5

Additional Context

A bit of context, in the attached sample code I'm using a functionality that has been introduced in Python>=3.12. More details are available on PEP 695 – Type Parameter Syntax. The PEP695 introduced a new syntax to define typing.TypeAlias (deprecated), and has been replaced by typing.TypeAliasType.

Luckly, typing_extension support the TypeAliasType since May 2023 - v4.6.0, so the minimum python version of the project can remain Python >= 3.8, if PR is accepted.