milkyskies · milkyskies · Mar 17, 2026 · Mar 16, 2026 · Mar 16, 2026 · Mar 16, 2026
diff --git a/docs/site/public/logo.svg b/docs/site/public/logo.svg
diff --git a/docs/site/src/assets/logo.svg b/docs/site/src/assets/logo.svg
diff --git a/examples/store/index.html b/examples/store/index.html
@@ -0,0 +1,12 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+    <title>Floe Store</title>
+  </head>
+  <body>
+    <div id="root"></div>
+    <script type="module" src="/src/main.tsx"></script>
+  </body>
+</html>
diff --git a/examples/store/package.json b/examples/store/package.json
@@ -0,0 +1,28 @@
+{
+  "name": "floe-store",
+  "private": true,
+  "type": "module",
+  "scripts": {
+    "dev": "vite",
+    "build": "vite build",
+    "preview": "vite preview",
+    "check": "floe check src/"
+  },
+  "dependencies": {
+    "@tanstack/react-query": "^5.90.21",
+    "@tanstack/react-router": "^1.166.8",
+    "react": "^19.2.4",
+    "react-dom": "^19.2.4",
+    "react-error-boundary": "^6.1.1",
+    "zod": "^4.3.6"
+  },
+  "devDependencies": {
+    "@tailwindcss/vite": "^4.1.0",
+    "@types/react": "^19.1.0",
+    "@types/react-dom": "^19.1.0",
+    "tailwindcss": "^4.1.0",
+    "typescript": "^5.8.0",
+    "vite": "^6.0.0",
+    "vite-plugin-floe": "workspace:*"
+  }
+}
diff --git a/examples/store/src/api.fl b/examples/store/src/api.fl
@@ -0,0 +1,109 @@
+// ── API layer ──────────────────────────────────────────
+// Uses Http namespace, parse<T> built-in, and collect for
+// parallel fetching. No Zod — the compiler generates
+// validators from the type definitions.
+
+import { Product, ProductId, Review, ApiError } from "./types"
+
+// ── Response types for parsing ─────────────────────────
+
+type ProductDetailResponse = {
+    id: number,
+    title: string,
+    description: string,
+    category: string,
+    price: number,
+    discountPercentage: number,
+    rating: number,
+    stock: number,
+    tags: Array<string>,
+    brand: string,
+    thumbnail: string,
+    images: Array<string>,
+    reviews: Array<Review>,
+}
+
+type ProductListResponse = {
+    products: Array<Product>,
+    total: number,
+}
+
+export type CategoryResponse = {
+    slug: string,
+    name: string,
+}
+
+// ── Single product fetch ───────────────────────────────
+
+export async fn fetchProduct(id: ProductId) -> Result<(Product, Array<Review>), ApiError> {
+    const data = await Http.get(`https://dummyjson.com/products/${id}`)?
+        |> Http.json?
+        |> parse<ProductDetailResponse>?
+
+    const product = Product(
+        id: ProductId(data.id),
+        title: data.title,
+        description: data.description,
+        category: data.category,
+        price: data.price,
+        discountPercentage: data.discountPercentage,
+        rating: data.rating,
+        stock: data.stock,
+        tags: data.tags,
+        brand: data.brand,
+        thumbnail: data.thumbnail,
+        images: data.images,
+    )
+
+    Ok((product, data.reviews))
+}
+
+// ── Product list with filters ──────────────────────────
+
+export async fn fetchProducts(
+    category: string = "",
+    search: string = "",
+    limit: number = 20,
+    skip: number = 0,
+) -> Result<(Array<Product>, number), ApiError> {
+    const url = (category, search)
+        |> match {
+            ("", "") -> `https://dummyjson.com/products?limit=${limit}&skip=${skip}`,
+            (cat, "") when cat != "" -> `https://dummyjson.com/products/category/${cat}?limit=${limit}&skip=${skip}`,
+            (_, q) -> `https://dummyjson.com/products/search?q=${q}&limit=${limit}&skip=${skip}`,
+        }
+
+    const data = await Http.get(url)?
+        |> Http.json?
+        |> parse<ProductListResponse>?
+
+    Ok((data.products, data.total))
+}
+
+// ── Categories ─────────────────────────────────────────
+
+// TODO: needs compiler fix - Array.map return type inference doesn't narrow through generics
+export async fn fetchCategories() -> Result<Array<CategoryResponse>, ApiError> {
+    const data = await Http.get("https://dummyjson.com/products/categories")?
+        |> Http.json?
+        |> parse<Array<CategoryResponse>>?
+
+    Ok(data)
+}
+
+// ── Parallel dashboard fetch ───────────────────────────
+
+export async fn fetchStoreDashboard(
+    category: string = "",
+) -> Result<(Array<Product>, Array<CategoryResponse>), Array<ApiError>> {
+    collect {
+        const (products, _total) = await fetchProducts(category: category)?
+        const categories = await fetchCategories()?
+
+        (products, categories)
+    }
+}
+
+test "fetchProducts returns products" {
+    assert true
+}