type-python 0.2.0__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

@@ -10,4 +10,4 @@ __all__ = [
     "supported_formats",
 ]
 
-__version__ = "0.2.0"
+__version__ = "0.3.0"

type_python-0.2.0.dist-info/METADATA

@@ -1,98 +0,0 @@
-Metadata-Version: 2.4
-Name: type-python
-Version: 0.2.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
-
-# 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.2.0.dist-info/RECORD

@@ -1,11 +0,0 @@
-type_python-0.2.0.dist-info/licenses/LICENSE,sha256=BMHUZ3id_LOrEdv_GmAbL1ttlKsqjZz14f1_M1tn73k,1089
-typepython/__init__.py,sha256=kCK2IS4kVa6N1RsNikfR1sn_tnZ-v_RkAvNCmqMnYgA,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=nVmVjeYOX1bMA_nZbP5M82hlMpsmEaN-G-XnBtQRYKE,11372544
-type_python-0.2.0.dist-info/METADATA,sha256=Qn5P8Hw8w6N-1sX8H__xcIip6rlFRG2DymiaLI-wDnI,3930
-type_python-0.2.0.dist-info/WHEEL,sha256=GjDPPQwEcripVP6P2r3RxLa-h5Lb9ifGB7FYYtbLDT0,98
-type_python-0.2.0.dist-info/entry_points.txt,sha256=B5Yjdi-RWaeRy7YUcni1lU_ya2lVZXM8llSFNSKEq0U,56
-type_python-0.2.0.dist-info/top_level.txt,sha256=JFRFjt3AXvRQ99SKMxUVu9e3TOp2QpspvE-jk85uMjU,11
-type_python-0.2.0.dist-info/RECORD,,