type-python 0.0.7__py3-none-win_amd64.whl

type_python-0.0.7.dist-info/METADATA

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

@@ -0,0 +1,10 @@
+type_python-0.0.7.dist-info/licenses/LICENSE,sha256=BMHUZ3id_LOrEdv_GmAbL1ttlKsqjZz14f1_M1tn73k,1089
+typepython/__init__.py,sha256=GEL_90WfM7ygPQ5OHjZp4T22FjoAdXgG3Jxh7gEG1-g,89
+typepython/__main__.py,sha256=m8cggQyLAOSPtb8r-uUv_g53whMoPXtF2NX9yLuPyLg,89
+typepython/_runner.py,sha256=DySWPTud0FIAv2-0xhmwAyt_kk3w3kFJWK8FcYSe858,1777
+typepython/bin/typepython.exe,sha256=-0XmZU94SDpDVQCcKmjeUsy5QDM-Of6rqcJ043P8nG4,10820096
+type_python-0.0.7.dist-info/METADATA,sha256=lvoJL17eIetmibKzJU0b8EdvxFarX7tucBSVnyOeGzA,3930
+type_python-0.0.7.dist-info/WHEEL,sha256=GjDPPQwEcripVP6P2r3RxLa-h5Lb9ifGB7FYYtbLDT0,98
+type_python-0.0.7.dist-info/entry_points.txt,sha256=B5Yjdi-RWaeRy7YUcni1lU_ya2lVZXM8llSFNSKEq0U,56
+type_python-0.0.7.dist-info/top_level.txt,sha256=JFRFjt3AXvRQ99SKMxUVu9e3TOp2QpspvE-jk85uMjU,11
+type_python-0.0.7.dist-info/RECORD,,

type_python-0.0.7.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (82.0.1)
+Root-Is-Purelib: false
+Tag: py3-none-win_amd64
+

type_python-0.0.7.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+typepython = typepython.__main__:main

type_python-0.0.7.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 type-python
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

type_python-0.0.7.dist-info/top_level.txt

@@ -0,0 +1 @@
+typepython

typepython/__init__.py

@@ -0,0 +1,5 @@
+from ._runner import main
+
+__all__ = ["__version__", "main"]
+
+__version__ = "0.1.0"

typepython/__main__.py

@@ -0,0 +1,5 @@
+from ._runner import main
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

typepython/_runner.py

@@ -0,0 +1,60 @@
+from __future__ import annotations
+
+import os
+import pathlib
+import shutil
+import subprocess
+import sys
+from typing import Sequence
+
+
+def _repo_root() -> pathlib.Path:
+    return pathlib.Path(__file__).resolve().parent.parent
+
+
+def _cargo_typepython_command() -> list[str] | None:
+    repo_root = _repo_root()
+    cargo_toml = repo_root / "Cargo.toml"
+    if not cargo_toml.exists():
+        return None
+    cargo = shutil.which("cargo")
+    if cargo is None:
+        return None
+    return [cargo, "run", "--manifest-path", str(cargo_toml), "-p", "typepython-cli", "--"]
+
+
+def _configured_command() -> list[str] | None:
+    configured = os.environ.get("TYPEPYTHON_BIN")
+    if not configured:
+        return None
+    return [configured]
+
+
+def _bundled_command() -> list[str] | None:
+    binary_name = "typepython.exe" if os.name == "nt" else "typepython"
+    bundled = pathlib.Path(__file__).resolve().parent / "bin" / binary_name
+    if not bundled.is_file():
+        return None
+    return [str(bundled)]
+
+
+def _command() -> list[str]:
+    configured = _configured_command()
+    if configured is not None:
+        return configured
+    bundled = _bundled_command()
+    if bundled is not None:
+        return bundled
+    cargo_command = _cargo_typepython_command()
+    if cargo_command is not None:
+        return cargo_command
+    raise RuntimeError(
+        "Unable to locate the TypePython Rust CLI. Set TYPEPYTHON_BIN or run from a repository checkout with cargo available."
+    )
+
+
+def main(argv: Sequence[str] | None = None) -> int:
+    args = list(sys.argv[1:] if argv is None else argv)
+    command = [*_command(), *args]
+    completed = subprocess.run(command, check=False)
+    return completed.returncode