@typed/id 0.17.2 → 1.0.0-beta.0

package/dist/Ids.d.ts

@@ -0,0 +1,71 @@
+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";
+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, CuidState | DateTimes | RandomValues | 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>;
+}
+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;;;;;;;;oBAO7B,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,GAAI,UAAU,WAAW,KAAG,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,SAAS,GAAG,YAAY,CAAC,CAOvF;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,51 @@
+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";
+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]));
+}

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"}

package/dist/Ksuid.js

@@ -1,7 +1,7 @@
-import * as Effect from 'effect/Effect';
-import * as Schema from 'effect/Schema';
-import { DateTimes } from './DateTimes.js';
-import { GetRandomValues } from './GetRandomValues.js';
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { DateTimes } from "./DateTimes.js";
+import { RandomValues } from "./RandomValues.js";
 // Constants
 const EPOCH = 14e11; // 2014-03-01T00:00:00Z
 const TIMESTAMP_BYTES = 4;
@@ -9,28 +9,10 @@ const PAYLOAD_BYTES = 16;
 const TOTAL_BYTES = TIMESTAMP_BYTES + PAYLOAD_BYTES;
 const STRING_LENGTH = 27;
 // Schema
-export const Ksuid = Schema.String.pipe(Schema.pattern(/^[0-9a-zA-Z]{27}$/), Schema.brand('@typed/id/KSUID'));
+export const Ksuid = Schema.String.pipe(Schema.check(Schema.isPattern(/^[0-9a-zA-Z]{27}$/)), Schema.brand("@typed/id/KSUID"));
 export const isKsuid = Schema.is(Ksuid);
-// Utilities
-const base62Chars = '0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz';
-const base = BigInt(base62Chars.length);
-function base62Encode(bytes) {
-    let number = 0n;
-    for (const byte of bytes) {
-        number = (number << 8n) + BigInt(byte);
-    }
-    const chars = new Array(STRING_LENGTH);
-    let i = chars.length;
-    while (i > 0) {
-        i--;
-        const remainder = Number(number % base);
-        chars[i] = base62Chars[remainder];
-        number = number / base;
-    }
-    return chars.join('');
-}
-// Core Functions
-function ksuidFromSeed({ timestamp, payload }) {
+// Public API
+export const ksuid = Effect.zipWith(DateTimes.now, RandomValues.call(PAYLOAD_BYTES), (timestamp, payload) => {
     // Create the combined bytes
     const bytes = new Uint8Array(TOTAL_BYTES);
     // Support for timestamps before the epoch, usually for testing
@@ -46,12 +28,23 @@ function ksuidFromSeed({ timestamp, payload }) {
     // Copy payload
     bytes.set(payload, TIMESTAMP_BYTES);
     // Encode as base62
-    return Ksuid.make(base62Encode(bytes));
-}
-// Public API
-export const makeKsuid = Effect.gen(function* () {
-    const timestamp = yield* DateTimes.now;
-    const payload = yield* GetRandomValues.apply(PAYLOAD_BYTES);
-    return ksuidFromSeed({ timestamp, payload });
+    return Ksuid.makeUnsafe(base62Encode(bytes));
 });
-//# sourceMappingURL=Ksuid.js.map
+// Utilities
+const base62Chars = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
+const base = BigInt(base62Chars.length);
+function base62Encode(bytes) {
+    let number = 0n;
+    for (const byte of bytes) {
+        number = (number << 8n) + BigInt(byte);
+    }
+    const chars = Array(STRING_LENGTH);
+    let i = chars.length;
+    while (i > 0) {
+        i--;
+        const remainder = Number(number % base);
+        chars[i] = base62Chars[remainder];
+        number = number / base;
+    }
+    return chars.join("");
+}

package/dist/NanoId.d.ts

@@ -1,32 +1,8 @@
-import * as Effect from 'effect/Effect';
-import * as Schema from 'effect/Schema';
-import { GetRandomValues } from './GetRandomValues.js';
-export declare const isNanoId: (id: string) => id is NanoId;
-export declare const NanoId: Schema.brand<typeof Schema.String, "@typed/id/NanoId">;
-export type NanoId = Schema.Schema.Type<typeof NanoId>;
-export type NanoIdSeed = readonly [
-    zero: number,
-    one: number,
-    two: number,
-    three: number,
-    four: number,
-    five: number,
-    six: number,
-    seven: number,
-    eight: number,
-    nine: number,
-    ten: number,
-    eleven: number,
-    twelve: number,
-    thirteen: number,
-    fourteen: number,
-    fifteen: number,
-    sixteen: number,
-    seventeen: number,
-    eighteen: number,
-    nineteen: number,
-    twenty: number
-];
-export declare const nanoId: (seed: NanoIdSeed) => NanoId;
-export declare const makeNanoIdSeed: Effect.Effect<NanoIdSeed, never, GetRandomValues>;
-export declare const makeNanoId: Effect.Effect<NanoId, never, GetRandomValues>;
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { RandomValues } from "./RandomValues.js";
+export declare const NanoId: Schema.brand<Schema.String, "@typed/id/NanoId">;
+export type NanoId = typeof NanoId.Type;
+export declare const isNanoId: (value: string) => value is NanoId;
+export declare const nanoId: Effect.Effect<NanoId, never, RandomValues>;
+//# sourceMappingURL=NanoId.d.ts.map

package/dist/NanoId.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NanoId.d.ts","sourceRoot":"","sources":["../src/NanoId.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,eAAO,MAAM,MAAM,iDAGlB,CAAC;AACF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAExC,eAAO,MAAM,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,IAAI,MAA0B,CAAC;AAI9E,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAG7D,CAAC"}

package/dist/NanoId.js

@@ -1,10 +1,10 @@
-import * as Effect from 'effect/Effect';
-import * as Schema from 'effect/Schema';
-import { GetRandomValues } from './GetRandomValues.js';
-const nanoIdPattern = /[0-9a-zA-Z_-]/;
-export const isNanoId = (id) => nanoIdPattern.test(id);
-export const NanoId = Schema.String.pipe(Schema.brand('@typed/id/NanoId'));
-const numToCharacter = (byte) => {
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { RandomValues } from "./RandomValues.js";
+export const NanoId = Schema.String.pipe(Schema.check(Schema.isPattern(/^[0-9a-zA-Z_-]+$/)), Schema.brand("@typed/id/NanoId"));
+export const isNanoId = Schema.is(NanoId);
+export const nanoId = Effect.map(RandomValues.call(21), (seed) => NanoId.makeUnsafe(Array.from(seed, numToCharacter).join("")));
+function numToCharacter(byte) {
     byte &= 63;
     if (byte < 36) {
         // `0-9a-z`
@@ -15,13 +15,9 @@ const numToCharacter = (byte) => {
         return (byte - 26).toString(36).toUpperCase();
     }
     else if (byte > 62) {
-        return '-';
+        return "-";
     }
     else {
-        return '_';
+        return "_";
     }
-};
-export const nanoId = (seed) => NanoId.make(seed.reduce((id, x) => id + numToCharacter(x), ''));
-export const makeNanoIdSeed = GetRandomValues.apply(21);
-export const makeNanoId = Effect.map(makeNanoIdSeed, nanoId);
-//# sourceMappingURL=NanoId.js.map
+}

package/dist/RandomValues.d.ts

@@ -0,0 +1,13 @@
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as ServiceMap from "effect/ServiceMap";
+declare const RandomValues_base: ServiceMap.ServiceClass<RandomValues, "@typed/id/RandomValues", <A extends Uint8Array>(length: A["length"]) => Effect.Effect<A>> & {
+    readonly make: Effect.Effect<(<A extends Uint8Array>(length: A["length"]) => Effect.Effect<A>), never, never>;
+};
+export declare class RandomValues extends RandomValues_base {
+    static readonly call: <A extends Uint8Array>(length: A["length"]) => Effect.Effect<A, never, RandomValues>;
+    static readonly Default: Layer.Layer<RandomValues, never, never>;
+    static readonly Random: Layer.Layer<RandomValues, never, never>;
+}
+export {};
+//# sourceMappingURL=RandomValues.d.ts.map

package/dist/RandomValues.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RandomValues.d.ts","sourceRoot":"","sources":["../src/RandomValues.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAC;kGAI3C,CAAC,SAAS,UAAU,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;mCAA5D,CAAC,SAAS,UAAU,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;;AAFjE,qBAAa,YAAa,SAAQ,iBAKhC;IACA,gBAAyB,IAAI,GAAI,CAAC,SAAS,UAAU,EACnD,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAClB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAC+C;IAEvF,MAAM,CAAC,QAAQ,CAAC,OAAO,0CAAiD;IAExE,MAAM,CAAC,QAAQ,CAAC,MAAM,0CAapB;CACH"}

package/dist/RandomValues.js

@@ -0,0 +1,19 @@
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Random from "effect/Random";
+import * as ServiceMap from "effect/ServiceMap";
+export class RandomValues extends ServiceMap.Service()("@typed/id/RandomValues", {
+    make: Effect.succeed((length) => Effect.sync(() => crypto.getRandomValues(new Uint8Array(length)))),
+}) {
+    static call = (length) => RandomValues.asEffect().pipe(Effect.flatMap((randomValues) => randomValues(length)));
+    static Default = Layer.effect(RandomValues, RandomValues.make);
+    static Random = Layer.effect(RandomValues, Effect.gen(function* () {
+        const random = yield* Random.Random;
+        return RandomValues.of((length) => Effect.sync(() => {
+            const view = new Uint8Array(length);
+            for (let i = 0; i < length; ++i)
+                view[i] = random.nextIntUnsafe();
+            return view;
+        }));
+    }));
+}

package/dist/Ulid.d.ts

@@ -1,31 +1,9 @@
-import * as Effect from 'effect/Effect';
-import { GetRandomValues } from './GetRandomValues.js';
-import { Schema } from 'effect';
-import { DateTimes } from './DateTimes.js';
+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 Ulid: Schema.brand<Schema.String, "@typed/id/ULID">;
+export type Ulid = typeof Ulid.Type;
 export declare const isUlid: (value: string) => value is Ulid;
-export declare const Ulid: Schema.brand<typeof Schema.ULID, "@typed/id/ULID">;
-export type Ulid = Schema.Schema.Type<typeof Ulid>;
-export type UlidSeed = {
-    readonly seed: readonly [
-        zero: number,
-        one: number,
-        two: number,
-        three: number,
-        four: number,
-        five: number,
-        six: number,
-        seven: number,
-        eight: number,
-        nine: number,
-        ten: number,
-        eleven: number,
-        twelve: number,
-        thirteen: number,
-        fourteen: number,
-        fifteen: number
-    ];
-    readonly now: number;
-};
-export declare const makeUlidSeed: Effect.Effect<UlidSeed, never, GetRandomValues | DateTimes>;
-export declare const makeUlid: Effect.Effect<Ulid, never, GetRandomValues | DateTimes>;
-export declare function ulid(seed: UlidSeed['seed'], now: UlidSeed['now']): Ulid;
+export declare const ulid: Effect.Effect<Ulid, never, RandomValues | DateTimes>;
+//# sourceMappingURL=Ulid.d.ts.map

package/dist/Ulid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ulid.d.ts","sourceRoot":"","sources":["../src/Ulid.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;AAEjD,eAAO,MAAM,IAAI,+CAGhB,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAEpC,eAAO,MAAM,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,IAAI,IAAsB,CAAC;AAWxE,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,GAAG,SAAS,CAUrE,CAAC"}

package/dist/Ulid.js

@@ -1,19 +1,23 @@
-import * as Effect from 'effect/Effect';
-import { GetRandomValues } from './GetRandomValues.js';
-import { Schema } from 'effect';
-import { DateTimes } from './DateTimes.js';
-export const isUlid = Schema.is(Schema.ULID);
-export const Ulid = Schema.ULID.pipe(Schema.brand('@typed/id/ULID'));
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { DateTimes } from "./DateTimes.js";
+import { RandomValues } from "./RandomValues.js";
+export const Ulid = Schema.String.pipe(Schema.check(Schema.isULID()), Schema.brand("@typed/id/ULID"));
+export const isUlid = Schema.is(Ulid);
 // Crockford's Base32
-const ENCODING = '0123456789ABCDEFGHJKMNPQRSTVWXYZ';
+const ENCODING = "0123456789ABCDEFGHJKMNPQRSTVWXYZ";
 const ENCODING_LEN = ENCODING.length;
 const TIME_MAX = 2 ** 48 - 1;
 const TIME_LEN = 10;
 const RANDOM_LEN = 16;
-export const makeUlidSeed = DateTimes.now.pipe(Effect.bindTo('now'), Effect.bind('seed', () => GetRandomValues.apply(16)));
-export const makeUlid = Effect.map(makeUlidSeed, ({ seed, now }) => ulid(seed, now));
+export const ulid = Effect.zipWith(DateTimes.now, RandomValues.call(16), (now, seed) => {
+    if (now > TIME_MAX) {
+        throw new Error("Cannot generate ULID due to timestamp overflow");
+    }
+    return Ulid.makeUnsafe(encodeTime(now, TIME_LEN) + encodeRandom(seed));
+});
 function encodeTime(now, len) {
-    let str = '';
+    let str = "";
     for (let i = len - 1; i >= 0; i--) {
         const mod = now % ENCODING_LEN;
         str = ENCODING.charAt(mod) + str;
@@ -22,18 +26,9 @@ function encodeTime(now, len) {
     return str;
 }
 function encodeRandom(seed) {
-    let str = '';
+    let str = "";
     for (let i = 0; i < RANDOM_LEN; i++) {
         str = str + ENCODING.charAt(seed[i] % ENCODING_LEN);
     }
     return str;
 }
-export function ulid(seed, now) {
-    if (now > TIME_MAX) {
-        throw new Error('Cannot generate ULID due to timestamp overflow');
-    }
-    const time = encodeTime(now, TIME_LEN);
-    const random = encodeRandom(seed);
-    return Ulid.make(time + random);
-}
-//# sourceMappingURL=Ulid.js.map

package/dist/Uuid4.d.ts

@@ -1,7 +1,8 @@
-import * as Effect from 'effect/Effect';
-import * as Schema from 'effect/Schema';
-import { GetRandomValues } from './GetRandomValues.js';
-export declare const Uuid4: Schema.brand<typeof Schema.UUID, "@typed/id/UUID4">;
-export type Uuid4 = Schema.Schema.Type<typeof Uuid4>;
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { RandomValues } from "./RandomValues.js";
+export declare const Uuid4: Schema.brand<Schema.String, "@typed/id/UUID4">;
+export type Uuid4 = typeof Uuid4.Type;
 export declare const isUuid4: (value: string) => value is Uuid4;
-export declare const makeUuid4: Effect.Effect<Uuid4, never, GetRandomValues>;
+export declare const uuid4: Effect.Effect<Uuid4, never, RandomValues>;
+//# sourceMappingURL=Uuid4.d.ts.map

package/dist/Uuid4.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Uuid4.d.ts","sourceRoot":"","sources":["../src/Uuid4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEjD,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;AAI3E,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAQ3D,CAAC"}

package/dist/Uuid4.js

@@ -1,14 +1,12 @@
-import * as Effect from 'effect/Effect';
-import * as Schema from 'effect/Schema';
-import { GetRandomValues } from './GetRandomValues.js';
-import { uuidStringify } from './UuidStringify.js';
-export const Uuid4 = Schema.UUID.pipe(Schema.brand('@typed/id/UUID4'));
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { uuidStringify } from "./_uuid-stringify.js";
+import { RandomValues } from "./RandomValues.js";
+export const Uuid4 = Schema.String.pipe(Schema.check(Schema.isUUID(4)), Schema.brand("@typed/id/UUID4"));
 export const isUuid4 = Schema.is(Uuid4);
-export const makeUuid4 = Effect.map(GetRandomValues.apply(16), uuid4FromSeed);
-function uuid4FromSeed(seed) {
+export const uuid4 = Effect.map(RandomValues.call(16), (seed) => {
     // Per 4.4, set bits for version and `clock_seq_hi_and_reserved`
     seed[6] = (seed[6] & 0x0f) | 0x40;
     seed[8] = (seed[8] & 0x3f) | 0x80;
-    return Uuid4.make(uuidStringify(seed));
-}
-//# sourceMappingURL=Uuid4.js.map
+    return Uuid4.makeUnsafe(uuidStringify(seed));
+});

package/dist/Uuid5.d.ts

@@ -1,21 +1,8 @@
-import * as Effect from 'effect/Effect';
-import * as Layer from 'effect/Layer';
-import * as Schema from 'effect/Schema';
-export declare const Uuid5: Schema.brand<typeof Schema.UUID, "@typed/id/UUID5">;
-export type Uuid5 = Schema.Schema.Type<typeof Uuid5>;
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+export declare const Uuid5: Schema.brand<Schema.String, "@typed/id/UUID5">;
+export type Uuid5 = typeof Uuid5.Type;
 export declare const isUuid5: (value: string) => value is Uuid5;
-declare const Sha1_base: import("effect/Context").TagClass<Sha1, "Sha1", {
-    readonly hash: (data: Uint8Array) => Effect.Effect<Uint8Array, never>;
-}> & Effect.Tag.Proxy<Sha1, {
-    readonly hash: (data: Uint8Array) => Effect.Effect<Uint8Array, never>;
-}> & {
-    use: <X>(body: (_: {
-        readonly hash: (data: Uint8Array) => Effect.Effect<Uint8Array, never>;
-    }) => X) => [X] extends [Effect.Effect<infer A, infer E, infer R>] ? Effect.Effect<A, E, R | Sha1> : [X] extends [PromiseLike<infer A_1>] ? Effect.Effect<A_1, import("effect/Cause").UnknownException, Sha1> : Effect.Effect<X, never, Sha1>;
-};
-export declare class Sha1 extends Sha1_base {
-    static readonly Default: Layer.Layer<Sha1, never, never>;
-}
 export type Uuid5Namespace = Uint8Array;
 export declare const Uuid5Namespace: {
     readonly DNS: Uint8Array<ArrayBuffer>;
@@ -23,5 +10,12 @@ export declare const Uuid5Namespace: {
     readonly OID: Uint8Array<ArrayBuffer>;
     readonly X500: Uint8Array<ArrayBuffer>;
 };
-export declare function makeUuid5(namespace: Uuid5Namespace, name: string): Effect.Effect<Uuid5, never, Sha1>;
-export {};
+export declare const uuid5: {
+    (namespace: Uuid5Namespace): (name: string) => Effect.Effect<Uuid5>;
+    (name: string, namespace: Uuid5Namespace): Effect.Effect<Uuid5>;
+};
+export declare const dnsUuid5: (name: string) => Effect.Effect<Uuid5>;
+export declare const urlUuid5: (name: string) => Effect.Effect<Uuid5>;
+export declare const oidUuid5: (name: string) => Effect.Effect<Uuid5>;
+export declare const x500Uuid5: (name: string) => Effect.Effect<Uuid5>;
+//# sourceMappingURL=Uuid5.d.ts.map

package/dist/Uuid5.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Uuid5.d.ts","sourceRoot":"","sources":["../src/Uuid5.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,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;AAE3E,MAAM,MAAM,cAAc,GAAG,UAAU,CAAC;AAKxC,eAAO,MAAM,cAAc;;;;;CAgBjB,CAAC;AAEX,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,SAAS,EAAE,cAAc,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;CA0BhE,CAAC;AAEH,eAAO,MAAM,QAAQ,SA7BiB,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CA6BnB,CAAC;AAClD,eAAO,MAAM,QAAQ,SA9BiB,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CA8BnB,CAAC;AAClD,eAAO,MAAM,QAAQ,SA/BiB,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CA+BnB,CAAC;AAClD,eAAO,MAAM,SAAS,SAhCgB,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAgCjB,CAAC"}

package/dist/Uuid5.js

@@ -1,14 +1,10 @@
-import * as Effect from 'effect/Effect';
-import * as Layer from 'effect/Layer';
-import * as Schema from 'effect/Schema';
-import { uuidStringify } from './UuidStringify.js';
-export const Uuid5 = Schema.UUID.pipe(Schema.brand('@typed/id/UUID5'));
+import * as Effect from "effect/Effect";
+import { dual } from "effect/Function";
+import * as Schema from "effect/Schema";
+import { sha1 } from "./_sha.js";
+import { uuidStringify } from "./_uuid-stringify.js";
+export const Uuid5 = Schema.String.pipe(Schema.check(Schema.isUUID(5)), Schema.brand("@typed/id/UUID5"));
 export const isUuid5 = Schema.is(Uuid5);
-export class Sha1 extends Effect.Tag('Sha1')() {
-    static Default = Layer.succeed(this, {
-        hash: (data) => Effect.promise(() => crypto.subtle.digest('SHA-1', data).then((hash) => new Uint8Array(hash))),
-    });
-}
 const textEncoder = new TextEncoder();
 // Pre-defined namespaces from RFC 4122
 export const Uuid5Namespace = {
@@ -25,9 +21,8 @@ export const Uuid5Namespace = {
         0x6b, 0xa7, 0xb8, 0x14, 0x9d, 0xad, 0x11, 0xd1, 0x80, 0xb4, 0x00, 0xc0, 0x4f, 0xd4, 0x30, 0xc8,
     ]),
 };
-export function makeUuid5(namespace, name) {
+export const uuid5 = dual(2, function uuid5(name, namespace) {
     return Effect.gen(function* () {
-        const sha1 = yield* Sha1;
         // Convert name to UTF-8 bytes
         const nameBytes = textEncoder.encode(name);
         // Concatenate namespace and name
@@ -35,7 +30,7 @@ export function makeUuid5(namespace, name) {
         buffer.set(namespace);
         buffer.set(nameBytes, namespace.length);
         // Hash the concatenated bytes
-        const hash = yield* sha1.hash(buffer);
+        const hash = yield* sha1(buffer);
         // Format as UUID v5
         const result = new Uint8Array(16);
         // Copy first 16 bytes of the hash
@@ -43,7 +38,10 @@ export function makeUuid5(namespace, name) {
         // Set version (5) and variant bits
         result[6] = (result[6] & 0x0f) | 0x50; // version 5
         result[8] = (result[8] & 0x3f) | 0x80; // variant 1
-        return Uuid5.make(uuidStringify(result));
+        return Uuid5.makeUnsafe(uuidStringify(result));
     });
-}
-//# sourceMappingURL=Uuid5.js.map
+});
+export const dnsUuid5 = uuid5(Uuid5Namespace.DNS);
+export const urlUuid5 = uuid5(Uuid5Namespace.URL);
+export const oidUuid5 = uuid5(Uuid5Namespace.OID);
+export const x500Uuid5 = uuid5(Uuid5Namespace.X500);