kopular 0.2.0 → 0.4.0

package/LLM.md

@@ -0,0 +1,244 @@
+# Kopular — LLM reference
+
+Complete reference for generating correct Kopular code. This is a spec, not a tutorial —
+see `README.md` for narrative/rationale. Kopular is 6 files total; this covers all of
+them. For the host language, see KopScript's own `LLM.md` in the `Kop` repo (or its
+published `LLM.md` on the `kopscript` npm package) — that reference is a prerequisite,
+not repeated here.
+
+Published as npm `kopular`. Entry points: `kopular` / `kopular/component` (Component),
+`kopular/router` (Router), `kopular/dom` (ambient DOM bindings), `kopular/directives`
+(If), `kopular/http` (Http).
+
+## Consuming Kopular from your own KopScript project
+
+`using` only resolves same-project relative paths — reaching into an npm package (Kopular
+included) always goes through `extern`, re-describing exactly the members you use:
+
+```ks
+extern class Component {
+  constructor();
+  virtual Element Render();       // `virtual` here is what lets your subclass `override` it
+  void Mount(Element parent);
+  void Update();
+} from "kopular/component";
+
+extern class Router {
+  constructor(Component notFoundPage);
+  void AddRoute(string path, Component page);
+  void Navigate(string path);
+  void Mount(Element parent);
+} from "kopular/router";
+
+extern Element If(bool condition, () => Element whenTrue, () => Element whenFalse) from "kopular/directives";
+
+extern class Response {
+  bool ok { get; }
+  number status { get; }
+  task<string> text();          // no `async` on an extern signature — see KopScript's own LLM.md
+};
+extern class Http {
+  static task<Response> Get(string url);
+  static task<Response> Post(string url, string jsonBody);
+  static task<Response> Put(string url, string jsonBody);
+  static task<Response> Patch(string url, string jsonBody);
+  static task<Response> Delete(string url);
+} from "kopular/http";
+```
+
+You also need your own ambient DOM `extern` block (`document`, `Element`, `Event`, ...) —
+Kopular's own copy in `dom.ks` isn't reachable across the package boundary; redeclare the
+handful of members you actually use. See KopularDemo's `src/kopular_bindings.ks` for a
+complete, real example of both.
+
+## `Component` (`component.ks`)
+
+```ks
+class MyWidget : Component {
+  private number count;
+
+  constructor() : base() {
+    this.count = 0;
+  }
+
+  public override Element Render() {
+    Element el = document.createElement("div");
+    el.textContent = "Count: " + this.count;
+    return el;
+  }
+
+  public void Bump() {
+    this.count = this.count + 1;
+    this.Update();       // re-runs Render(), swaps the old root for the new one
+  }
+}
+
+MyWidget w = new MyWidget();
+w.Mount(document.body);  // first Render() + append
+w.Bump();                // re-render
+```
+
+- `Render()`: `virtual`, override it to build a fresh DOM subtree from current state.
+  Called by both `Mount()` and `Update()`. **No template language, no diffing** — every
+  call rebuilds the whole subtree from scratch.
+- `Mount(parent)`: calls `Render()` once, appends the result to `parent`, remembers both
+  for `Update()` to use later.
+- `Update()` (protected — called from within the component, not externally): calls
+  `Render()` again and `replaceChild`s the old root with the new one.
+- **Known limitation**: if a *parent* component's `Update()` runs while it has mounted
+  children, those children are NOT automatically re-mounted into the new parent tree —
+  `Component` only handles a single component's own re-render cycle, not tree
+  reconciliation. Compose independent components into stable slots (see `Router`'s own
+  pattern of keeping page instances alive) to avoid this rather than nesting components
+  that both re-render.
+
+## `Router` (`router.ks`)
+
+Real URLs via the History API (`pushState`/`popstate`), not hash routing.
+
+```ks
+class NotFoundPage : Component {
+  public override Element Render() { /* ... */ }
+}
+class HomePage : Component {
+  private Router Nav;
+  constructor(Router nav) : base() { this.Nav = nav; }
+  public override Element Render() {
+    Element btn = document.createElement("button");
+    btn.addEventListener("click", (Event e) => { this.Nav.Navigate("/about"); });
+    return btn;
+  }
+}
+
+Router nav = new Router(new NotFoundPage());   // NotFoundPage REQUIRED up front — no null route
+nav.AddRoute("/", new HomePage(nav));           // pages built once, kept alive for Router's lifetime
+nav.AddRoute("/about", new AboutPage(nav));
+nav.Mount(document.body);
+nav.Navigate("/about");                          // pushState + immediate re-render
+```
+
+- Constructor takes the fallback page (`Component`), required — there's no nullable
+  "no match" representation.
+- `AddRoute(path, page)` takes an **already-constructed `Component` instance**, not a
+  factory — every registered page is built once and stays alive for the Router's whole
+  lifetime, so a page's own `state<T>` fields survive navigating away and back.
+- `Navigate(path)` calls `history.pushState` then re-renders immediately. A browser
+  back/forward triggers re-render via a `popstate` listener registered in the
+  constructor — `Navigate()` itself doesn't rely on that event.
+- Needs a server that falls back to the app shell for any unrecognized path (a plain
+  static server has nothing to serve at `/about` on direct load/refresh).
+
+## `If` (`directives.ks`) — the `*ngIf` equivalent
+
+```ks
+Element If(bool condition, () => Element whenTrue, () => Element whenFalse)
+```
+
+```ks
+root.appendChild(If(this.IsLoggedIn, () => this.BuildProfile(), () => this.BuildLogin()));
+```
+
+Both branches always required (no null "nothing" value); only the branch actually taken
+is called — the other lambda never runs. `*ngFor` and `*ngSwitch` need no Kopular helper
+at all:
+
+```ks
+// *ngFor — plain array method
+this.Items.ForEach((Item item) => { list.appendChild(this.BuildItemRow(item)); });
+
+// *ngSwitch — plain KopScript `match` expression (exhaustiveness-checked, unlike *ngSwitch)
+root.appendChild(match this.Status {
+  "loading" => this.BuildSpinner(),
+  "error" => this.BuildError(),
+  _ => this.BuildContent()
+});
+```
+
+No keyed/reuse-existing-DOM-nodes diffing (the performance angle of `*ngFor trackBy`) —
+that needs comparing old/new data by a caller key, generic over item type, and KopScript
+has no generics. Not planned as a workaround; would need real language-level generics
+first.
+
+## `Http` (`http.ks`) — thin wrapper over `fetch`
+
+```ks
+Response r = await Http.Get(url);            // task<Response>
+Response r = await Http.Post(url, jsonBody); // string body, Content-Type: application/json
+Response r = await Http.Put(url, jsonBody);
+Response r = await Http.Patch(url, jsonBody);
+Response r = await Http.Delete(url);         // no body param — DELETE has none
+
+r.ok       // bool
+r.status   // number
+await r.text();   // task<string> — the raw body, nothing more
+```
+
+**No typed JSON deserialization** — no generics means no safe `Get<T>(url): task<T>`.
+Get a typed response by describing its shape as its own `extern class` and parsing with
+a per-shape `extern ... as "JSON.parse"` (unchecked, same trust model as every other
+`extern`):
+
+```ks
+extern class DogDto { string name { get; } };
+extern DogDto ParseDog(string json) as "JSON.parse";
+
+DogDto dog = ParseDog(await (await Http.Get(url)).text());
+```
+
+`Get`/`Delete` need no request body, so they bind straight to the real global `fetch` —
+no object literal involved (KopScript has none). `Post`/`Put`/`Patch` (and a
+hypothetical `Delete`-with-a-body) need one for `{ method, headers, body }`, which
+KopScript categorically cannot construct — Kopular ships one small hand-written JS
+function (`http_runtime.js`, not compiled from `.ks`) that does, for exactly that reason.
+
+## Dependency injection — no container, no decorators
+
+There is no injector, no `@Injectable`, no provider tokens. "Injecting" a service is
+passing it as a constructor argument — the compiler enforces it (a missing/mistyped
+dependency is a build error). For an app with more than a couple of services, use one
+plain "composition root" class (not a `Component`, never touches the DOM) that builds
+the whole service/page graph exactly once and hands the finished pieces to whatever
+needs them:
+
+```ks
+class AppContainer {
+  public Router Nav;
+  constructor() {
+    CounterService counter = new CounterService();   // shared singleton: pass the same
+    this.Nav = new Router(new NotFoundPage());        // instance wherever it should be
+    this.Nav.AddRoute("/", new HomePage(this.Nav, counter));
+  }
+}
+
+class RoutedApp : Component {
+  private Router Nav;
+  constructor(AppContainer services) : base() { this.Nav = services.Nav; }
+  public override Element Render() {
+    Element el = document.createElement("div");
+    this.Nav.Mount(el);
+    return el;
+  }
+}
+
+RoutedApp app = new RoutedApp(new AppContainer());
+app.Mount(document.body);
+```
+
+A service needing its own state/logic is a plain class — no base class, no
+decorators, nothing framework-specific:
+
+```ks
+class CounterService {
+  public state<number> Count;
+  constructor() { this.Count = state(0); }
+  public void Increment() { this.Count.Value = this.Count.Value + 1; }
+}
+```
+
+## Does not exist
+
+DI container/injector · decorators (`@Injectable`, `@Component`, ...) · a template
+language/DSL — everything is imperative `Render()` code against plain DOM bindings ·
+vdom diffing / reconciliation beyond a single component's own re-render · pipes ·
+animations · forms/validation module · typed/generic HTTP responses (`Http` returns raw
+text — see above) · a CLI/scaffolding tool (`ng generate`-equivalent) · SSR.

package/README.md

@@ -1,3 +1,5 @@
+<img src="https://cdn.jsdelivr.net/npm/kopular@latest/assets/logo.png" width="96" height="96" alt="Kopular logo">
+
 # Kopular
 
 Kopular is a small component framework for [KopScript](https://dev.azure.com/koppinator/Koppindependence/_git/Kop),
@@ -5,6 +7,9 @@ built to give Angular's separation of concerns — components own UI, services o
 a router owns navigation — without Angular's steepest learning-curve pieces: no RxJS, no
 dependency-injection container, no template DSL.
 
+Generating Kopular code with an AI coding assistant? Point it at **[`LLM.md`](./LLM.md)**
+— a dense, complete reference designed to be loaded straight into an LLM's context.
+
 ## Highlights
 
 - **`Component`**: a base class with `virtual Render()` (builds a fresh DOM subtree from
@@ -24,16 +29,211 @@ dependency-injection container, no template DSL.
   DSL. Needs a server that falls back to the app shell for unrecognized paths — see
   [KopularDemo](https://dev.azure.com/koppinator/Koppindependence/_git/KopularDemo)'s
   `scripts/serve.mjs`.
+- **Structural directives, no template DSL**: `*ngIf`/`*ngFor`/`*ngSwitch`'s job — build
+  a subtree conditionally, repeat one per item, pick one of several cases — done as plain
+  function calls (`If(...)`) and existing KopScript expressions (`array.ForEach(...)`,
+  `match`), not special template syntax. See "Structural directives" below.
+- **`Http`**: a thin, static wrapper over the real Fetch API (`Http.Get(url)`,
+  `Http.Post(url, jsonBody)`, ...) — no HttpClient injection tokens, no RxJS
+  observables/operators. See "HTTP" below.
 
 ## What's here
 
 - `src/dom.ks` — ambient DOM bindings (`document`, `Element`, `Event`, `window`,
-  `location`) that `component.ks`/`router.ks` are built on.
+  `location`) that `component.ks`/`router.ks`/`directives.ks` are built on.
 - `src/component.ks` — the `Component` base class.
 - `src/router.ks` — the `Router`.
+- `src/directives.ks` — `If()`, the structural-directive equivalents' one genuinely new
+  piece (see below).
+- `src/http.ks` — `Http`, a thin wrapper over `fetch` (see below). `src/http_runtime.js`
+  is its one companion file — the single hand-written (not compiled from `.ks`) file in
+  Kopular, and why is explained in its own header comment.
+
+That's the whole framework — six files. Everything else (a real app built on top of it)
+lives in a separate consumer repo, [KopularDemo](https://dev.azure.com/koppinator/Koppindependence/_git/KopularDemo).
+
+## Dependency injection: the composition root pattern
+
+Kopular has no injector because KopScript has nothing for one to hook into — no
+decorators, no reflection, no generics for a type-safe `Resolve<T>()`. Instead, the
+whole app's service/page graph gets built exactly once, by hand, in one place: a plain
+class with no `Component` base and no framework code in it at all, sometimes called an
+**app container** or (in the wider DI literature) a **composition root**. Everything
+else just takes what it needs as constructor arguments and never constructs its own
+dependencies.
+
+```ks
+// app_container.ks — the one place that decides what's shared and builds
+// the graph, in dependency order.
+class AppContainer {
+  public Router Nav;
+
+  constructor() {
+    // Built once, passed to every page that needs it below — that's the
+    // whole mechanism for a shared singleton. A page that constructed its
+    // own `new CounterService()` instead would get an independent one; the
+    // difference is which variable gets passed in, not a config flag.
+    CounterService counter = new CounterService();
+
+    this.Nav = new Router(new NotFoundPage());
+    this.Nav.AddRoute("/", new HomePage(this.Nav, counter));
+    this.Nav.AddRoute("/about", new AboutPage(this.Nav));
+  }
+}
+
+// routed_app.ks — the root Component. Takes the already-built graph; never
+// builds one of its own.
+class RoutedApp : Component {
+  private Router Nav;
+
+  constructor(AppContainer services) : base() {
+    this.Nav = services.Nav;
+  }
+
+  public override Element Render() {
+    Element container = document.createElement("div");
+    this.Nav.Mount(container);
+    return container;
+  }
+}
+
+RoutedApp app = new RoutedApp(new AppContainer());
+app.Mount(document.body);
+```
+
+This is sometimes called "Pure DI" — the same benefits a container gives you (nothing
+hardcodes its own dependencies, everything is swappable in a test) with none of a
+container's cost:
+
+- **Compile-time checked.** A missing or mistyped dependency is `expected N arguments,
+  got M` from the KopScript compiler, not a `NullInjectorError` your users hit at
+  runtime after a container fails to resolve something.
+- **Fully legible.** The entire dependency graph is ordinary, readable code in one file
+  — grep for `new` in the composition root and you've read the whole wiring diagram.
+  Nothing is constructed by a framework inspecting metadata behind the scenes.
+- **No new concepts.** If you already know how to call a constructor, you already know
+  Kopular's DI story — there's no separate injector API, provider syntax, or
+  injection-token vocabulary to learn.
+
+See [KopularDemo](https://dev.azure.com/koppinator/Koppindependence/_git/KopularDemo)'s
+`src/app_container.ks` and `src/routed_app.ks` for the real, working version this
+example is drawn from.
+
+## Structural directives
+
+Angular's `*ngIf`/`*ngFor`/`*ngSwitch` are template syntax that expands, at compile time,
+into imperative view-container calls. Kopular has no template compiler to expand
+anything into (`Render()` is already imperative — see `component.ks`), so there's no
+special syntax here either: each one maps onto a plain expression, and two of the three
+need nothing new at all.
+
+| Angular          | Kopular                                    | New code? |
+| ----------------- | ------------------------------------------- | :-------: |
+| `*ngFor`          | `array.ForEach((item) => ...)`              | none — already a KopScript array method |
+| `*ngSwitch`       | `match value { ... }`                       | none — already a KopScript expression, and exhaustiveness-checked (`*ngSwitch` isn't) |
+| `*ngIf` / `*ngIf-else` | `If(condition, () => ..., () => ...)`  | `directives.ks` |
+
+`*ngIf` is the one case that needs something new: `if` is a *statement* in KopScript, so
+without a helper you'd need a throwaway mutable local just to get a conditional value out
+of it. `If()` is that helper — nothing more than:
+
+```ks
+Element If(bool condition, () => Element whenTrue, () => Element whenFalse) {
+  if (condition) {
+    return whenTrue();
+  }
+  return whenFalse();
+}
+```
+
+Both branches are required (same reasoning `Router` uses for requiring a `NotFoundPage`
+up front — see `router.ks`): v1 has no nullable types, so "render nothing" has no value
+to hand back. Only the branch actually taken runs — the other lambda is never called, so
+an explicit empty branch (`() => document.createElement("span")`) costs nothing when
+there's genuinely nothing to show.
+
+All three read the same way, right inside `Render()` — no template file, no directive
+registration, nothing to import beyond the function itself:
+
+```ks
+public override Element Render() {
+  Element root = document.createElement("div");
+
+  // *ngIf
+  root.appendChild(If(this.User.IsLoggedIn, () => this.BuildProfile(), () => this.BuildLoginButton()));
+
+  // *ngFor
+  Element list = document.createElement("ul");
+  this.Items.ForEach((Item item) => { list.appendChild(this.BuildItemRow(item)); });
+  root.appendChild(list);
+
+  // *ngSwitch
+  root.appendChild(match this.Status {
+    "loading" => this.BuildSpinner(),
+    "error" => this.BuildError(),
+    _ => this.BuildContent()
+  });
+
+  return root;
+}
+```
+
+Why not a general reuse-existing-DOM-nodes diffing layer, the way `*ngFor trackBy`
+avoids rebuilding unchanged rows? That needs comparing old and new *data* items by a
+caller-supplied key, generic over the item type — and KopScript has no generics (no
+`class Foo<T>`, no `T Resolve<T>()`). A one-off keyed-diff helper could be hand-written
+per list, but that's real vdom-diffing work — already called out as out of scope in
+"Status" below, and not something these three lines take on.
+
+## HTTP
+
+```ks
+using "./http";
+
+Response r = await Http.Get("/api/dogs");
+if (r.ok) {
+  string body = await r.text();
+  print(body);
+}
+
+await Http.Post("/api/dogs", "{\"name\":\"Rex\"}");
+await Http.Put("/api/dogs/1", "{\"name\":\"Rexy\"}");
+await Http.Patch("/api/dogs/1", "{\"name\":\"Max\"}");
+await Http.Delete("/api/dogs/1");
+```
+
+`Http` is a thin, static wrapper over the real Fetch API — `Get`/`Post`/`Put`/`Patch`/
+`Delete`, each returning `task<Response>` (`.ok`, `.status`, `async text()`). No
+`HttpClient` to inject, no RxJS `Observable`/operators, no interceptors — call it from
+anywhere, including straight out of a service's own methods.
+
+**No typed JSON deserialization** — `Response.text()` gets you the raw body, nothing
+more. This isn't a corner cut for v1; it's a direct consequence of two things KopScript
+doesn't have: generics (so there's no safe way to write a general `Get<T>(url):
+task<T>`) and object-literal syntax (`{ ... }` as a value — see below). If you want a
+typed response, describe its shape as its own `extern class` and parse it yourself with
+a per-shape `extern ... as "JSON.parse"` declaration — the same trust-based approach
+`extern` already uses for everything else, not a new mechanism:
+
+```ks
+extern class DogDto {
+  string name { get; }
+};
+extern DogDto ParseDog(string json) as "JSON.parse";
+
+string body = await (await Http.Get("/api/dogs/1")).text();
+DogDto dog = ParseDog(body);   // unchecked, like a TypeScript `as DogDto` cast
+```
 
-That's the whole framework — three files. Everything else (a real app built on top of
-it) lives in a separate consumer repo, [KopularDemo](https://dev.azure.com/koppinator/Koppindependence/_git/KopularDemo).
+**Why `Post`/`Put`/`Patch`/`Delete` aren't just `extern` bindings straight to `fetch`,
+the way `Get` is**: setting a request method/body/headers means passing `fetch` a second
+argument that's a plain JS object literal (`{ method, headers, body }`) — and KopScript
+has no object-literal syntax at all, so it can't construct one. `src/http_runtime.js` is
+one small hand-written function that does, and `Get`/`Delete`-with-no-body skip it
+entirely (`fetch(url)` alone needs no options object, so `Get` binds straight to the
+real global). It's the one file in this package not compiled from `.ks` — everywhere
+else avoids the problem by only wrapping JS APIs that take plain positional arguments
+(see `dom.ks`'s `addEventListener(string, handler)`, never an options-object-taking API).
 
 ## Using Kopular from another KopScript project
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "kopular",
-  "version": "0.2.0",
-  "description": "Kopular: a small component framework for KopScript — components, reactive state, constructor-injected services, and routing, with no template DSL and no DI container",
+  "version": "0.4.0",
+  "description": "Kopular: a small component framework for KopScript — components, reactive state, constructor-injected services, routing, structural directives, and HTTP, with no template DSL and no DI container",
   "type": "module",
   "license": "MIT",
   "author": "Joe Koppin <koppinjo@gmail.com>",
@@ -20,19 +20,23 @@
     ".": "./src/component.js",
     "./component": "./src/component.js",
     "./router": "./src/router.js",
-    "./dom": "./src/dom.js"
+    "./dom": "./src/dom.js",
+    "./directives": "./src/directives.js",
+    "./http": "./src/http.js"
   },
   "files": [
-    "src"
+    "src",
+    "assets",
+    "LLM.md"
   ],
   "scripts": {
-    "build": "ks build src/router.ks",
+    "build": "ks build src/router.ks && ks build src/directives.ks && ks build src/http.ks",
     "prepublishOnly": "npm run build",
     "test": "vitest run",
     "test:watch": "vitest"
   },
   "devDependencies": {
-    "kopscript": "^0.1.0",
+    "kopscript": "^0.3.0",
     "@types/jsdom": "^30.0.0",
     "@types/node": "^20.14.0",
     "jsdom": "^25.0.1",

package/src/directives.js

@@ -0,0 +1,8 @@
+import { Event, Element, Document, Location, History, Window, document, location, history, window } from "./dom.js";
+
+export function If(condition, whenTrue, whenFalse) {
+  if (condition) {
+    return whenTrue();
+  }
+  return whenFalse();
+}

package/src/directives.ks

@@ -0,0 +1,30 @@
+using "./dom";
+
+// Kopular's structural-directive equivalents — see the README's
+// "Structural directives" section for the full *ngIf/*ngFor/*ngSwitch
+// mapping. There's no template language here (Kopular doesn't have one, by
+// design — see component.ks), so these are just plain functions: call them
+// like any other expression from inside Render(), the same way you'd call
+// document.createElement.
+//
+// *ngFor and *ngSwitch need nothing new — `array.ForEach(...)` and
+// KopScript's own `match` expression already cover them (and `match` is
+// exhaustiveness-checked, which *ngSwitch isn't). `If` below is the one
+// piece the language doesn't already give you as an expression: `if` is a
+// statement in KopScript, so without this you'd need a throwaway mutable
+// local to get a conditional value.
+
+// The *ngIf equivalent — conditionally build one of two subtrees, as an
+// expression. Both branches are required: v1 has no nullable types, so
+// "render nothing" has no value to return — the same reasoning Router uses
+// for requiring a NotFoundPage up front (see router.ks) rather than letting
+// "no match" be null. Only the branch actually taken runs; the other
+// lambda is never called, so an explicit empty branch (e.g.
+// `() => document.createElement("span")`) costs nothing when there's
+// genuinely nothing to show.
+Element If(bool condition, () => Element whenTrue, () => Element whenFalse) {
+  if (condition) {
+    return whenTrue();
+  }
+  return whenFalse();
+}

package/src/http.js

@@ -0,0 +1,25 @@
+export const Response = globalThis.Response;
+export const FetchUrl = globalThis.fetch;
+import { requestWithBody as RequestWithBody } from "./http_runtime.js";
+export { RequestWithBody };
+export class Http {
+  static async Get(url) {
+    return await FetchUrl(url);
+  }
+
+  static async Delete(url) {
+    return await RequestWithBody(url, "DELETE", null, "application/json");
+  }
+
+  static async Post(url, jsonBody) {
+    return await RequestWithBody(url, "POST", jsonBody, "application/json");
+  }
+
+  static async Put(url, jsonBody) {
+    return await RequestWithBody(url, "PUT", jsonBody, "application/json");
+  }
+
+  static async Patch(url, jsonBody) {
+    return await RequestWithBody(url, "PATCH", jsonBody, "application/json");
+  }
+}

package/src/http.ks

@@ -0,0 +1,52 @@
+// A thin wrapper over the real Fetch API — no object literals (KopScript
+// has no syntax for one), no generics, no automatic JSON deserialization.
+// `Response.Text()` gets you the raw body; for a typed JSON response,
+// describe the shape as its own `extern class` and parse it with a
+// per-shape `extern ... as "JSON.parse"` declaration (see Kopular's README)
+// — the same trust-based approach `extern` already uses for everything
+// else, not a new mechanism.
+
+extern class Response {
+  bool ok { get; }
+  number status { get; }
+  task<string> text();
+};
+
+// GET/HEAD/DELETE-without-a-body need no options object at all, so they
+// bind straight to the real global `fetch` — no runtime helper involved.
+extern task<Response> FetchUrl(string url) as "fetch";
+
+// POST/PUT/PATCH (and DELETE-with-a-body) need to set a method/body/
+// headers, which does need an options object — the one thing in this file
+// that isn't a direct, unassisted binding to a real JS global. See
+// http_runtime.js for why, and for the only hand-written JS in this
+// package. A relative path, not a package-name one: this is Kopular
+// referencing its own sibling file (which isn't part of Kopular's public
+// API — only Http's static methods below are), not a consumer reaching
+// into Kopular from outside.
+extern task<Response> RequestWithBody(string url, string method, string? body, string contentType) from "./http_runtime.js" as "requestWithBody";
+
+// Static methods, not free functions, purely so call sites read as
+// `Http.Get(url)` / `Http.Post(url, body)` — there's no instance state here
+// to justify a real object.
+class Http {
+  public static async task<Response> Get(string url) {
+    return await FetchUrl(url);
+  }
+
+  public static async task<Response> Delete(string url) {
+    return await RequestWithBody(url, "DELETE", null, "application/json");
+  }
+
+  public static async task<Response> Post(string url, string jsonBody) {
+    return await RequestWithBody(url, "POST", jsonBody, "application/json");
+  }
+
+  public static async task<Response> Put(string url, string jsonBody) {
+    return await RequestWithBody(url, "PUT", jsonBody, "application/json");
+  }
+
+  public static async task<Response> Patch(string url, string jsonBody) {
+    return await RequestWithBody(url, "PATCH", jsonBody, "application/json");
+  }
+}

package/src/http_runtime.js

@@ -0,0 +1,15 @@
+// The one hand-written file in Kopular — every other .js file here is
+// compiled from a same-named .ks source. KopScript has no object-literal
+// syntax, so it can't construct `fetch`'s second (options) argument itself;
+// every other Kopular binding avoids this by only wrapping JS APIs that take
+// plain positional arguments (see dom.ks). `fetch(url)` alone needs no
+// options object at all (that's a plain `extern` in http.ks), but a request
+// with a body/headers does — this function exists so http.ks has something
+// with a real, callable, options-object-free signature to bind to.
+export function requestWithBody(url, method, body, contentType) {
+  return fetch(url, {
+    method,
+    headers: body === null ? undefined : { "Content-Type": contentType },
+    body: body === null ? undefined : body,
+  });
+}