Refine website example snippets

Author: ganehag

index.html

@@ -394,37 +394,59 @@ <h1>Gengoscript</h1>
                 <p>Gengoscript gives hosts constrained domain values, explicit imports, and user-defined logic that can reach only the capabilities the host exposes.</p>
                 <pre><code><span class="k">type</span> Port <span class="t">int</span> <span class="k">range</span> 1..65535
 <span class="k">type</span> Hour <span class="t">int</span> <span class="k">cycle</span> 0..23
+<span class="k">type</span> RetryCount <span class="t">int</span> <span class="k">predicate</span> <span class="k">func</span>(n) {
+    <span class="k">return</span> n >= 0 <span class="k">and</span> n <= 5
+}
 
-<span class="k">pub func</span> allow(port <span class="t">int</span>, hour <span class="t">int</span>) <span class="t">bool</span> {
-    p := Port(port)
-    h := Hour(hour)
-    <span class="k">return</span> p == Port(443) <span class="k">and</span> h >= Hour(8) <span class="k">and</span> h <= Hour(18)
+<span class="k">pub func</span> allow(
+    raw_port <span class="t">int</span>,
+    raw_hour <span class="t">int</span>,
+    raw_retries <span class="t">int</span>,
+) <span class="t">bool</span> {
+    port := Port(raw_port)
+    hour := Hour(raw_hour)
+    retries := RetryCount(raw_retries)
+    <span class="k">return</span> port == Port(443)
+        <span class="k">and</span> hour >= Hour(8)
+        <span class="k">and</span> retries <= RetryCount(2)
 }
                 </code></pre>
                 <div class="examples-grid">
                     <div class="example-card">
                         <h3>Domain Rules</h3>
                         <p>Make invalid values fail where they enter the script instead of leaking further into host-side code.</p>
-                        <pre><code><span class="k">type</span> Discount <span class="t">int</span> <span class="k">range</span> 0..100
+                        <pre><code><span class="k">type</span> Currency <span class="t">string</span> <span class="k">predicate</span> <span class="k">func</span>(s) {
+    <span class="k">return</span> s == <span class="s">"USD"</span> <span class="k">or</span> s == <span class="s">"EUR"</span>
+}
+<span class="k">type</span> Discount <span class="t">int</span> <span class="k">range</span> 0..100
+
+currency := Currency(<span class="s">"EUR"</span>)
 sale := Discount(15)</code></pre>
                     </div>
                     <div class="example-card">
                         <h3>Policy Logic</h3>
                         <p>Decision logic can carry domain constraints directly instead of relying on the host to validate every input first.</p>
                         <pre><code><span class="k">type</span> EventCode <span class="t">int</span> <span class="k">predicate</span> <span class="k">func</span>(x) {
-    <span class="k">return</span> x % 2 == 0
+    <span class="k">return</span> x <span class="k">rem</span> 2 == 0
+}
+<span class="k">type</span> SourceId <span class="t">string</span> <span class="k">predicate</span> <span class="k">func</span>(s) {
+    <span class="k">return</span> s == <span class="s">"sensor-a"</span> <span class="k">or</span> s == <span class="s">"sensor-b"</span>
 }
 
 <span class="k">pub func</span> accept(code <span class="t">int</span>, source <span class="t">string</span>) <span class="t">bool</span> {
     c := EventCode(code)
-    <span class="k">return</span> c == EventCode(42) <span class="k">and</span> source == <span class="s">"sensor-a"</span>
+    s := SourceId(source)
+    <span class="k">return</span> c == EventCode(42) <span class="k">and</span> s == SourceId(<span class="s">"sensor-a"</span>)
 }</code></pre>
                     </div>
                     <div class="example-card">
                         <h3>Host-Granted Access</h3>
                         <p>Imports are explicit. Filesystem, HTTP, and host modules exist only when the embedding application exposes them.</p>
                         <pre><code>http := <span class="k">import</span>(<span class="s">"cap:http"</span>)
-resp, err := http.get(<span class="s">"https://example.com/data"</span>)</code></pre>
+cfg := <span class="k">import</span>(<span class="s">"host:deploy"</span>)
+
+resp, err := http.get(cfg.healthcheck_url())
+ok := err == <span class="k">null</span></code></pre>
                     </div>
                 </div>
             </div>