honertia 0.1.18 → 0.1.20

package/README.md

@@ -66,12 +66,12 @@ Deploy the honertia-worker-demo repo to Cloudflare
 import { Hono } from 'hono'
 import { logger } from 'hono/logger'
 import { setupHonertia, createTemplate, createVersion, registerErrorHandlers, vite } from 'honertia'
-import { Context, Layer } from 'effect'
 import manifest from '../dist/manifest.json'
 
 import type { Env } from './types'
 import { createDb } from './db/db'
 import { createAuth } from './lib/auth'
+import * as schema from './db/schema'
 import { registerRoutes } from './routes'
 
 const app = new Hono<Env>()
@@ -79,13 +79,8 @@ const assetVersion = createVersion(manifest)
 const entry = manifest['src/main.tsx']
 const assetPath = (path: string) => `/${path}`
 
-class BindingsService extends Context.Tag('app/Bindings')<
-  BindingsService,
-  { KV: KVNamespace }
->() {}
-
 // Honertia bundles db/auth setup + core middleware + Effect runtime.
-app.use('*', setupHonertia<Env, BindingsService>({
+app.use('*', setupHonertia<Env>({
   honertia: {
     // Use your asset manifest hash so Inertia reloads on deploy.
     version: assetVersion,
@@ -109,12 +104,6 @@ app.use('*', setupHonertia<Env, BindingsService>({
     // Schema for route model binding (optional)
     schema,
   },
-  effect: {
-    // Custom Effect services (e.g., Cloudflare bindings)
-    services: (c) => Layer.succeed(BindingsService, {
-      KV: c.env.MY_KV,
-    }),
-  },
   // Optional: extra Hono middleware in the same chain.
   middleware: [
     logger(),
@@ -780,95 +769,110 @@ Honertia provides these services via Effect's dependency injection:
 | `DatabaseService` | Database client (from `c.var.db`) |
 | `AuthService` | Auth instance (from `c.var.auth`) |
 | `AuthUserService` | Authenticated user session |
+| `BindingsService` | Environment bindings (Cloudflare KV, D1, R2, etc.) |
 | `HonertiaService` | Page renderer |
 | `RequestService` | Request context (params, query, body) |
 | `ResponseFactoryService` | Response builders |
 
-#### Custom Services
+#### Accessing Cloudflare Bindings
+
+Use `BindingsService` to access your Cloudflare bindings (KV, D1, R2, Queues, etc.):
+
+```typescript
+import { Effect } from 'effect'
+import { BindingsService, json } from 'honertia/effect'
+
+const getDataFromKV = Effect.gen(function* () {
+  const { KV } = yield* BindingsService
+  const value = yield* Effect.tryPromise(() => KV.get('my-key'))
+  return yield* json({ value })
+})
+```
+
+For full type safety, add `HonertiaBindingsType` to your module augmentation (see [TypeScript](#typescript) section). You can reference the same `Bindings` type you use for Hono—no duplication needed.
 
-You can inject Cloudflare Worker bindings (KV, D1, Queues, Analytics Engine) as services using the `services` option in `setupHonertia`, `effectBridge`, or `effectRoutes`.
+#### Custom Effect Services
 
-Choose the option that matches your setup:
+For more complex scenarios, use `effect.services` to create proper Effect services:
 
-- `setupHonertia`: recommended for most apps; keeps config in one place and applies services to every Effect handler.
-- `effectBridge`: use when wiring middleware manually or when you need precise middleware ordering; applies services to all Effect handlers.
-- `effectRoutes`: use when you want services scoped to a route group or different services per group.
+**When to use custom services instead of `request.env`:**
+- Services that need initialization or cleanup logic
+- Services you want to mock in tests
+- Abstracting third-party APIs into a typed interface
+- Services that combine multiple bindings with business logic
 
 ```typescript
 import { Effect, Layer, Context } from 'effect'
-import { setupHonertia, effectBridge, effectRoutes } from 'honertia'
+import { setupHonertia } from 'honertia'
 
-// Define your custom service
-export class BindingsService extends Context.Tag('app/Bindings')<
-  BindingsService,
+// Example: A rate limiter service that combines KV with business logic
+class RateLimiterService extends Context.Tag('app/RateLimiter')<
+  RateLimiterService,
   {
-    KV: KVNamespace
-    ANALYTICS: AnalyticsEngineDataset
-    DB: D1Database
+    check: (key: string, limit: number, windowSeconds: number) => Promise<boolean>
+    increment: (key: string) => Promise<void>
   }
 >() {}
 
-// Option 1: setupHonertia (global services via the one-liner setup)
-app.use('*', setupHonertia<Env, BindingsService>({
-  honertia: {
-    version: '1.0.0',
-    render: (page) => JSON.stringify(page),
+// Create the service with initialization logic
+const createRateLimiter = (kv: KVNamespace) => ({
+  check: async (key: string, limit: number, windowSeconds: number) => {
+    const count = parseInt(await kv.get(key) ?? '0')
+    return count < limit
   },
-  effect: {
-    services: (c) => Layer.succeed(BindingsService, {
-      KV: c.env.MY_KV,
-      ANALYTICS: c.env.ANALYTICS,
-      DB: c.env.DB,
-    }),
+  increment: async (key: string) => {
+    const count = parseInt(await kv.get(key) ?? '0')
+    await kv.put(key, String(count + 1), { expirationTtl: 60 })
   },
-}))
+})
 
-// Option 2: effectBridge (manual middleware wiring)
-app.use('*', effectBridge<Env, BindingsService>({
-  database: (c) => createDb(c.env.DATABASE_URL),
-  services: (c) => Layer.succeed(BindingsService, {
-    KV: c.env.MY_KV,
-    ANALYTICS: c.env.ANALYTICS,
-    DB: c.env.DB,
-  }),
+app.use('*', setupHonertia<Env, RateLimiterService>({
+  honertia: { version, render },
+  effect: {
+    services: (c) => Layer.succeed(
+      RateLimiterService,
+      createRateLimiter(c.env.RATE_LIMIT_KV)
+    ),
+  },
 }))
 
-// Option 3: effectRoutes (scoped to a route group)
-effectRoutes<Env, BindingsService>(app, {
-  services: (c) => Layer.succeed(BindingsService, {
-    KV: c.env.MY_KV,
-    ANALYTICS: c.env.ANALYTICS,
-    DB: c.env.DB,
-  }),
-}).group((route) => {
-  route.get('/data', getDataFromKV)
-})
+// Use in your action - clean, testable, typed
+const createProject = Effect.gen(function* () {
+  const rateLimiter = yield* RateLimiterService
+  const auth = yield* authorize()
 
-// Use the custom service in your actions
-const getDataFromKV = Effect.gen(function* () {
-  const bindings = yield* BindingsService
-  const value = yield* Effect.tryPromise(() =>
-    bindings.KV.get('my-key')
+  const allowed = yield* Effect.tryPromise(() =>
+    rateLimiter.check(`create:${auth.user.id}`, 10, 60)
   )
-  return yield* json({ value })
+  if (!allowed) {
+    return yield* httpError(429, 'Rate limit exceeded')
+  }
+
+  // ... create project ...
+
+  yield* Effect.tryPromise(() => rateLimiter.increment(`create:${auth.user.id}`))
+  return yield* redirect('/projects')
 })
 ```
 
-You can provide multiple bindings in any option using `Layer.mergeAll` (for example, a `QueueService` tag for a queue binding):
+**Multiple services with `Layer.mergeAll`:**
 
 ```typescript
-app.use('*', effectBridge<Env, BindingsService | QueueService>({
-  services: (c) => Layer.mergeAll(
-    Layer.succeed(BindingsService, {
-      KV: c.env.MY_KV,
-      ANALYTICS: c.env.ANALYTICS,
-      DB: c.env.DB,
-    }),
-    Layer.succeed(QueueService, c.env.MY_QUEUE),
-  ),
+app.use('*', setupHonertia<Env, RateLimiterService | QueueService>({
+  honertia: { version, render },
+  effect: {
+    services: (c) => Layer.mergeAll(
+      Layer.succeed(RateLimiterService, createRateLimiter(c.env.RATE_LIMIT_KV)),
+      Layer.succeed(QueueService, { queue: c.env.MY_QUEUE }),
+    ),
+  },
 }))
 ```
 
+**Summary:**
+- **Simple binding access**: Use `BindingsService` (automatically provided, typed via module augmentation)
+- **Complex services**: Use `effect.services` when you need initialization, testability, or abstraction
+
 ### Routing
 
 Use `effectRoutes` for Laravel-style route definitions:
@@ -1717,39 +1721,83 @@ const Layout: HonertiaPage<Props> = ({ auth, children }) => {
 
 ### Typed Services via Module Augmentation
 
-By default, `DatabaseService` and `AuthService` are typed as `unknown` since Honertia is database and auth agnostic. You can provide your specific types via module augmentation:
+Define your types once in `types.ts` and use them for both Hono and Effect services:
 
 ```typescript
-// src/types.d.ts (or any .d.ts file in your project)
+// src/types.ts
+import type { D1Database } from '@cloudflare/workers-types'
 import type { Database } from '~/db/db'
-import type { auth } from '~/lib/auth'
+import type { Auth } from '~/lib/auth'
 import * as schema from '~/db/schema'
 
+// Define bindings ONCE
+export type Bindings = {
+  DB: D1Database
+  BETTER_AUTH_SECRET: string
+  ENVIRONMENT?: string
+}
+
+export type Variables = {
+  db: Database
+  auth: Auth
+}
+
+// Export for Hono
+export type Env = {
+  Bindings: Bindings
+  Variables: Variables
+}
+
+// Module augmentation references the same types
 declare module 'honertia/effect' {
   interface HonertiaDatabaseType {
-    type: Database        // Your Drizzle/Prisma/Kysely type
-    schema: typeof schema // Your Drizzle schema (for route model binding)
+    type: Database
+    schema: typeof schema
   }
 
   interface HonertiaAuthType {
-    type: typeof auth // Your better-auth instance type
+    type: Auth
   }
+
+  interface HonertiaBindingsType {
+    type: Bindings
 }
 ```
 
-Then use `DatabaseService` and `AuthService` to get typed access:
+Now use the `Env` type for Hono and get full type safety everywhere:
 
 ```typescript
-import { DatabaseService, AuthService } from 'honertia/effect'
+// src/index.ts
+import type { Env } from './types'
+
+const app = new Hono<Env>()
+
+app.use('*', setupHonertia<Env>({
+  honertia: {
+    database: (c) => createDb(c.env.DB),  // ✅ c.env.DB is typed
+    auth: (c) => createAuth({
+      db: c.var.db,                        // ✅ c.var.db is typed
+      secret: c.env.BETTER_AUTH_SECRET,
+    }),
+    // ...
+  },
+}))
+```
+
+```typescript
+// In your actions
+import { DatabaseService, BindingsService } from 'honertia/effect'
+
+const db = yield* DatabaseService          // ✅ typed as Database
+const { DB } = yield* BindingsService      // ✅ typed as Bindings
 
-// DatabaseService respects your module augmentation
-const db = yield* DatabaseService
-const auth = yield* AuthService
 const projects = yield* Effect.tryPromise(() =>
-  db.query.projects.findMany() // ✅ Full type safety
+  db.query.projects.findMany()             // ✅ full type safety
 )
 ```
 
+One type definition, used everywhere—no duplication.
+
 ## Architecture Notes
 
 ### Request-Scoped Services

package/dist/effect/bridge.d.ts

@@ -5,7 +5,7 @@
  */
 import { Layer, ManagedRuntime } from 'effect';
 import type { Context as HonoContext, MiddlewareHandler, Env } from 'hono';
-import { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService } from './services.js';
+import { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService, BindingsService } from './services.js';
 /**
  * Configuration for the Effect bridge.
  *
@@ -60,7 +60,7 @@ declare module 'hono' {
 /**
  * Build the Effect layer from Hono context.
  */
-export declare function buildContextLayer<E extends Env, CustomServices = never>(c: HonoContext<E>, config?: EffectBridgeConfig<E, CustomServices>): Layer.Layer<RequestService | ResponseFactoryService | HonertiaService | DatabaseService | AuthService | AuthUserService | CustomServices, never, never>;
+export declare function buildContextLayer<E extends Env, CustomServices = never>(c: HonoContext<E>, config?: EffectBridgeConfig<E, CustomServices>): Layer.Layer<RequestService | ResponseFactoryService | HonertiaService | DatabaseService | AuthService | AuthUserService | BindingsService | CustomServices, never, never>;
 /**
  * Get the Effect runtime from Hono context.
  */

package/dist/effect/bridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../../src/effect/bridge.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAC1E,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,sBAAsB,EAOvB,MAAM,eAAe,CAAA;AAEtB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK;IACvE;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3E;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjC;AAED;;GAEG;AACH,QAAA,MAAM,cAAc,eAA0B,CAAA;AAE9C;;GAEG;AACH,QAAA,MAAM,aAAa,eAAyB,CAAA;AA6B5C;;GAEG;AACH,OAAO,QAAQ,MAAM,CAAC;IACpB,UAAU,kBAAkB;QAC1B,CAAC,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,cAAc,CAC5C,eAAe,GACf,WAAW,GACX,eAAe,GACf,eAAe,GACf,cAAc,GACd,sBAAsB,EACxB,KAAK,CACN,CAAA;QACD,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAC1C;CACF;AAqDD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EACrE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,KAAK,CAAC,KAAK,CACV,cAAc,GACd,sBAAsB,GACtB,eAAe,GACf,eAAe,GACf,WAAW,GACX,eAAe,GACf,cAAc,EAChB,KAAK,EACL,KAAK,CACN,CA0DA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,GAAG,EAC5C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,cAAc,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,SAAS,CAEvD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EAChE,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,iBAAiB,CAAC,CAAC,CAAC,CAoBtB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,GAAG,EAC3C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAErC"}
+{"version":3,"file":"bridge.d.ts","sourceRoot":"","sources":["../../src/effect/bridge.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAA;AAE9C,OAAO,KAAK,EAAE,OAAO,IAAI,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAC1E,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EAQhB,MAAM,eAAe,CAAA;AAEtB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK;IACvE;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3E;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjC;AAED;;GAEG;AACH,QAAA,MAAM,cAAc,eAA0B,CAAA;AAE9C;;GAEG;AACH,QAAA,MAAM,aAAa,eAAyB,CAAA;AA8B5C;;GAEG;AACH,OAAO,QAAQ,MAAM,CAAC;IACpB,UAAU,kBAAkB;QAC1B,CAAC,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,cAAc,CAC5C,eAAe,GACf,WAAW,GACX,eAAe,GACf,eAAe,GACf,cAAc,GACd,sBAAsB,EACxB,KAAK,CACN,CAAA;QACD,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAC1C;CACF;AAsDD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EACrE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EACjB,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,KAAK,CAAC,KAAK,CACV,cAAc,GACd,sBAAsB,GACtB,eAAe,GACf,eAAe,GACf,WAAW,GACX,eAAe,GACf,eAAe,GACf,cAAc,EAChB,KAAK,EACL,KAAK,CACN,CAkEA;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,GAAG,EAC5C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,cAAc,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,SAAS,CAEvD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EAChE,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,iBAAiB,CAAC,CAAC,CAAC,CAoBtB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,GAAG,EAC3C,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAErC"}

package/dist/effect/bridge.js

@@ -4,7 +4,8 @@
  * Middleware that connects Hono's request handling to Effect's runtime.
  */
 import { Layer, ManagedRuntime } from 'effect';
-import { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService, } from './services.js';
+import { HonertiaConfigurationError } from './errors.js';
+import { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService, BindingsService, } from './services.js';
 /**
  * Symbol for storing Effect runtime in Hono context.
  */
@@ -25,9 +26,10 @@ function createUnconfiguredServiceProxy(serviceName, configPath, example) {
             if (prop === 'then' || prop === Symbol.toStringTag || prop === Symbol.iterator) {
                 return undefined;
             }
-            const error = new Error(message);
-            error.hint = `Example: ${example}`;
-            throw error;
+            throw new HonertiaConfigurationError({
+                message,
+                hint: `Example: ${example}`,
+            });
         },
     });
 }
@@ -39,6 +41,7 @@ function createRequestContext(c) {
         method: c.req.method,
         url: c.req.url,
         headers: c.req.raw.headers,
+        env: (c.env ?? {}),
         param: (name) => c.req.param(name),
         params: () => {
             const params = c.req.param();
@@ -86,6 +89,8 @@ export function buildContextLayer(c, config) {
     const requestLayer = Layer.succeed(RequestService, createRequestContext(c));
     const responseLayer = Layer.succeed(ResponseFactoryService, createResponseFactory(c));
     const honertiaLayer = Layer.succeed(HonertiaService, createHonertiaRenderer(c));
+    // Bindings layer - always available, typed via module augmentation
+    const bindingsLayer = Layer.succeed(BindingsService, (c.env ?? {}));
     // Database layer - provide helpful error proxy if not configured
     const db = c.var?.db;
     const databaseLayer = Layer.succeed(DatabaseService, (db ??
@@ -94,7 +99,7 @@ export function buildContextLayer(c, config) {
     const auth = c.var?.auth;
     const authLayer = Layer.succeed(AuthService, (auth ??
         createUnconfiguredServiceProxy('AuthService', 'auth: (c) => createAuth(...)', 'auth: (c) => betterAuth({ database: c.var.db, ... })')));
-    let baseLayer = Layer.mergeAll(requestLayer, responseLayer, honertiaLayer, databaseLayer, authLayer);
+    let baseLayer = Layer.mergeAll(requestLayer, responseLayer, honertiaLayer, bindingsLayer, databaseLayer, authLayer);
     if (c.var?.authUser) {
         baseLayer = Layer.merge(baseLayer, Layer.succeed(AuthUserService, c.var.authUser));
     }

package/dist/effect/errors.d.ts

@@ -70,6 +70,18 @@ export declare class RouteConfigurationError extends RouteConfigurationError_bas
     readonly hint?: string;
 }> {
 }
+declare const HonertiaConfigurationError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "HonertiaConfigurationError";
+} & Readonly<A>;
+/**
+ * Honertia Configuration Error - Missing or invalid setupHonertia configuration
+ * Thrown when a service (database, auth, schema) is not configured but accessed.
+ */
+export declare class HonertiaConfigurationError extends HonertiaConfigurationError_base<{
+    readonly message: string;
+    readonly hint?: string;
+}> {
+}
 declare const Redirect_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Readonly<A> & {
     readonly _tag: "Redirect";
 };
@@ -85,6 +97,6 @@ export declare class Redirect extends Redirect_base<{
 /**
  * Union of all application errors
  */
-export type AppError = ValidationError | UnauthorizedError | NotFoundError | ForbiddenError | HttpError | RouteConfigurationError;
+export type AppError = ValidationError | UnauthorizedError | NotFoundError | ForbiddenError | HttpError | RouteConfigurationError | HonertiaConfigurationError;
 export {};
 //# sourceMappingURL=errors.d.ts.map

package/dist/effect/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/effect/errors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;;;;AAIH;;GAEG;AACH,qBAAa,eAAgB,SAAQ,qBAAoC;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAC5B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,iBAAkB,SAAQ,uBAAsC;IAC3E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC7B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,aAAc,SAAQ,mBAAkC;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CAC9B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,cAAe,SAAQ,oBAAmC;IACrE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,SAAU,SAAQ,eAA8B;IAC3D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CACxB,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,6BAA4C;IACvF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,QAAS,SAAQ,cAA6B;IACzD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAA;CAC3B,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,MAAM,QAAQ,GAChB,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,cAAc,GACd,SAAS,GACT,uBAAuB,CAAA"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/effect/errors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;;;;AAIH;;GAEG;AACH,qBAAa,eAAgB,SAAQ,qBAAoC;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAC5B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,iBAAkB,SAAQ,uBAAsC;IAC3E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAC7B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,aAAc,SAAQ,mBAAkC;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;CAC9B,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,cAAe,SAAQ,oBAAmC;IACrE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAC;CAAG;;;;AAEL;;GAEG;AACH,qBAAa,SAAU,SAAQ,eAA8B;IAC3D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CACxB,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,6BAA4C;IACvF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,0BAA2B,SAAQ,gCAA+C;IAC7F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAC;CAAG;;;;AAEL;;;GAGG;AACH,qBAAa,QAAS,SAAQ,cAA6B;IACzD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAA;CAC3B,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,MAAM,QAAQ,GAChB,eAAe,GACf,iBAAiB,GACjB,aAAa,GACb,cAAc,GACd,SAAS,GACT,uBAAuB,GACvB,0BAA0B,CAAA"}

package/dist/effect/errors.js

@@ -35,6 +35,12 @@ export class HttpError extends Data.TaggedError('HttpError') {
  */
 export class RouteConfigurationError extends Data.TaggedError('RouteConfigurationError') {
 }
+/**
+ * Honertia Configuration Error - Missing or invalid setupHonertia configuration
+ * Thrown when a service (database, auth, schema) is not configured but accessed.
+ */
+export class HonertiaConfigurationError extends Data.TaggedError('HonertiaConfigurationError') {
+}
 /**
  * Redirect - Not an error, but uses same control flow
  * This is a tagged class (not error) for redirects

package/dist/effect/index.d.ts

@@ -3,8 +3,8 @@
  *
  * Re-exports all Effect-related functionality.
  */
-export { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService, type AuthUser, type HonertiaRenderer, type RequestContext, type ResponseFactory, type HonertiaDatabaseType, type HonertiaAuthType, type DatabaseType, type SchemaType, type AuthType, } from './services.js';
-export { ValidationError, UnauthorizedError, NotFoundError, ForbiddenError, HttpError, RouteConfigurationError, Redirect, type AppError, } from './errors.js';
+export { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService, BindingsService, type AuthUser, type HonertiaRenderer, type RequestContext, type ResponseFactory, type HonertiaDatabaseType, type HonertiaAuthType, type HonertiaBindingsType, type DatabaseType, type SchemaType, type AuthType, type BindingsType, } from './services.js';
+export { ValidationError, UnauthorizedError, NotFoundError, ForbiddenError, HttpError, RouteConfigurationError, HonertiaConfigurationError, Redirect, type AppError, } from './errors.js';
 export * from './schema.js';
 export { getValidationData, formatSchemaErrors, validate, validateRequest, asValidated, asTrusted, type Validated, type Trusted, } from './validation.js';
 export { effectBridge, buildContextLayer, getEffectRuntime, getEffectSchema, type EffectBridgeConfig, } from './bridge.js';

package/dist/effect/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,KAAK,QAAQ,EACb,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,QAAQ,GACd,MAAM,eAAe,CAAA;AAGtB,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,cAAc,EACd,SAAS,EACT,uBAAuB,EACvB,QAAQ,EACR,KAAK,QAAQ,GACd,MAAM,aAAa,CAAA;AAGpB,cAAc,aAAa,CAAA;AAG3B,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,WAAW,EACX,SAAS,EACT,KAAK,SAAS,EACd,KAAK,OAAO,GACb,MAAM,iBAAiB,CAAA;AAGxB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,KAAK,kBAAkB,GACxB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,eAAe,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,KAAK,MAAM,GACZ,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,QAAQ,EACR,MAAM,EACN,gBAAgB,EAChB,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,WAAW,EACX,YAAY,EACZ,KAAK,GACN,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,kBAAkB,GACxB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,KAAK,EACL,SAAS,EACT,aAAa,EACb,UAAU,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,WAAW,EACX,WAAW,EACX,YAAY,EACZ,SAAS,EACT,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,QAAQ,EACR,KAAK,gBAAgB,EACrB,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,WAAW,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,eAAe,EACf,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,sBAAsB,EACtB,eAAe,EACf,KAAK,QAAQ,EACb,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,YAAY,GAClB,MAAM,eAAe,CAAA;AAGtB,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,cAAc,EACd,SAAS,EACT,uBAAuB,EACvB,0BAA0B,EAC1B,QAAQ,EACR,KAAK,QAAQ,GACd,MAAM,aAAa,CAAA;AAGpB,cAAc,aAAa,CAAA;AAG3B,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,WAAW,EACX,SAAS,EACT,KAAK,SAAS,EACd,KAAK,OAAO,GACb,MAAM,iBAAiB,CAAA;AAGxB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,KAAK,kBAAkB,GACxB,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,aAAa,EACb,MAAM,EACN,MAAM,EACN,eAAe,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,MAAM,EACN,SAAS,EACT,UAAU,EACV,aAAa,EACb,KAAK,MAAM,GACZ,MAAM,aAAa,CAAA;AAGpB,OAAO,EACL,QAAQ,EACR,MAAM,EACN,gBAAgB,EAChB,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,SAAS,EACT,WAAW,EACX,YAAY,EACZ,KAAK,GACN,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,kBAAkB,GACxB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,KAAK,EACL,SAAS,EACT,aAAa,EACb,UAAU,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,cAAc,CAAA;AAGrB,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,WAAW,EACX,WAAW,EACX,YAAY,EACZ,SAAS,EACT,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,QAAQ,EACR,KAAK,gBAAgB,EACrB,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,WAAW,CAAA"}

package/dist/effect/index.js

@@ -4,9 +4,9 @@
  * Re-exports all Effect-related functionality.
  */
 // Services
-export { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService, } from './services.js';
+export { DatabaseService, AuthService, AuthUserService, HonertiaService, RequestService, ResponseFactoryService, BindingsService, } from './services.js';
 // Errors
-export { ValidationError, UnauthorizedError, NotFoundError, ForbiddenError, HttpError, RouteConfigurationError, Redirect, } from './errors.js';
+export { ValidationError, UnauthorizedError, NotFoundError, ForbiddenError, HttpError, RouteConfigurationError, HonertiaConfigurationError, Redirect, } from './errors.js';
 // Schema Validators
 export * from './schema.js';
 // Validation Helpers

package/dist/effect/services.d.ts

@@ -72,6 +72,29 @@ interface AuthNotConfigured {
 export type AuthType = HonertiaAuthType extends {
     type: infer T;
 } ? T : AuthNotConfigured;
+/**
+ * Augmentable interface for environment bindings type.
+ * Users can extend this via module augmentation:
+ *
+ * @example
+ * ```typescript
+ * declare module 'honertia/effect' {
+ *   interface HonertiaBindingsType {
+ *     type: {
+ *       DB: D1Database
+ *       KV: KVNamespace
+ *       ANALYTICS: AnalyticsEngineDataset
+ *     }
+ *   }
+ * }
+ * ```
+ */
+export interface HonertiaBindingsType {
+}
+/** Extract bindings type from augmented interface, defaults to Record<string, unknown> if not configured */
+export type BindingsType = HonertiaBindingsType extends {
+    type: infer T;
+} ? T : Record<string, unknown>;
 /**
  * Database Service - Generic database client
  */
@@ -84,6 +107,27 @@ export declare class DatabaseService extends DatabaseService_base {
 declare const AuthService_base: Context.TagClass<AuthService, 'honertia/Auth', AuthType>;
 export declare class AuthService extends AuthService_base {
 }
+/**
+ * Bindings Service - Environment bindings (Cloudflare D1, KV, R2, etc.)
+ *
+ * Automatically provided by setupHonertia. Use module augmentation for type safety:
+ *
+ * @example
+ * ```typescript
+ * // In your types.d.ts
+ * declare module 'honertia/effect' {
+ *   interface HonertiaBindingsType {
+ *     type: { DB: D1Database; KV: KVNamespace }
+ *   }
+ * }
+ *
+ * // In your action
+ * const { KV, DB } = yield* BindingsService
+ * ```
+ */
+declare const BindingsService_base: Context.TagClass<BindingsService, 'honertia/Bindings', BindingsType>;
+export declare class BindingsService extends BindingsService_base {
+}
 /**
  * Authenticated User - Session with user data
  */
@@ -121,12 +165,22 @@ declare const HonertiaService_base: Context.TagClass<HonertiaService, "honertia/
 export declare class HonertiaService extends HonertiaService_base {
 }
 /**
- * Request Context - HTTP request data
+ * Request Context - HTTP request data and environment bindings
  */
-export interface RequestContext {
+export interface RequestContext<Bindings = Record<string, unknown>> {
     readonly method: string;
     readonly url: string;
     readonly headers: Headers;
+    /**
+     * Environment bindings (Cloudflare D1, KV, R2, etc.)
+     * Access via: `request.env.DB`, `request.env.KV`, etc.
+     *
+     * For full type safety, cast to your Bindings type:
+     * ```typescript
+     * const { DB, KV } = request.env as Bindings
+     * ```
+     */
+    readonly env: Bindings;
     param(name: string): string | undefined;
     params(): Record<string, string>;
     query(): Record<string, string>;
@@ -134,7 +188,7 @@ export interface RequestContext {
     parseBody(): Promise<Record<string, unknown>>;
     header(name: string): string | undefined;
 }
-declare const RequestService_base: Context.TagClass<RequestService, "honertia/Request", RequestContext>;
+declare const RequestService_base: Context.TagClass<RequestService, "honertia/Request", RequestContext<Record<string, unknown>>>;
 export declare class RequestService extends RequestService_base {
 }
 /**

package/dist/effect/services.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"services.d.ts","sourceRoot":"","sources":["../../src/effect/services.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,oBAAoB;CAAG;AAExC;;;GAGG;AACH,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,OAAO,EAAE,wJAAwJ,CAAA;IAC1K,QAAQ,CAAC,MAAM,EAAE,iEAAiE,CAAA;CACnF;AAED;;GAEG;AACH,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,OAAO,EAAE,uKAAuK,CAAA;IACzL,QAAQ,CAAC,MAAM,EAAE,yEAAyE,CAAA;CAC3F;AAED,yFAAyF;AACzF,MAAM,MAAM,YAAY,GAAG,oBAAoB,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,qBAAqB,CAAA;AAErG,uFAAuF;AACvF,MAAM,MAAM,UAAU,GAAG,oBAAoB,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,mBAAmB,CAAA;AAEnG;;;;;;;;;;;;GAYG;AAEH,MAAM,WAAW,gBAAgB;CAAG;AAEpC;;GAEG;AACH,UAAU,iBAAiB;IACzB,QAAQ,CAAC,OAAO,EAAE,kJAAkJ,CAAA;IACpK,QAAQ,CAAC,MAAM,EAAE,qDAAqD,CAAA;CACvE;AAED,qFAAqF;AACrF,MAAM,MAAM,QAAQ,GAAG,gBAAgB,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,iBAAiB,CAAA;AAEzF;;GAEG;AACH,QAAA,MAAM,oBAAoB,EAAE,OAAO,CAAC,QAAQ,CAC1C,eAAe,EACf,mBAAmB,EACnB,YAAY,CACuD,CAAA;AAErE,qBAAa,eAAgB,SAAQ,oBAAoB;CAAG;AAE5D;;GAEG;AACH,QAAA,MAAM,gBAAgB,EAAE,OAAO,CAAC,QAAQ,CACtC,WAAW,EACX,eAAe,EACf,QAAQ,CAC+C,CAAA;AAEzD,qBAAa,WAAY,SAAQ,gBAAgB;CAAG;AAEpD;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE;QACJ,EAAE,EAAE,MAAM,CAAA;QACV,KAAK,EAAE,MAAM,CAAA;QACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;QACnB,aAAa,EAAE,OAAO,CAAA;QACtB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;QACpB,SAAS,EAAE,IAAI,CAAA;QACf,SAAS,EAAE,IAAI,CAAA;KAChB,CAAA;IACD,OAAO,EAAE;QACP,EAAE,EAAE,MAAM,CAAA;QACV,MAAM,EAAE,MAAM,CAAA;QACd,SAAS,EAAE,IAAI,CAAA;QACf,KAAK,EAAE,MAAM,CAAA;QACb,SAAS,EAAE,IAAI,CAAA;QACf,SAAS,EAAE,IAAI,CAAA;KAChB,CAAA;CACF;;AAED,qBAAa,eAAgB,SAAQ,oBAGlC;CAAG;AAEN;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACtC,SAAS,EAAE,MAAM,EACjB,KAAK,CAAC,EAAE,CAAC,GACR,OAAO,CAAC,QAAQ,CAAC,CAAA;IACpB,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;IACxC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAA;CAChD;;AAED,qBAAa,eAAgB,SAAQ,oBAGlC;CAAG;AAEN;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IACvC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,IAAI,CAAC,CAAC,GAAG,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,CAAA;IAC/B,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAC7C,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CACzC;;AAED,qBAAa,cAAe,SAAQ,mBAGjC;CAAG;AAEN;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAChD,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC3C,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC7C,QAAQ,IAAI,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;CACzC;;AAED,qBAAa,sBAAuB,SAAQ,2BAGzC;CAAG"}
+{"version":3,"file":"services.d.ts","sourceRoot":"","sources":["../../src/effect/services.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,oBAAoB;CAAG;AAExC;;;GAGG;AACH,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,OAAO,EAAE,wJAAwJ,CAAA;IAC1K,QAAQ,CAAC,MAAM,EAAE,iEAAiE,CAAA;CACnF;AAED;;GAEG;AACH,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,OAAO,EAAE,uKAAuK,CAAA;IACzL,QAAQ,CAAC,MAAM,EAAE,yEAAyE,CAAA;CAC3F;AAED,yFAAyF;AACzF,MAAM,MAAM,YAAY,GAAG,oBAAoB,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,qBAAqB,CAAA;AAErG,uFAAuF;AACvF,MAAM,MAAM,UAAU,GAAG,oBAAoB,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,mBAAmB,CAAA;AAEnG;;;;;;;;;;;;GAYG;AAEH,MAAM,WAAW,gBAAgB;CAAG;AAEpC;;GAEG;AACH,UAAU,iBAAiB;IACzB,QAAQ,CAAC,OAAO,EAAE,kJAAkJ,CAAA;IACpK,QAAQ,CAAC,MAAM,EAAE,qDAAqD,CAAA;CACvE;AAED,qFAAqF;AACrF,MAAM,MAAM,QAAQ,GAAG,gBAAgB,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,iBAAiB,CAAA;AAEzF;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,oBAAoB;CAAG;AAUxC,4GAA4G;AAC5G,MAAM,MAAM,YAAY,GAAG,oBAAoB,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GACrE,CAAC,GACD,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAE3B;;GAEG;AACH,QAAA,MAAM,oBAAoB,EAAE,OAAO,CAAC,QAAQ,CAC1C,eAAe,EACf,mBAAmB,EACnB,YAAY,CACuD,CAAA;AAErE,qBAAa,eAAgB,SAAQ,oBAAoB;CAAG;AAE5D;;GAEG;AACH,QAAA,MAAM,gBAAgB,EAAE,OAAO,CAAC,QAAQ,CACtC,WAAW,EACX,eAAe,EACf,QAAQ,CAC+C,CAAA;AAEzD,qBAAa,WAAY,SAAQ,gBAAgB;CAAG;AAEpD;;;;;;;;;;;;;;;;;GAiBG;AACH,QAAA,MAAM,oBAAoB,EAAE,OAAO,CAAC,QAAQ,CAC1C,eAAe,EACf,mBAAmB,EACnB,YAAY,CACuD,CAAA;AAErE,qBAAa,eAAgB,SAAQ,oBAAoB;CAAG;AAE5D;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE;QACJ,EAAE,EAAE,MAAM,CAAA;QACV,KAAK,EAAE,MAAM,CAAA;QACb,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;QACnB,aAAa,EAAE,OAAO,CAAA;QACtB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;QACpB,SAAS,EAAE,IAAI,CAAA;QACf,SAAS,EAAE,IAAI,CAAA;KAChB,CAAA;IACD,OAAO,EAAE;QACP,EAAE,EAAE,MAAM,CAAA;QACV,MAAM,EAAE,MAAM,CAAA;QACd,SAAS,EAAE,IAAI,CAAA;QACf,KAAK,EAAE,MAAM,CAAA;QACb,SAAS,EAAE,IAAI,CAAA;QACf,SAAS,EAAE,IAAI,CAAA;KAChB,CAAA;CACF;;AAED,qBAAa,eAAgB,SAAQ,oBAGlC;CAAG;AAEN;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACtC,SAAS,EAAE,MAAM,EACjB,KAAK,CAAC,EAAE,CAAC,GACR,OAAO,CAAC,QAAQ,CAAC,CAAA;IACpB,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAA;IACxC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAA;CAChD;;AAED,qBAAa,eAAgB,SAAQ,oBAGlC;CAAG;AAEN;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAChE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB;;;;;;;;OAQG;IACH,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;IACtB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IACvC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,IAAI,CAAC,CAAC,GAAG,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,CAAA;IAC/B,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAC7C,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CACzC;;AAED,qBAAa,cAAe,SAAQ,mBAGjC;CAAG;AAEN;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAChD,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC3C,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC7C,QAAQ,IAAI,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;CACzC;;AAED,qBAAa,sBAAuB,SAAQ,2BAGzC;CAAG"}

package/dist/effect/services.js

@@ -16,6 +16,27 @@ export class DatabaseService extends DatabaseService_base {
 const AuthService_base = Context.Tag('honertia/Auth')();
 export class AuthService extends AuthService_base {
 }
+/**
+ * Bindings Service - Environment bindings (Cloudflare D1, KV, R2, etc.)
+ *
+ * Automatically provided by setupHonertia. Use module augmentation for type safety:
+ *
+ * @example
+ * ```typescript
+ * // In your types.d.ts
+ * declare module 'honertia/effect' {
+ *   interface HonertiaBindingsType {
+ *     type: { DB: D1Database; KV: KVNamespace }
+ *   }
+ * }
+ *
+ * // In your action
+ * const { KV, DB } = yield* BindingsService
+ * ```
+ */
+const BindingsService_base = Context.Tag('honertia/Bindings')();
+export class BindingsService extends BindingsService_base {
+}
 export class AuthUserService extends Context.Tag('honertia/AuthUser')() {
 }
 export class HonertiaService extends Context.Tag('honertia/Honertia')() {

package/dist/setup.d.ts

@@ -9,8 +9,12 @@ import type { HonertiaConfig } from './types.js';
 import { type EffectBridgeConfig } from './effect/bridge.js';
 /**
  * Extended Honertia configuration with database, auth, and schema.
+ *
+ * @typeParam E - Hono environment type
+ * @typeParam DB - Database client type (inferred from database factory return type)
+ * @typeParam Auth - Auth client type (inferred from auth factory return type)
  */
-export interface HonertiaFullConfig<E extends Env = Env> extends HonertiaConfig {
+export interface HonertiaFullConfig<E extends Env = Env, DB = unknown, Auth = unknown> extends HonertiaConfig {
     /**
      * Database factory function.
      * Creates the database client for each request.
@@ -20,7 +24,7 @@ export interface HonertiaFullConfig<E extends Env = Env> extends HonertiaConfig
      * database: (c) => createDb(c.env.DATABASE_URL)
      * ```
      */
-    database?: (c: Context<E>) => unknown;
+    database?: (c: Context<E>) => DB;
     /**
      * Auth factory function.
      * Creates the auth client for each request.
@@ -35,7 +39,11 @@ export interface HonertiaFullConfig<E extends Env = Env> extends HonertiaConfig
      * })
      * ```
      */
-    auth?: (c: Context<E>) => unknown;
+    auth?: (c: Context<E & {
+        Variables: {
+            db: DB;
+        };
+    }>) => Auth;
     /**
      * Drizzle schema for route model binding.
      * Required if using Laravel-style route model binding.
@@ -53,12 +61,17 @@ export interface HonertiaFullConfig<E extends Env = Env> extends HonertiaConfig
 }
 /**
  * Configuration for Honertia setup.
+ *
+ * @typeParam E - Hono environment type
+ * @typeParam DB - Database client type (inferred from database factory)
+ * @typeParam Auth - Auth client type (inferred from auth factory)
+ * @typeParam CustomServices - Custom Effect services
  */
-export interface HonertiaSetupConfig<E extends Env = Env, CustomServices = never> {
+export interface HonertiaSetupConfig<E extends Env = Env, DB = unknown, Auth = unknown, CustomServices = never> {
     /**
      * Honertia core configuration including database, auth, and schema.
      */
-    honertia: HonertiaFullConfig<E>;
+    honertia: HonertiaFullConfig<E, DB, Auth>;
     /**
      * Effect bridge configuration (optional).
      * Only needed for custom Effect services.
@@ -108,7 +121,7 @@ export interface HonertiaSetupConfig<E extends Env = Env, CustomServices = never
  * }))
  * ```
  */
-export declare function setupHonertia<E extends Env, CustomServices = never>(config: HonertiaSetupConfig<E, CustomServices>): MiddlewareHandler<E>;
+export declare function setupHonertia<E extends Env, DB = unknown, Auth = unknown, CustomServices = never>(config: HonertiaSetupConfig<E, DB, Auth, CustomServices>): MiddlewareHandler<E>;
 /**
  * Error handler configuration.
  */

package/dist/setup.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../src/setup.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,iBAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AAE3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAEhD,OAAO,EAAgB,KAAK,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAE1E;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,CAAE,SAAQ,cAAc;IAC7E;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAA;IAErC;;;;;;;;;;;;;OAaG;IACH,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAA;IAEjC;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,EAAE,cAAc,GAAG,KAAK;IAC9E;;OAEG;IACH,QAAQ,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAA;IAE/B;;;OAGG;IACH,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAE9C;;;OAGG;IACH,IAAI,CAAC,EAAE;QACL,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,aAAa,CAAC,EAAE,MAAM,CAAA;KACvB,CAAA;IAED;;;OAGG;IACH,UAAU,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAA;CACpC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,GAAG,EAAE,cAAc,GAAG,KAAK,EACjE,MAAM,EAAE,mBAAmB,CAAC,CAAC,EAAE,cAAc,CAAC,GAC7C,iBAAiB,CAAC,CAAC,CAAC,CA2CtB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAA;IAEvB;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;IAEf;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,GAAG,EAAE,MAAM,GAAE,kBAAuB;kBAQ3D,OAAO,CAAC,CAAC,CAAC;mBAOT,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC;EAa3C;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,GAAG,EACjD,GAAG,EAAE;IAAE,QAAQ,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC;IAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,IAAI,CAAA;CAAE,EAC1E,MAAM,GAAE,kBAAuB,GAC9B,IAAI,CAIN"}
+{"version":3,"file":"setup.d.ts","sourceRoot":"","sources":["../src/setup.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,iBAAiB,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AAE3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAEhD,OAAO,EAAgB,KAAK,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AAE1E;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,CACnF,SAAQ,cAAc;IACtB;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAA;IAEhC;;;;;;;;;;;;;OAaG;IACH,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG;QAAE,SAAS,EAAE;YAAE,EAAE,EAAE,EAAE,CAAA;SAAE,CAAA;KAAE,CAAC,KAAK,IAAI,CAAA;IAE1D;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB,CAClC,CAAC,SAAS,GAAG,GAAG,GAAG,EACnB,EAAE,GAAG,OAAO,EACZ,IAAI,GAAG,OAAO,EACd,cAAc,GAAG,KAAK;IAEtB;;OAEG;IACH,QAAQ,EAAE,kBAAkB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAA;IAEzC;;;OAGG;IACH,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAE9C;;;OAGG;IACH,IAAI,CAAC,EAAE;QACL,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,aAAa,CAAC,EAAE,MAAM,CAAA;KACvB,CAAA;IAED;;;OAGG;IACH,UAAU,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAA;CACpC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,aAAa,CAC3B,CAAC,SAAS,GAAG,EACb,EAAE,GAAG,OAAO,EACZ,IAAI,GAAG,OAAO,EACd,cAAc,GAAG,KAAK,EACtB,MAAM,EAAE,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CA4ChF;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB;;;OAGG;IACH,aAAa,CAAC,EAAE,OAAO,CAAA;IAEvB;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;IAEf;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,GAAG,EAAE,MAAM,GAAE,kBAAuB;kBAQ3D,OAAO,CAAC,CAAC,CAAC;mBAOT,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC;EAa3C;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,GAAG,EACjD,GAAG,EAAE;IAAE,QAAQ,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC;IAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,KAAK,IAAI,CAAA;CAAE,EAC1E,MAAM,GAAE,kBAAuB,GAC9B,IAAI,CAIN"}

package/dist/setup.js

@@ -46,8 +46,9 @@ export function setupHonertia(config) {
         if (database) {
             c.set('db', database(c));
         }
-        // Set up auth (can access c.var.db)
+        // Set up auth (can access c.var.db since database middleware ran first)
         if (auth) {
+            // Cast c to include db in Variables since we just set it above
             c.set('auth', auth(c));
         }
         await next();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "honertia",
-  "version": "0.1.18",
+  "version": "0.1.20",
   "description": "Inertia.js-style server-driven SPA adapter for Hono",
   "type": "module",
   "main": "./dist/index.js",