PyPI - yuho - Versions diffs - 5.0.0__py3-none-any.whl - Mend

yuho 5.0.0__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (91) hide show

yuho/__init__.py +16 -0
yuho/ast/__init__.py +196 -0
yuho/ast/builder.py +926 -0
yuho/ast/constant_folder.py +280 -0
yuho/ast/dead_code.py +199 -0
yuho/ast/exhaustiveness.py +503 -0
yuho/ast/nodes.py +907 -0
yuho/ast/overlap.py +291 -0
yuho/ast/reachability.py +293 -0
yuho/ast/scope_analysis.py +490 -0
yuho/ast/transformer.py +490 -0
yuho/ast/type_check.py +471 -0
yuho/ast/type_inference.py +425 -0
yuho/ast/visitor.py +239 -0
yuho/cli/__init__.py +14 -0
yuho/cli/commands/__init__.py +1 -0
yuho/cli/commands/api.py +431 -0
yuho/cli/commands/ast_viz.py +334 -0
yuho/cli/commands/check.py +218 -0
yuho/cli/commands/config.py +311 -0
yuho/cli/commands/contribute.py +122 -0
yuho/cli/commands/diff.py +487 -0
yuho/cli/commands/explain.py +240 -0
yuho/cli/commands/fmt.py +253 -0
yuho/cli/commands/generate.py +316 -0
yuho/cli/commands/graph.py +410 -0
yuho/cli/commands/init.py +120 -0
yuho/cli/commands/library.py +656 -0
yuho/cli/commands/lint.py +503 -0
yuho/cli/commands/lsp.py +36 -0
yuho/cli/commands/preview.py +377 -0
yuho/cli/commands/repl.py +444 -0
yuho/cli/commands/serve.py +44 -0
yuho/cli/commands/test.py +528 -0
yuho/cli/commands/transpile.py +121 -0
yuho/cli/commands/wizard.py +370 -0
yuho/cli/completions.py +182 -0
yuho/cli/error_formatter.py +193 -0
yuho/cli/main.py +1064 -0
yuho/config/__init__.py +46 -0
yuho/config/loader.py +235 -0
yuho/config/mask.py +194 -0
yuho/config/schema.py +147 -0
yuho/library/__init__.py +84 -0
yuho/library/index.py +328 -0
yuho/library/install.py +699 -0
yuho/library/lockfile.py +330 -0
yuho/library/package.py +421 -0
yuho/library/resolver.py +791 -0
yuho/library/signature.py +335 -0
yuho/llm/__init__.py +45 -0
yuho/llm/config.py +75 -0
yuho/llm/factory.py +123 -0
yuho/llm/prompts.py +146 -0
yuho/llm/providers.py +383 -0
yuho/llm/utils.py +470 -0
yuho/lsp/__init__.py +14 -0
yuho/lsp/code_action_handler.py +518 -0
yuho/lsp/completion_handler.py +85 -0
yuho/lsp/diagnostics.py +100 -0
yuho/lsp/hover_handler.py +130 -0
yuho/lsp/server.py +1425 -0
yuho/mcp/__init__.py +10 -0
yuho/mcp/server.py +1452 -0
yuho/parser/__init__.py +8 -0
yuho/parser/source_location.py +108 -0
yuho/parser/wrapper.py +311 -0
yuho/testing/__init__.py +48 -0
yuho/testing/coverage.py +274 -0
yuho/testing/fixtures.py +263 -0
yuho/transpile/__init__.py +52 -0
yuho/transpile/alloy_transpiler.py +546 -0
yuho/transpile/base.py +100 -0
yuho/transpile/blocks_transpiler.py +338 -0
yuho/transpile/english_transpiler.py +470 -0
yuho/transpile/graphql_transpiler.py +404 -0
yuho/transpile/json_transpiler.py +217 -0
yuho/transpile/jsonld_transpiler.py +250 -0
yuho/transpile/latex_preamble.py +161 -0
yuho/transpile/latex_transpiler.py +406 -0
yuho/transpile/latex_utils.py +206 -0
yuho/transpile/mermaid_transpiler.py +357 -0
yuho/transpile/registry.py +275 -0
yuho/verify/__init__.py +43 -0
yuho/verify/alloy.py +352 -0
yuho/verify/combined.py +218 -0
yuho/verify/z3_solver.py +1155 -0
yuho-5.0.0.dist-info/METADATA +186 -0
yuho-5.0.0.dist-info/RECORD +91 -0
yuho-5.0.0.dist-info/WHEEL +4 -0
yuho-5.0.0.dist-info/entry_points.txt +2 -0

yuho/cli/commands/preview.py ADDED Viewed

@@ -0,0 +1,377 @@
+"""
+Live preview mode with file watching for Yuho.
+Watches a .yh file, auto-transpiles to mermaid/english on changes,
+and serves the result in a browser with live reload.
+"""
+import os
+import sys
+import time
+import webbrowser
+import hashlib
+import threading
+from pathlib import Path
+from http.server import HTTPServer, SimpleHTTPRequestHandler
+from typing import Optional, Dict, Any
+import json
+import click
+class PreviewState:
+    """Shared state for preview server."""
+    def __init__(self):
+        self.content: str = ""
+        self.format: str = "english"
+        self.last_error: Optional[str] = None
+        self.file_path: str = ""
+        self.last_modified: float = 0
+    def to_dict(self) -> Dict[str, Any]:
+        return {
+            "content": self.content,
+            "format": self.format,
+            "error": self.last_error,
+            "file": self.file_path,
+            "modified": self.last_modified,
+        }
+# Global state
+_preview_state = PreviewState()
+def transpile_file(path: Path, target: str) -> tuple[Optional[str], Optional[str]]:
+    """
+    Transpile a file to the target format.
+    Returns:
+        (content, error) - one will be None
+    """
+    try:
+        from yuho.parser.scanner import Scanner
+        from yuho.parser.parser import Parser
+        from yuho.ast.builder import ASTBuilder
+        from yuho.transpile.registry import TranspilerRegistry
+        source = path.read_text()
+        scanner = Scanner(source)
+        tokens = scanner.scan_tokens()
+        parser = Parser(tokens)
+        tree = parser.parse()
+        builder = ASTBuilder()
+        ast = builder.build(tree)
+        registry = TranspilerRegistry()
+        transpiler = registry.get(target)
+        if transpiler is None:
+            return None, f"Unknown target format: {target}"
+        result = transpiler.transpile(ast)
+        return result, None
+    except Exception as e:
+        return None, str(e)
+def get_html_template(format_type: str) -> str:
+    """Get HTML template for preview."""
+    mermaid_script = ""
+    if format_type == "mermaid":
+        mermaid_script = """
+        <script src="https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js"></script>
+        <script>mermaid.initialize({startOnLoad: true, theme: 'dark'});</script>
+        """
+    return f"""<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta charset="UTF-8">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0">
+    <title>Yuho Live Preview</title>
+    {mermaid_script}
+    <style>
+        :root {{
+            --bg-primary: #1a1a2e;
+            --bg-secondary: #16213e;
+            --text-primary: #eee;
+            --text-secondary: #aaa;
+            --accent: #4cc9f0;
+            --error: #ff6b6b;
+            --success: #4ecdc4;
+        }}
+        * {{ box-sizing: border-box; margin: 0; padding: 0; }}
+        body {{
+            font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif;
+            background: var(--bg-primary);
+            color: var(--text-primary);
+            line-height: 1.6;
+            min-height: 100vh;
+        }}
+        .header {{
+            background: var(--bg-secondary);
+            padding: 1rem 2rem;
+            border-bottom: 1px solid rgba(255,255,255,0.1);
+            display: flex;
+            justify-content: space-between;
+            align-items: center;
+        }}
+        .header h1 {{
+            font-size: 1.25rem;
+            color: var(--accent);
+        }}
+        .status {{
+            display: flex;
+            align-items: center;
+            gap: 0.5rem;
+            font-size: 0.875rem;
+            color: var(--text-secondary);
+        }}
+        .status-dot {{
+            width: 8px;
+            height: 8px;
+            border-radius: 50%;
+            background: var(--success);
+        }}
+        .status-dot.error {{
+            background: var(--error);
+        }}
+        .container {{
+            max-width: 1200px;
+            margin: 0 auto;
+            padding: 2rem;
+        }}
+        .preview-content {{
+            background: var(--bg-secondary);
+            border-radius: 8px;
+            padding: 2rem;
+            white-space: pre-wrap;
+            font-family: 'JetBrains Mono', 'Fira Code', monospace;
+            font-size: 0.9rem;
+            overflow-x: auto;
+        }}
+        .preview-content.mermaid-container {{
+            background: #fff;
+            color: #333;
+            text-align: center;
+        }}
+        .error-message {{
+            background: rgba(255, 107, 107, 0.1);
+            border: 1px solid var(--error);
+            border-radius: 8px;
+            padding: 1rem;
+            color: var(--error);
+            margin-bottom: 1rem;
+        }}
+        .file-info {{
+            color: var(--text-secondary);
+            font-size: 0.875rem;
+            margin-bottom: 1rem;
+        }}
+        .mermaid {{
+            background: #fff;
+        }}
+    </style>
+</head>
+<body>
+    <div class="header">
+        <h1>📜 Yuho Live Preview</h1>
+        <div class="status">
+            <div class="status-dot" id="statusDot"></div>
+            <span id="statusText">Watching...</span>
+        </div>
+    </div>
+    <div class="container">
+        <div class="file-info" id="fileInfo"></div>
+        <div id="errorBox" class="error-message" style="display:none;"></div>
+        <div id="content" class="preview-content"></div>
+    </div>
+    <script>
+        let lastModified = 0;
+        async function fetchPreview() {{
+            try {{
+                const res = await fetch('/api/preview');
+                const data = await res.json();
+                const dot = document.getElementById('statusDot');
+                const status = document.getElementById('statusText');
+                const errorBox = document.getElementById('errorBox');
+                const content = document.getElementById('content');
+                const fileInfo = document.getElementById('fileInfo');
+                if (data.modified !== lastModified) {{
+                    lastModified = data.modified;
+                    fileInfo.textContent = 'File: ' + data.file + ' • Format: ' + data.format;
+                    if (data.error) {{
+                        dot.classList.add('error');
+                        status.textContent = 'Error';
+                        errorBox.textContent = data.error;
+                        errorBox.style.display = 'block';
+                    }} else {{
+                        dot.classList.remove('error');
+                        status.textContent = 'Updated ' + new Date().toLocaleTimeString();
+                        errorBox.style.display = 'none';
+                        if (data.format === 'mermaid') {{
+                            content.className = 'preview-content mermaid-container';
+                            content.innerHTML = '<pre class="mermaid">' + data.content + '</pre>';
+                            if (window.mermaid) {{
+                                mermaid.contentLoaded();
+                            }}
+                        }} else {{
+                            content.className = 'preview-content';
+                            content.textContent = data.content;
+                        }}
+                    }}
+                }}
+            }} catch (e) {{
+                console.error('Fetch error:', e);
+            }}
+        }}
+        // Poll for updates
+        setInterval(fetchPreview, 500);
+        fetchPreview();
+    </script>
+</body>
+</html>
+"""
+class PreviewHandler(SimpleHTTPRequestHandler):
+    """HTTP handler for preview server."""
+    def log_message(self, format: str, *args) -> None:
+        """Suppress default logging."""
+        pass
+    def do_GET(self) -> None:
+        if self.path == "/" or self.path == "/index.html":
+            self.send_response(200)
+            self.send_header("Content-type", "text/html")
+            self.end_headers()
+            html = get_html_template(_preview_state.format)
+            self.wfile.write(html.encode())
+        elif self.path == "/api/preview":
+            self.send_response(200)
+            self.send_header("Content-type", "application/json")
+            self.send_header("Access-Control-Allow-Origin", "*")
+            self.end_headers()
+            self.wfile.write(json.dumps(_preview_state.to_dict()).encode())
+        else:
+            self.send_error(404)
+def watch_file(path: Path, target: str, interval: float = 0.5) -> None:
+    """Watch file for changes and update preview state."""
+    global _preview_state
+    last_hash = ""
+    while True:
+        try:
+            if path.exists():
+                content = path.read_bytes()
+                current_hash = hashlib.md5(content).hexdigest()
+                if current_hash != last_hash:
+                    last_hash = current_hash
+                    _preview_state.last_modified = time.time()
+                    result, error = transpile_file(path, target)
+                    if error:
+                        _preview_state.last_error = error
+                    else:
+                        _preview_state.content = result or ""
+                        _preview_state.last_error = None
+        except Exception as e:
+            _preview_state.last_error = str(e)
+        time.sleep(interval)
+def run_preview(
+    file: str,
+    target: str = "english",
+    port: int = 8000,
+    no_browser: bool = False,
+    verbose: bool = False,
+    color: bool = True,
+) -> None:
+    """
+    Run live preview server.
+    Args:
+        file: Input .yh file to watch
+        target: Transpile target (english, mermaid)
+        port: Server port
+        no_browser: Don't auto-open browser
+        verbose: Verbose output
+        color: Use colors
+    """
+    global _preview_state
+    path = Path(file)
+    if not path.exists():
+        click.echo(f"Error: File not found: {file}", err=True)
+        raise SystemExit(1)
+    # Validate target
+    valid_targets = ["english", "mermaid"]
+    if target not in valid_targets:
+        click.echo(f"Error: Preview supports: {', '.join(valid_targets)}", err=True)
+        raise SystemExit(1)
+    # Initialize state
+    _preview_state.file_path = str(path)
+    _preview_state.format = target
+    # Initial transpile
+    result, error = transpile_file(path, target)
+    if error:
+        _preview_state.last_error = error
+    else:
+        _preview_state.content = result or ""
+    _preview_state.last_modified = time.time()
+    # Start file watcher thread
+    watcher = threading.Thread(target=watch_file, args=(path, target), daemon=True)
+    watcher.start()
+    # Start server
+    server = HTTPServer(("127.0.0.1", port), PreviewHandler)
+    url = f"http://127.0.0.1:{port}"
+    click.echo(click.style("🔴 Yuho Live Preview", fg="cyan", bold=True))
+    click.echo(f"   Watching: {click.style(str(path), fg='yellow')}")
+    click.echo(f"   Format:   {click.style(target, fg='green')}")
+    click.echo(f"   Server:   {click.style(url, fg='blue')}")
+    click.echo("")
+    click.echo("   Press Ctrl+C to stop")
+    click.echo("")
+    # Open browser
+    if not no_browser:
+        webbrowser.open(url)
+    try:
+        server.serve_forever()
+    except KeyboardInterrupt:
+        click.echo("\n\nStopping preview server...")
+        server.shutdown()