@typed/id 0.17.2 → 1.0.0-beta.1

package/README.md

@@ -0,0 +1,164 @@
+# @typed/id
+
+> **Beta:** This package is in beta; APIs may change.
+
+`@typed/id` provides **type-safe ID generation** (Effect-based) for multiple formats: **Cuid**, **Ksuid**, **NanoId**, **Ulid**, **Uuid4**, **Uuid5**, **Uuid7**, plus **DateTimes**, **Ids**, and **RandomValues**. Each typically exposes a branded Schema and an Effect that generates the ID (often requiring a service like `RandomValues` or `CuidState`). Use it when you need typed, reproducible IDs in Effect programs.
+
+## Dependencies
+
+- `effect`
+
+## API overview
+
+- **Cuid** — Schema + type; `CuidState` service; Effect to generate Cuid.
+- **Ksuid** — K-sortable unique IDs.
+- **NanoId** — Schema + type + `nanoId` Effect (depends on `RandomValues`).
+- **Ulid** — ULID schema and generation.
+- **Uuid4**, **Uuid5**, **Uuid7** — UUID variants with Schema and generation.
+- **DateTimes** — Date/time helpers used by some ID generators.
+- **Ids** — Generic ID helpers.
+- **RandomValues** — Service for secure random bytes (used by NanoId, etc.).
+
+## Example
+
+```ts
+import { Ids, Uuid5Namespace } from "@typed/id";
+
+const id = yield * Ids.cuid;
+const id = yield * Ids.ksuid;
+const id = yield * Ids.nanoId;
+const id = yield * Ids.ulid;
+const id = yield * Ids.uuid4;
+const id = yield * Ids.uuid5("https://effect.website", Uuid5Namespace.URL);
+const id = yield * Ids.uuid7;
+
+// Provide Ids services
+Effect.provide(Ids.Default);
+Effect.provide(Ids.Test());
+```
+
+## API reference
+
+### Ids
+
+Unified service for generating all ID types. Requires `DateTimes`, `RandomValues`, `CuidState`, and `Uuid7State` (use `Ids.Default` or `Ids.Test()` to provide them).
+
+| Member               | Type                                             | Description                                                                                                             |
+| -------------------- | ------------------------------------------------ | ----------------------------------------------------------------------------------------------------------------------- |
+| `Ids.cuid`           | `Effect<Cuid, never, Ids>`                       | Generate a Cuid.                                                                                                        |
+| `Ids.ksuid`          | `Effect<Ksuid, never, Ids>`                      | Generate a Ksuid.                                                                                                       |
+| `Ids.nanoId`         | `Effect<NanoId, never, Ids>`                     | Generate a NanoId.                                                                                                      |
+| `Ids.ulid`           | `Effect<Ulid, never, Ids>`                       | Generate a ULID.                                                                                                        |
+| `Ids.uuid4`          | `Effect<Uuid4, never, Ids>`                      | Generate a UUID v4.                                                                                                     |
+| `Ids.uuid5`          | `(name, namespace) => Effect<Uuid5, never, Ids>` | Generate a UUID v5 from a name and namespace. Also has `Ids.uuid5.dns`, `.url`, `.oid`, `.x500` taking a single `name`. |
+| `Ids.uuid7`          | `Effect<Uuid7, never, Ids>`                      | Generate a UUID v7.                                                                                                     |
+| `Ids.Default`        | `Layer<Ids \| DateTimes \| RandomValues>`        | Layer that provides `Ids` with default Cuid/Uuid7/DateTimes/RandomValues.                                               |
+| `Ids.Test(options?)` | `Layer<Ids \| DateTimes \| RandomValues>`        | Layer for tests; optional `currentTime` and `envData`.                                                                  |
+
+**TestOptions:** `{ currentTime?: number | string | Date; envData?: string }`
+
+---
+
+### Cuid
+
+| Export              | Type                               | Description                                        |
+| ------------------- | ---------------------------------- | -------------------------------------------------- |
+| `Cuid`              | `Schema<string, Cuid>`             | Branded schema for Cuid strings.                   |
+| `Cuid` (type)       | `string`                           | Branded Cuid type.                                 |
+| `isCuid`            | `(value: string) => value is Cuid` | Type guard.                                        |
+| `CuidState`         | Service                            | Provides `next: Effect<CuidSeed>`. Used by `cuid`. |
+| `CuidState.Default` | `Layer<CuidState>`                 | Default CuidState (uses `"node"` envData).         |
+| `cuid`              | `Effect<Cuid, never, CuidState>`   | Generate a Cuid.                                   |
+
+---
+
+### Ksuid
+
+| Export         | Type                                              | Description                               |
+| -------------- | ------------------------------------------------- | ----------------------------------------- |
+| `Ksuid`        | `Schema<string, Ksuid>`                           | Branded schema for 27-char base62 Ksuids. |
+| `Ksuid` (type) | `string`                                          | Branded Ksuid type.                       |
+| `isKsuid`      | `(value: string) => value is Ksuid`               | Type guard.                               |
+| `ksuid`        | `Effect<Ksuid, never, DateTimes \| RandomValues>` | Generate a Ksuid.                         |
+
+---
+
+### NanoId
+
+| Export          | Type                                  | Description                                  |
+| --------------- | ------------------------------------- | -------------------------------------------- |
+| `NanoId`        | `Schema<string, NanoId>`              | Branded schema for `[0-9a-zA-Z_-]+` strings. |
+| `NanoId` (type) | `string`                              | Branded NanoId type.                         |
+| `isNanoId`      | `(value: string) => value is NanoId`  | Type guard.                                  |
+| `nanoId`        | `Effect<NanoId, never, RandomValues>` | Generate a 21-char NanoId.                   |
+
+---
+
+### Ulid
+
+| Export        | Type                                             | Description                      |
+| ------------- | ------------------------------------------------ | -------------------------------- |
+| `Ulid`        | `Schema<string, Ulid>`                           | Branded schema for ULID strings. |
+| `Ulid` (type) | `string`                                         | Branded Ulid type.               |
+| `isUlid`      | `(value: string) => value is Ulid`               | Type guard.                      |
+| `ulid`        | `Effect<Ulid, never, DateTimes \| RandomValues>` | Generate a ULID.                 |
+
+---
+
+### Uuid4
+
+| Export         | Type                                 | Description                 |
+| -------------- | ------------------------------------ | --------------------------- |
+| `Uuid4`        | `Schema<string, Uuid4>`              | Branded schema for UUID v4. |
+| `Uuid4` (type) | `string`                             | Branded Uuid4 type.         |
+| `isUuid4`      | `(value: string) => value is Uuid4`  | Type guard.                 |
+| `uuid4`        | `Effect<Uuid4, never, RandomValues>` | Generate a UUID v4.         |
+
+---
+
+### Uuid5
+
+| Export                                          | Type                                                                             | Description                                            |
+| ----------------------------------------------- | -------------------------------------------------------------------------------- | ------------------------------------------------------ |
+| `Uuid5`                                         | `Schema<string, Uuid5>`                                                          | Branded schema for UUID v5.                            |
+| `Uuid5` (type)                                  | `string`                                                                         | Branded Uuid5 type.                                    |
+| `Uuid5Namespace`                                | `Uint8Array` (type) + const object                                               | Namespace type; const has `DNS`, `URL`, `OID`, `X500`. |
+| `isUuid5`                                       | `(value: string) => value is Uuid5`                                              | Type guard.                                            |
+| `uuid5`                                         | `(name, namespace) => Effect<Uuid5>` or `(namespace) => (name) => Effect<Uuid5>` | Generate UUID v5 from name + namespace.                |
+| `dnsUuid5`, `urlUuid5`, `oidUuid5`, `x500Uuid5` | `(name: string) => Effect<Uuid5>`                                                | Pre-bound effects for standard namespaces.             |
+
+---
+
+### Uuid7
+
+| Export               | Type                                | Description                                          |
+| -------------------- | ----------------------------------- | ---------------------------------------------------- |
+| `Uuid7`              | `Schema<string, Uuid7>`             | Branded schema for UUID v7.                          |
+| `Uuid7` (type)       | `string`                            | Branded Uuid7 type.                                  |
+| `isUuid7`            | `(value: string) => value is Uuid7` | Type guard.                                          |
+| `Uuid7State`         | Service                             | Provides `next: Effect<Uuid7Seed>`. Used by `uuid7`. |
+| `Uuid7State.Default` | `Layer<Uuid7State>`                 | Default Uuid7State.                                  |
+| `uuid7`              | `Effect<Uuid7, never, Uuid7State>`  | Generate a UUID v7.                                  |
+
+---
+
+### DateTimes
+
+| Export                      | Type                               | Description                                                     |
+| --------------------------- | ---------------------------------- | --------------------------------------------------------------- |
+| `DateTimes`                 | Service                            | Provides `now: Effect<number>`, `date: Effect<Date>`.           |
+| `DateTimes.now`             | `Effect<number, never, DateTimes>` | Current time in ms.                                             |
+| `DateTimes.date`            | `Effect<Date, never, DateTimes>`   | Current date.                                                   |
+| `DateTimes.Default`         | `Layer<DateTimes>`                 | Real clock.                                                     |
+| `DateTimes.Fixed(baseDate)` | `Layer<DateTimes>`                 | Fixed time for tests; `baseDate` is `number \| string \| Date`. |
+
+---
+
+### RandomValues
+
+| Export                      | Type                                      | Description                                           |
+| --------------------------- | ----------------------------------------- | ----------------------------------------------------- |
+| `RandomValues`              | Service                                   | Provides a function `(length) => Effect<Uint8Array>`. |
+| `RandomValues.call(length)` | `Effect<Uint8Array, never, RandomValues>` | Request `length` cryptographically random bytes.      |
+| `RandomValues.Default`      | `Layer<RandomValues>`                     | Uses `crypto.getRandomValues`.                        |
+| `RandomValues.Random`       | `Layer<RandomValues>`                     | Uses Effect `Random` (e.g. for tests).                |

package/dist/Cuid.d.ts

@@ -1,9 +1,10 @@
-import * as Effect from 'effect/Effect';
-import * as Layer from 'effect/Layer';
-import * as Schema from 'effect/Schema';
-import { DateTimes } from './DateTimes.js';
-import { GetRandomValues } from './GetRandomValues.js';
-export declare const Cuid: Schema.brand<Schema.filter<typeof Schema.String>, "@typed/id/CUID">;
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Schema from "effect/Schema";
+import * as ServiceMap from "effect/ServiceMap";
+import { DateTimes } from "./DateTimes.js";
+import { RandomValues } from "./RandomValues.js";
+export declare const Cuid: Schema.brand<Schema.String, "@typed/id/CUID">;
 export type Cuid = Schema.Schema.Type<typeof Cuid>;
 export declare const isCuid: (value: string) => value is Cuid;
 export type CuidSeed = {
@@ -12,18 +13,28 @@ export type CuidSeed = {
     readonly random: Uint8Array;
     readonly fingerprint: string;
 };
-declare const CuidState_base: import("effect/Context").TagClass<CuidState, "CuidState", {
-    readonly next: Effect.Effect<CuidSeed>;
-}> & Effect.Tag.Proxy<CuidState, {
-    readonly next: Effect.Effect<CuidSeed>;
-}> & {
-    use: <X>(body: (_: {
-        readonly next: Effect.Effect<CuidSeed>;
-    }) => X) => [X] extends [Effect.Effect<infer A, infer E, infer R>] ? Effect.Effect<A, E, R | CuidState> : [X] extends [PromiseLike<infer A_1>] ? Effect.Effect<A_1, import("effect/Cause").UnknownException, CuidState> : Effect.Effect<X, never, CuidState>;
+declare const CuidState_base: ServiceMap.ServiceClass<CuidState, "@typed/id/CuidState", Effect.Effect<{
+    timestamp: number;
+    counter: number;
+    random: Uint8Array<ArrayBufferLike>;
+    fingerprint: string;
+}, never, never>> & {
+    readonly make: (envData: string) => Effect.Effect<Effect.Effect<{
+        timestamp: number;
+        counter: number;
+        random: Uint8Array<ArrayBufferLike>;
+        fingerprint: string;
+    }, never, never>, never, DateTimes | RandomValues>;
 };
 export declare class CuidState extends CuidState_base {
-    static readonly layer: (envData: string) => Layer.Layer<CuidState, never, DateTimes | GetRandomValues>;
-    static readonly Default: Layer.Layer<CuidState, never, DateTimes | GetRandomValues>;
+    static readonly next: Effect.Effect<{
+        timestamp: number;
+        counter: number;
+        random: Uint8Array<ArrayBufferLike>;
+        fingerprint: string;
+    }, never, CuidState>;
+    static readonly Default: Layer.Layer<DateTimes | RandomValues | CuidState, never, never>;
 }
-export declare const makeCuid: Effect.Effect<Cuid, never, DateTimes | GetRandomValues | CuidState>;
+export declare const cuid: Effect.Effect<Cuid, never, CuidState>;
 export {};
+//# sourceMappingURL=Cuid.d.ts.map

package/dist/Cuid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Cuid.d.ts","sourceRoot":"","sources":["../src/Cuid.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAQjD,eAAO,MAAM,IAAI,+CAGhB,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;AAEnD,eAAO,MAAM,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,IAAI,IAAsB,CAAC;AAGxE,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC;;;;;;;6BAGgB,MAAM;;;;;;;AADxB,qBAAa,SAAU,SAAQ,cA8B7B;IACA,MAAM,CAAC,QAAQ,CAAC,IAAI;;;;;yBAAwC;IAE5D,MAAM,CAAC,QAAQ,CAAC,OAAO,kEAErB;CACH;AAED,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAGtD,CAAC"}

package/dist/Cuid.js

@@ -1,20 +1,50 @@
-import * as Effect from 'effect/Effect';
-import * as Layer from 'effect/Layer';
-import * as Schema from 'effect/Schema';
-import { DateTimes } from './DateTimes.js';
-import { GetRandomValues } from './GetRandomValues.js';
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Schema from "effect/Schema";
+import * as ServiceMap from "effect/ServiceMap";
+import { sha512 } from "./_sha.js";
+import { DateTimes } from "./DateTimes.js";
+import { RandomValues } from "./RandomValues.js";
 // Constants
 const DEFAULT_LENGTH = 24;
 const BIG_LENGTH = 32;
 const INITIAL_COUNT_MAX = 476782367;
 // Schema
-export const Cuid = Schema.String.pipe(Schema.pattern(/^[a-z][0-9a-z]+$/), Schema.brand('@typed/id/CUID'));
+export const Cuid = Schema.String.pipe(Schema.check(Schema.isPattern(/^[a-z][0-9a-z]+$/)), Schema.brand("@typed/id/CUID"));
 export const isCuid = Schema.is(Cuid);
+export class CuidState extends ServiceMap.Service()("@typed/id/CuidState", {
+    make: (envData) => Effect.gen(function* () {
+        const { now } = yield* DateTimes;
+        const getRandomValues = yield* RandomValues;
+        const initialBytes = yield* getRandomValues(4);
+        const initialValue = Math.abs((initialBytes[0] << 24) |
+            (initialBytes[1] << 16) |
+            (initialBytes[2] << 8) |
+            initialBytes[3]) % INITIAL_COUNT_MAX;
+        // Create fingerprint from environment data
+        const fingerprint = (yield* hash(envData)).substring(0, BIG_LENGTH);
+        let counter = initialValue;
+        return Effect.gen(function* () {
+            const timestamp = yield* now;
+            const random = yield* getRandomValues(32);
+            return {
+                timestamp,
+                counter: counter++,
+                random,
+                fingerprint,
+            };
+        });
+    }),
+}) {
+    static next = Effect.flatten(CuidState.asEffect());
+    static Default = Layer.effect(CuidState, CuidState.make("node")).pipe(Layer.provideMerge([DateTimes.Default, RandomValues.Default]));
+}
+export const cuid = Effect.flatMap(CuidState.next, cuidFromSeed);
 // Utilities
 const ALPHABET = Array.from({ length: 26 }, (_, i) => String.fromCharCode(i + 97));
 const encoder = new TextEncoder();
 function createEntropy(length, random) {
-    let entropy = '';
+    let entropy = "";
     let offset = 0;
     while (entropy.length < length) {
         const value = random[offset];
@@ -24,10 +54,7 @@ function createEntropy(length, random) {
     return entropy;
 }
 function hash(input) {
-    // Convert string to bytes
-    const data = encoder.encode(input);
-    // Create a hash using the Web Crypto API
-    return crypto.subtle.digest('SHA-512', data).then((buffer) => {
+    return Effect.map(sha512(encoder.encode(input)), (buffer) => {
         const view = new Uint8Array(buffer);
         let value = 0n;
         for (const byte of view) {
@@ -37,36 +64,7 @@ function hash(input) {
         return value.toString(36).slice(1);
     });
 }
-// State Management
-export class CuidState extends Effect.Tag('CuidState')() {
-    static layer = (envData) => Layer.effect(this, Effect.gen(function* () {
-        const { now } = yield* DateTimes;
-        const getRandomValues = yield* GetRandomValues;
-        const initialBytes = yield* getRandomValues(4);
-        const initialValue = Math.abs((initialBytes[0] << 24) |
-            (initialBytes[1] << 16) |
-            (initialBytes[2] << 8) |
-            initialBytes[3]) % INITIAL_COUNT_MAX;
-        // Create fingerprint from environment data
-        const fingerprint = yield* Effect.promise(() => hash(envData).then((h) => h.substring(0, BIG_LENGTH)));
-        let counter = initialValue;
-        return {
-            next: Effect.gen(function* () {
-                const timestamp = yield* now;
-                const random = yield* getRandomValues(32);
-                return {
-                    timestamp,
-                    counter: counter++,
-                    random,
-                    fingerprint,
-                };
-            }),
-        };
-    }));
-    static Default = this.layer('node');
-}
-// Core Functions
-function cuidFromSeed({ timestamp, counter, random, fingerprint }) {
+function cuidFromSeed({ counter, fingerprint, random, timestamp }) {
     return Effect.gen(function* () {
         // First letter is always a random lowercase letter from the seed
         const firstLetter = ALPHABET[random[0] % ALPHABET.length];
@@ -77,12 +75,9 @@ function cuidFromSeed({ timestamp, counter, random, fingerprint }) {
         const salt = createEntropy(4, random.slice(1));
         // Hash all components together
         const hashInput = `${time}${salt}${count}${fingerprint}`;
-        const hashed = yield* Effect.promise(() => hash(hashInput));
+        const hashed = yield* hash(hashInput);
         // Construct the final CUID
         const id = `${firstLetter}${hashed.substring(0, DEFAULT_LENGTH - 1)}`;
-        return Cuid.make(id);
+        return Cuid.makeUnsafe(id);
     });
 }
-// Public API
-export const makeCuid = Effect.flatMap(CuidState.next, cuidFromSeed);
-//# sourceMappingURL=Cuid.js.map

package/dist/DateTimes.d.ts

@@ -1,20 +1,20 @@
-import * as Effect from 'effect/Effect';
-import * as Layer from 'effect/Layer';
-declare const DateTimes_base: import("effect/Context").TagClass<DateTimes, "DateTimes", {
-    readonly now: Effect.Effect<number>;
-    readonly date: Effect.Effect<Date>;
-}> & Effect.Tag.Proxy<DateTimes, {
-    readonly now: Effect.Effect<number>;
-    readonly date: Effect.Effect<Date>;
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as ServiceMap from "effect/ServiceMap";
+declare const DateTimes_base: ServiceMap.ServiceClass<DateTimes, "@typed/id/DateTimes", {
+    now: Effect.Effect<number, never, never>;
+    date: Effect.Effect<Date, never, never>;
 }> & {
-    use: <X>(body: (_: {
-        readonly now: Effect.Effect<number>;
-        readonly date: Effect.Effect<Date>;
-    }) => X) => [X] extends [Effect.Effect<infer A, infer E, infer R>] ? Effect.Effect<A, E, DateTimes | R> : [X] extends [PromiseLike<infer A_1>] ? Effect.Effect<A_1, import("effect/Cause").UnknownException, DateTimes> : Effect.Effect<X, never, DateTimes>;
+    readonly make: Effect.Effect<{
+        now: Effect.Effect<number, never, never>;
+        date: Effect.Effect<Date, never, never>;
+    }, never, never>;
 };
 export declare class DateTimes extends DateTimes_base {
-    static readonly make: (now: Effect.Effect<number>) => Layer.Layer<DateTimes>;
-    static readonly Default: Layer.Layer<DateTimes>;
-    static readonly Fixed: (base: Date) => Layer.Layer<DateTimes>;
+    static readonly now: Effect.Effect<number, never, DateTimes>;
+    static readonly date: Effect.Effect<Date, never, DateTimes>;
+    static readonly Default: Layer.Layer<DateTimes, never, never>;
+    static readonly Fixed: (baseDate: number | string | Date) => Layer.Layer<DateTimes, never, never>;
 }
 export {};
+//# sourceMappingURL=DateTimes.d.ts.map

package/dist/DateTimes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DateTimes.d.ts","sourceRoot":"","sources":["../src/DateTimes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;;;;;;;;;;AAEhD,qBAAa,SAAU,SAAQ,cAK7B;IACA,MAAM,CAAC,QAAQ,CAAC,GAAG,0CAA0D;IAC7E,MAAM,CAAC,QAAQ,CAAC,IAAI,wCAA4D;IAEhF,MAAM,CAAC,QAAQ,CAAC,OAAO,uCAA2C;IAElE,MAAM,CAAC,QAAQ,CAAC,KAAK,GAAI,UAAU,MAAM,GAAG,MAAM,GAAG,IAAI,0CAkBrD;CACL"}

package/dist/DateTimes.js

@@ -1,22 +1,25 @@
-import * as Effect from 'effect/Effect';
-import * as Layer from 'effect/Layer';
-export class DateTimes extends Effect.Tag('DateTimes')() {
-    static make = (now) => Layer.succeed(this, {
-        now,
-        date: now.pipe(Effect.map((millis) => new Date(millis))),
-    });
-    static Default = this.make(Effect.clockWith((clock) => clock.currentTimeMillis));
-    static Fixed = (base) => Layer.effect(DateTimes, Effect.gen(function* () {
-        const clock = yield* Effect.clock;
+import * as Clock from "effect/Clock";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as ServiceMap from "effect/ServiceMap";
+export class DateTimes extends ServiceMap.Service()("@typed/id/DateTimes", {
+    make: Effect.succeed({
+        now: Effect.sync(() => Date.now()),
+        date: Effect.sync(() => new Date()),
+    }),
+}) {
+    static now = Effect.flatMap(DateTimes.asEffect(), ({ now }) => now);
+    static date = Effect.flatMap(DateTimes.asEffect(), ({ date }) => date);
+    static Default = Layer.effect(DateTimes, DateTimes.make);
+    static Fixed = (baseDate) => Layer.effect(DateTimes, Effect.gen(function* () {
+        const clock = yield* Clock.Clock;
+        const base = new Date(baseDate);
         const baseN = BigInt(base.getTime());
         const startMillis = yield* clock.currentTimeMillis;
         const now = clock.currentTimeMillis.pipe(Effect.map((millis) => 
         // Use BigInt to avoid floating point precision issues which can break deterministic testing
         Number(baseN + BigInt(millis) - BigInt(startMillis))));
-        return {
-            now,
-            date: now.pipe(Effect.map((millis) => new Date(millis))),
-        };
+        const date = now.pipe(Effect.map((millis) => new Date(millis)));
+        return DateTimes.of({ now, date });
     }));
 }
-//# sourceMappingURL=DateTimes.js.map

package/dist/Ids.d.ts

@@ -0,0 +1,72 @@
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as ServiceMap from "effect/ServiceMap";
+import type { Cuid } from "./Cuid.js";
+import { CuidState } from "./Cuid.js";
+import { DateTimes } from "./DateTimes.js";
+import type { Ksuid } from "./Ksuid.js";
+import type { NanoId } from "./NanoId.js";
+import { RandomValues } from "./RandomValues.js";
+import type { Ulid } from "./Ulid.js";
+import type { Uuid4 } from "./Uuid4.js";
+import { type Uuid5, Uuid5Namespace } from "./Uuid5.js";
+import type { Uuid7 } from "./Uuid7.js";
+import { Uuid7State } from "./Uuid7.js";
+import { TestClock } from "effect/testing";
+declare const Ids_base: ServiceMap.ServiceClass<Ids, "@typed/id/Ids", {
+    cuid: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/CUID">, never, never>;
+    ksuid: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/KSUID">, never, never>;
+    nanoId: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/NanoId">, never, never>;
+    ulid: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/ULID">, never, never>;
+    uuid4: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/UUID4">, never, never>;
+    uuid5: {
+        (namespace: Uuid5Namespace): (name: string) => Effect.Effect<Uuid5>;
+        (name: string, namespace: Uuid5Namespace): Effect.Effect<Uuid5>;
+        readonly dns: (name: string) => Effect.Effect<Uuid5>;
+        readonly url: (name: string) => Effect.Effect<Uuid5>;
+        readonly oid: (name: string) => Effect.Effect<Uuid5>;
+        readonly x500: (name: string) => Effect.Effect<Uuid5>;
+    };
+    uuid7: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/UUID7">, never, never>;
+}> & {
+    readonly make: Effect.Effect<{
+        cuid: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/CUID">, never, never>;
+        ksuid: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/KSUID">, never, never>;
+        nanoId: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/NanoId">, never, never>;
+        ulid: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/ULID">, never, never>;
+        uuid4: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/UUID4">, never, never>;
+        uuid5: {
+            (namespace: Uuid5Namespace): (name: string) => Effect.Effect<Uuid5>;
+            (name: string, namespace: Uuid5Namespace): Effect.Effect<Uuid5>;
+            readonly dns: (name: string) => Effect.Effect<Uuid5>;
+            readonly url: (name: string) => Effect.Effect<Uuid5>;
+            readonly oid: (name: string) => Effect.Effect<Uuid5>;
+            readonly x500: (name: string) => Effect.Effect<Uuid5>;
+        };
+        uuid7: Effect.Effect<string & import("effect/Brand").Brand<"@typed/id/UUID7">, never, never>;
+    }, never, DateTimes | RandomValues | CuidState | Uuid7State>;
+};
+export declare class Ids extends Ids_base {
+    static readonly cuid: Effect.Effect<Cuid, never, Ids>;
+    static readonly ksuid: Effect.Effect<Ksuid, never, Ids>;
+    static readonly nanoId: Effect.Effect<NanoId, never, Ids>;
+    static readonly ulid: Effect.Effect<Ulid, never, Ids>;
+    static readonly uuid4: Effect.Effect<Uuid4, never, Ids>;
+    static readonly uuid5: {
+        (namespace: Uuid5Namespace): (name: string) => Effect.Effect<Uuid5, never, Ids>;
+        (name: string, namespace: Uuid5Namespace): Effect.Effect<Uuid5, never, Ids>;
+        readonly dns: (name: string) => Effect.Effect<Uuid5, never, Ids>;
+        readonly url: (name: string) => Effect.Effect<Uuid5, never, Ids>;
+        readonly oid: (name: string) => Effect.Effect<Uuid5, never, Ids>;
+        readonly x500: (name: string) => Effect.Effect<Uuid5, never, Ids>;
+    };
+    static readonly uuid7: Effect.Effect<Uuid7, never, Ids>;
+    static readonly Default: Layer.Layer<Ids | DateTimes | RandomValues, never, never>;
+    static readonly Test: (options?: TestOptions) => Layer.Layer<Ids | DateTimes | RandomValues | TestClock.TestClock>;
+}
+export type TestOptions = {
+    readonly currentTime?: number | string | Date;
+    readonly envData?: string;
+};
+export {};
+//# sourceMappingURL=Ids.d.ts.map

package/dist/Ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ids.d.ts","sourceRoot":"","sources":["../src/Ids.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAQ,SAAS,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,OAAO,EAAE,KAAK,KAAK,EAAS,cAAc,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAS,UAAU,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;;;;;;;;oBAOzB,cAAc,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;eAC5D,MAAM,aAAa,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;sBACjD,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;sBACtC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;sBACtC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;uBACrC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;;;;;;;;;;;wBALzC,cAAc,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;mBAC5D,MAAM,aAAa,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;0BACjD,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;0BACtC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;0BACtC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;2BACrC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;;;;;AAV3D,qBAAa,GAAI,SAAQ,QAiCvB;IACA,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAGnD;IAEF,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAGrD;IAEF,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAGvD;IAEF,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAGnD;IAEF,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAGrD;IAEF,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE;QACrB,CAAC,SAAS,EAAE,cAAc,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAChF,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5E,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACjE,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACjE,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACjE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;KACnE,CAUC;IACF,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAGrD;IAEF,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,SAAS,GAAG,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,CAMhF;IAEF,MAAM,CAAC,QAAQ,CAAC,IAAI,GAClB,UAAU,WAAW,KACpB,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC,SAAS,CAAC,CAQhE;CACL;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B,CAAC"}

package/dist/Ids.js

@@ -0,0 +1,52 @@
+import * as Effect from "effect/Effect";
+import { dual } from "effect/Function";
+import * as Layer from "effect/Layer";
+import * as ServiceMap from "effect/ServiceMap";
+import { cuid, CuidState } from "./Cuid.js";
+import { DateTimes } from "./DateTimes.js";
+import { ksuid } from "./Ksuid.js";
+import { nanoId } from "./NanoId.js";
+import { RandomValues } from "./RandomValues.js";
+import { ulid } from "./Ulid.js";
+import { uuid4 } from "./Uuid4.js";
+import { uuid5, Uuid5Namespace } from "./Uuid5.js";
+import { uuid7, Uuid7State } from "./Uuid7.js";
+import { TestClock } from "effect/testing";
+export class Ids extends ServiceMap.Service()("@typed/id/Ids", {
+    make: Effect.gen(function* () {
+        const services = yield* Effect.services();
+        const uuid5_ = Object.assign(dual(2, (name, namespace) => Effect.provide(uuid5(name, namespace), services)), {
+            dns: uuid5(Uuid5Namespace.DNS),
+            url: uuid5(Uuid5Namespace.URL),
+            oid: uuid5(Uuid5Namespace.OID),
+            x500: uuid5(Uuid5Namespace.X500),
+        });
+        return {
+            cuid: Effect.provide(cuid, services),
+            ksuid: Effect.provide(ksuid, services),
+            nanoId: Effect.provide(nanoId, services),
+            ulid: Effect.provide(ulid, services),
+            uuid4: Effect.provide(uuid4, services),
+            uuid5: uuid5_,
+            uuid7: Effect.provide(uuid7, services),
+        };
+    }),
+}) {
+    static cuid = Effect.flatMap(Ids.asEffect(), ({ cuid }) => cuid);
+    static ksuid = Effect.flatMap(Ids.asEffect(), ({ ksuid }) => ksuid);
+    static nanoId = Effect.flatMap(Ids.asEffect(), ({ nanoId }) => nanoId);
+    static ulid = Effect.flatMap(Ids.asEffect(), ({ ulid }) => ulid);
+    static uuid4 = Effect.flatMap(Ids.asEffect(), ({ uuid4 }) => uuid4);
+    static uuid5 = Object.assign(dual(2, (name, namespace) => Effect.flatMap(Ids.asEffect(), ({ uuid5 }) => uuid5(name, namespace))), {
+        dns: (name) => Effect.flatMap(Ids.asEffect(), ({ uuid5 }) => uuid5.dns(name)),
+        url: (name) => Effect.flatMap(Ids.asEffect(), ({ uuid5 }) => uuid5.url(name)),
+        oid: (name) => Effect.flatMap(Ids.asEffect(), ({ uuid5 }) => uuid5.oid(name)),
+        x500: (name) => Effect.flatMap(Ids.asEffect(), ({ uuid5 }) => uuid5.x500(name)),
+    });
+    static uuid7 = Effect.flatMap(Ids.asEffect(), ({ uuid7 }) => uuid7);
+    static Default = Layer.effect(Ids, Ids.make).pipe(Layer.provide([CuidState.Default, Uuid7State.Default]), Layer.provideMerge([DateTimes.Default, RandomValues.Default]));
+    static Test = (options) => Layer.effect(Ids, Ids.make).pipe(Layer.provide([
+        Layer.effect(CuidState, CuidState.make(options?.envData ?? "node")),
+        Uuid7State.Default,
+    ]), Layer.provideMerge([DateTimes.Fixed(options?.currentTime ?? 0), RandomValues.Random]), Layer.provideMerge(TestClock.layer({})));
+}

package/dist/Ksuid.d.ts

@@ -1,8 +1,9 @@
-import * as Effect from 'effect/Effect';
-import * as Schema from 'effect/Schema';
-import { DateTimes } from './DateTimes.js';
-import { GetRandomValues } from './GetRandomValues.js';
-export declare const Ksuid: Schema.brand<Schema.filter<typeof Schema.String>, "@typed/id/KSUID">;
-export type Ksuid = Schema.Schema.Type<typeof Ksuid>;
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { DateTimes } from "./DateTimes.js";
+import { RandomValues } from "./RandomValues.js";
+export declare const Ksuid: Schema.brand<Schema.String, "@typed/id/KSUID">;
+export type Ksuid = typeof Ksuid.Type;
 export declare const isKsuid: (value: string) => value is Ksuid;
-export declare const makeKsuid: Effect.Effect<Ksuid, never, DateTimes | GetRandomValues>;
+export declare const ksuid: Effect.Effect<Ksuid, never, DateTimes | RandomValues>;
+//# sourceMappingURL=Ksuid.d.ts.map

package/dist/Ksuid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ksuid.d.ts","sourceRoot":"","sources":["../src/Ksuid.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAUjD,eAAO,MAAM,KAAK,gDAGjB,CAAC;AACF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC;AAEtC,eAAO,MAAM,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,IAAI,KAAwB,CAAC;AAM3E,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,GAAG,YAAY,CAyBvE,CAAC"}