type-python 0.1.1__py3-none-win_amd64.whl → 0.3.0__py3-none-win_amd64.whl

type_python-0.3.0.dist-info/METADATA

@@ -0,0 +1,118 @@
+Metadata-Version: 2.4
+Name: type-python
+Version: 0.3.0
+Summary: A statically-typed authoring language that compiles to standard Python
+Author: unadlib
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/type-python/type-python
+Project-URL: Repository, https://github.com/type-python/type-python
+Project-URL: Documentation, https://github.com/type-python/type-python/tree/main/docs
+Project-URL: Issues, https://github.com/type-python/type-python/issues
+Keywords: typepython,type-checking,compiler,python,static-typing
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Rust
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Software Development :: Quality Assurance
+Classifier: Typing :: Typed
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Dynamic: license-file
+
+<p align="center">
+  <img src="https://raw.githubusercontent.com/type-python/type-python/main/logo.png" alt="TypePython" width="128" />
+</p>
+
+<h1 align="center">TypePython</h1>
+
+<p align="center">
+  <strong>Write richer types. Emit standard Python.</strong>
+</p>
+
+---
+
+A statically-typed authoring language that compiles to standard Python.
+
+Write `.tpy` source files with `interface`, `data class`, `sealed class`, inline generics, and strict null safety. The compiler emits standard `.py` + `.pyi` files for Python 3.10-3.14. No custom runtime, no vendor lock-in.
+
+## Install
+
+```bash
+pip install type-python
+typepython --help
+```
+
+The Python package bridge supports **Python 3.9+**. Generated projects can target **Python 3.10 through 3.14**.
+
+Published wheels bundle the Rust CLI binary. Prebuilt wheels are available for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64. Other platforms fall back to the source distribution and require Rust + `cargo`.
+
+## Quick Start
+
+```bash
+typepython init --dir my-project
+cd my-project
+typepython check --project .
+typepython build --project .
+```
+
+Example source:
+
+```python
+# src/app/__init__.tpy
+
+sealed class Expr:
+    pass
+
+data class Num(Expr):
+    value: int
+
+data class Add(Expr):
+    left: Expr
+    right: Expr
+
+def evaluate(expr: Expr) -> int:
+    match expr:
+        case Num(value=v):
+            return v
+        case Add(left=l, right=r):
+            return evaluate(l) + evaluate(r)
+    # Compiler proves all cases are covered -- no default needed.
+```
+
+## What You Get
+
+| Your code (`.tpy`)                | Emitted output (`.py` / `.pyi`)                    |
+| --------------------------------- | -------------------------------------------------- |
+| `sealed class Expr:`              | `class Expr:  # tpy:sealed`                        |
+| `data class Num(Expr):`           | `@dataclass` plus ordinary `class Num(Expr):`      |
+| `interface Drawable:`             | `class Drawable(Protocol):`                        |
+| `overload def f(x: int) -> int:`  | `@overload` plus ordinary `def f(x: int) -> int:`  |
+| `typealias Pair[T] = tuple[T, T]` | `T = TypeVar("T"); Pair: TypeAlias = tuple[T, T]`  |
+
+- **Rich type system** -- `unknown`, `dynamic`, `Never`, strict nulls, sealed exhaustiveness, generic defaults, TypeVarTuple
+- **TypedDict utilities** -- `Partial`, `Required_`, `Readonly`, `Mutable`, `Pick`, `Omit`
+- **Full toolchain** -- `init`, `check`, `build`, `watch`, `clean`, `verify`, `lsp`, `migrate`
+- **LSP server** -- hover, go-to-definition, references, rename, completions, signature help, diagnostics
+- **Standard output** -- emitted `.py` + `.pyi` work with mypy, pyright, and ty out of the box
+
+## Documentation
+
+- [Getting Started](https://github.com/type-python/type-python/blob/main/docs/getting-started.md)
+- [Syntax Guide](https://github.com/type-python/type-python/blob/main/docs/syntax-guide.md)
+- [Type System](https://github.com/type-python/type-python/blob/main/docs/type-system.md)
+- [Configuration](https://github.com/type-python/type-python/blob/main/docs/configuration.md)
+- [CLI Reference](https://github.com/type-python/type-python/blob/main/docs/cli-reference.md)
+- [Interoperability](https://github.com/type-python/type-python/blob/main/docs/interop.md)
+- [Language Spec](https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md)
+
+## Links
+
+- [Repository](https://github.com/type-python/type-python)
+- [Issues](https://github.com/type-python/type-python/issues)
+- [License (MIT)](https://github.com/type-python/type-python/blob/main/LICENSE)

type_python-0.3.0.dist-info/RECORD

@@ -0,0 +1,11 @@
+type_python-0.3.0.dist-info/licenses/LICENSE,sha256=BMHUZ3id_LOrEdv_GmAbL1ttlKsqjZz14f1_M1tn73k,1089
+typepython/__init__.py,sha256=j68Z_JZemkGBrmytvTfDu3VOUxN8C5Ajo7ZEpVt1gxY,308
+typepython/__main__.py,sha256=m8cggQyLAOSPtb8r-uUv_g53whMoPXtF2NX9yLuPyLg,89
+typepython/_runner.py,sha256=DySWPTud0FIAv2-0xhmwAyt_kk3w3kFJWK8FcYSe858,1777
+typepython/annotation_compat.py,sha256=VKUJEAj9NdDWr1j5cB2OIWlupmDyWVYvQkpJ2Jer2m8,4223
+typepython/bin/typepython.exe,sha256=TaX26_INBP-1J0PyIAIBlY3tAtKHiPppnUdH0HpJh0o,11883008
+type_python-0.3.0.dist-info/METADATA,sha256=YuEUMYng1t8GVUNRkFlbaIznUDQm44k4-CdksuxHLEc,4864
+type_python-0.3.0.dist-info/WHEEL,sha256=GjDPPQwEcripVP6P2r3RxLa-h5Lb9ifGB7FYYtbLDT0,98
+type_python-0.3.0.dist-info/entry_points.txt,sha256=B5Yjdi-RWaeRy7YUcni1lU_ya2lVZXM8llSFNSKEq0U,56
+type_python-0.3.0.dist-info/top_level.txt,sha256=JFRFjt3AXvRQ99SKMxUVu9e3TOp2QpspvE-jk85uMjU,11
+type_python-0.3.0.dist-info/RECORD,,

typepython/__init__.py

@@ -1,5 +1,13 @@
 from ._runner import main
+from .annotation_compat import AnnotationFormat, AnnotationSupport, get_annotations, supported_formats
 
-__all__ = ["__version__", "main"]
+__all__ = [
+    "__version__",
+    "AnnotationFormat",
+    "AnnotationSupport",
+    "get_annotations",
+    "main",
+    "supported_formats",
+]
 
-__version__ = "0.1.1"
+__version__ = "0.3.0"

typepython/annotation_compat.py

@@ -0,0 +1,142 @@
+from __future__ import annotations
+
+import inspect
+import sys
+from dataclasses import dataclass
+from enum import Enum
+from types import ModuleType
+from typing import Any
+
+try:
+    import annotationlib as _annotationlib
+except ImportError:  # pragma: no cover - exercised on pre-3.14 hosts
+    _annotationlib = None
+
+HAS_ANNOTATIONLIB = _annotationlib is not None
+
+
+class AnnotationFormat(str, Enum):
+    VALUE = "value"
+    FORWARDREF = "forwardref"
+    STRING = "string"
+
+
+@dataclass(frozen=True)
+class AnnotationSupport:
+    value: bool
+    forwardref: bool
+    string: bool
+
+
+def supported_formats() -> AnnotationSupport:
+    if HAS_ANNOTATIONLIB:
+        return AnnotationSupport(value=True, forwardref=True, string=True)
+    return AnnotationSupport(value=True, forwardref=False, string=False)
+
+
+def get_annotations(
+    obj: Any,
+    *,
+    globals: dict[str, Any] | None = None,
+    locals: dict[str, Any] | None = None,
+    eval_str: bool = False,
+    format: AnnotationFormat | str = AnnotationFormat.VALUE,
+) -> dict[str, Any]:
+    normalized = _normalize_format(format)
+    if HAS_ANNOTATIONLIB:
+        return _annotationlib.get_annotations(
+            obj,
+            globals=globals,
+            locals=locals,
+            eval_str=eval_str,
+            format=_annotationlib_format(normalized),
+        )
+    if normalized is not AnnotationFormat.VALUE:
+        raise NotImplementedError(
+            "annotation formats other than VALUE require Python 3.14+ annotationlib"
+        )
+    return _fallback_get_annotations(
+        obj,
+        globals=globals,
+        locals=locals,
+        eval_str=eval_str,
+    )
+
+
+def _normalize_format(format: AnnotationFormat | str) -> AnnotationFormat:
+    if isinstance(format, AnnotationFormat):
+        return format
+    return AnnotationFormat(format)
+
+
+def _annotationlib_format(format: AnnotationFormat) -> Any:
+    assert _annotationlib is not None
+    if format is AnnotationFormat.VALUE:
+        return _annotationlib.Format.VALUE
+    if format is AnnotationFormat.FORWARDREF:
+        return _annotationlib.Format.FORWARDREF
+    return _annotationlib.Format.STRING
+
+
+def _fallback_get_annotations(
+    obj: Any,
+    *,
+    globals: dict[str, Any] | None,
+    locals: dict[str, Any] | None,
+    eval_str: bool,
+) -> dict[str, Any]:
+    if hasattr(inspect, "get_annotations"):
+        return inspect.get_annotations(
+            obj,
+            globals=globals,
+            locals=locals,
+            eval_str=eval_str,
+        )
+
+    raw = _legacy_raw_annotations(obj)
+    if raw is None:
+        return {}
+    annotations = dict(raw)
+    if not eval_str:
+        return annotations
+
+    globalns, localns = _legacy_eval_namespaces(obj, globals, locals)
+    evaluated: dict[str, Any] = {}
+    for name, value in annotations.items():
+        if isinstance(value, str):
+            evaluated[name] = eval(value, globalns, localns)
+        else:
+            evaluated[name] = value
+    return evaluated
+
+
+def _legacy_raw_annotations(obj: Any) -> dict[str, Any] | None:
+    if isinstance(obj, type):
+        return obj.__dict__.get("__annotations__")
+    if isinstance(obj, ModuleType):
+        return getattr(obj, "__annotations__", None)
+    return getattr(obj, "__annotations__", None)
+
+
+def _legacy_eval_namespaces(
+    obj: Any,
+    globals: dict[str, Any] | None,
+    locals: dict[str, Any] | None,
+) -> tuple[dict[str, Any], dict[str, Any]]:
+    if globals is not None or locals is not None:
+        return globals or {}, locals or globals or {}
+
+    if isinstance(obj, ModuleType):
+        namespace = vars(obj)
+        return namespace, namespace
+    if isinstance(obj, type):
+        module = sys.modules.get(getattr(obj, "__module__", ""))
+        globalns = vars(module) if module is not None else {}
+        return globalns, dict(vars(obj))
+
+    globalns = getattr(obj, "__globals__", None)
+    if globalns is not None:
+        return globalns, globalns
+    module = sys.modules.get(getattr(obj, "__module__", ""))
+    namespace = vars(module) if module is not None else {}
+    return namespace, namespace

type_python-0.1.1.dist-info/METADATA

@@ -1,98 +0,0 @@
-Metadata-Version: 2.4
-Name: type-python
-Version: 0.1.1
-Summary: A statically-typed authoring language that compiles to standard Python
-Author: unadlib
-License-Expression: MIT
-Project-URL: Homepage, https://github.com/type-python/type-python
-Project-URL: Repository, https://github.com/type-python/type-python
-Project-URL: Documentation, https://github.com/type-python/type-python/tree/main/docs
-Project-URL: Issues, https://github.com/type-python/type-python/issues
-Keywords: typepython,type-checking,compiler,python,static-typing
-Classifier: Development Status :: 3 - Alpha
-Classifier: Intended Audience :: Developers
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.9
-Classifier: Programming Language :: Python :: 3.10
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Programming Language :: Rust
-Classifier: Topic :: Software Development :: Compilers
-Classifier: Topic :: Software Development :: Quality Assurance
-Classifier: Typing :: Typed
-Requires-Python: >=3.9
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Dynamic: license-file
-
-# TypePython
-
-**A statically-typed authoring language that compiles to standard Python.**
-
-TypePython lets you write `.tpy` source files with features such as `interface`, `data class`, `sealed class`, inline generics, and strict null safety. The compiler emits standard `.py` and `.pyi` files that run on ordinary Python interpreters and type-check with mypy or pyright.
-
-## Install
-
-```bash
-pip install type-python
-typepython --help
-```
-
-Published wheels are platform-specific because they bundle the Rust CLI binary. Supported releases publish prebuilt wheels for Windows AMD64, macOS x86_64, macOS arm64, and Linux x86_64, so those platforms can install and run TypePython without Rust. Other platforms fall back to the source distribution and require a Rust toolchain with `cargo`.
-
-The Python package bridge supports Python 3.9+. Generated TypePython projects currently target Python 3.10, 3.11, or 3.12.
-
-## Quick Start
-
-Create a project:
-
-```bash
-typepython init --dir my-project
-cd my-project
-typepython check --project .
-typepython build --project .
-```
-
-Example source:
-
-```python
-sealed class Expr:
-    pass
-
-data class Num(Expr):
-    value: int
-
-data class Add(Expr):
-    left: Expr
-    right: Expr
-
-def evaluate(expr: Expr) -> int:
-    match expr:
-        case Num(value=v):
-            return v
-        case Add(left=l, right=r):
-            return evaluate(l) + evaluate(r)
-```
-
-## What You Get
-
-- Standard `.py` and `.pyi` output with no custom runtime
-- Type system features such as `unknown`, strict nulls, sealed exhaustiveness, `TypedDict` utilities, and generic defaults
-- CLI commands for `init`, `check`, `build`, `watch`, `clean`, `verify`, `lsp`, and `migrate`
-- Interoperability with standard Python typing tools and package publishing workflows
-
-## Documentation
-
-- Getting started: <https://github.com/type-python/type-python/blob/main/docs/getting-started.md>
-- Syntax guide: <https://github.com/type-python/type-python/blob/main/docs/syntax-guide.md>
-- Type system: <https://github.com/type-python/type-python/blob/main/docs/type-system.md>
-- Configuration: <https://github.com/type-python/type-python/blob/main/docs/configuration.md>
-- CLI reference: <https://github.com/type-python/type-python/blob/main/docs/cli-reference.md>
-- Interoperability: <https://github.com/type-python/type-python/blob/main/docs/interop.md>
-- Language spec: <https://github.com/type-python/type-python/blob/main/docs/spec/language-spec-v1.md>
-
-## Project Links
-
-- Repository: <https://github.com/type-python/type-python>
-- Issues: <https://github.com/type-python/type-python/issues>
-- License: <https://github.com/type-python/type-python/blob/main/LICENSE>

type_python-0.1.1.dist-info/RECORD

@@ -1,10 +0,0 @@
-type_python-0.1.1.dist-info/licenses/LICENSE,sha256=BMHUZ3id_LOrEdv_GmAbL1ttlKsqjZz14f1_M1tn73k,1089
-typepython/__init__.py,sha256=NUOU0aHfeQ0sJOQ9yDxz7NUqrOUpkzSNOMvQWFWRgtg,89
-typepython/__main__.py,sha256=m8cggQyLAOSPtb8r-uUv_g53whMoPXtF2NX9yLuPyLg,89
-typepython/_runner.py,sha256=DySWPTud0FIAv2-0xhmwAyt_kk3w3kFJWK8FcYSe858,1777
-typepython/bin/typepython.exe,sha256=iAUB49_o9uEKjhnfZuxiu5BeZghI8VVMDAcysevnOh0,11033088
-type_python-0.1.1.dist-info/METADATA,sha256=EtMZV3WeDxhBZtB5ydwyn1xm3MtYMZ7iSmnWlwFtAo4,3930
-type_python-0.1.1.dist-info/WHEEL,sha256=GjDPPQwEcripVP6P2r3RxLa-h5Lb9ifGB7FYYtbLDT0,98
-type_python-0.1.1.dist-info/entry_points.txt,sha256=B5Yjdi-RWaeRy7YUcni1lU_ya2lVZXM8llSFNSKEq0U,56
-type_python-0.1.1.dist-info/top_level.txt,sha256=JFRFjt3AXvRQ99SKMxUVu9e3TOp2QpspvE-jk85uMjU,11
-type_python-0.1.1.dist-info/RECORD,,