@typed/id 0.11.0 → 0.12.0

package/.nvmrc

@@ -0,0 +1 @@
+22

package/biome.json

@@ -0,0 +1,36 @@
+{
+  "organizeImports": {
+    "enabled": true
+  },
+  "linter": {
+    "enabled": true,
+    "rules": {
+      "recommended": true,
+      "suspicious": {
+        "noExplicitAny": "off",
+        "noAssignInExpressions": "off",
+        "noShadowRestrictedNames": "off"
+      },
+      "style": {
+        "noParameterAssign": "off",
+        "noUselessElse": "off"
+      },
+      "complexity": {
+        "noBannedTypes": "off"
+      }
+    }
+  },
+  "formatter": {
+    "enabled": true,
+    "indentStyle": "space",
+    "indentWidth": 2,
+    "lineWidth": 100
+  },
+  "javascript": {
+    "formatter": {
+      "quoteStyle": "single",
+      "trailingCommas": "all",
+      "semicolons": "asNeeded"
+    }
+  }
+}

package/dist/DateTimes.d.ts

@@ -0,0 +1,25 @@
+import { Effect, Layer } from 'effect';
+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>;
+}> & {
+    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>;
+};
+export declare class DateTimes extends DateTimes_base {
+    static readonly make: (now: Effect.Effect<number>) => Effect.Effect<{
+        now: Effect.Effect<number, never, never>;
+        date: Effect.Effect<Date, never, never>;
+    }, never, never>;
+    static readonly Default: Effect.Effect<{
+        now: Effect.Effect<number, never, never>;
+        date: Effect.Effect<Date, never, never>;
+    }, never, never>;
+    static readonly Fixed: (base: Date) => Layer.Layer<DateTimes, never, never>;
+}
+export {};

package/dist/DateTimes.js

@@ -0,0 +1,20 @@
+import { Effect, Layer } from 'effect';
+export class DateTimes extends Effect.Tag('DateTimes')() {
+    static make = (now) => Effect.succeed({
+        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;
+        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(BigInt(base.getTime()) + BigInt(millis) - BigInt(startMillis))));
+        return {
+            now,
+            date: now.pipe(Effect.map((millis) => new Date(millis))),
+        };
+    }));
+}
+//# sourceMappingURL=DateTimes.js.map

package/dist/DateTimes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DateTimes.js","sourceRoot":"","sources":["../src/DateTimes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAqB,MAAM,QAAQ,CAAA;AAEzD,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAMnD;IACD,MAAM,CAAU,IAAI,GAAG,CAAC,GAA0B,EAAE,EAAE,CACpD,MAAM,CAAC,OAAO,CAAC;QACb,GAAG;QACH,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;KACzD,CAAC,CAAA;IAEJ,MAAM,CAAU,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAA;IAEzF,MAAM,CAAU,KAAK,GAAG,CAAC,IAAU,EAAE,EAAE,CACrC,KAAK,CAAC,MAAM,CACV,SAAS,EACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAA;QACjC,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAA;QAClD,MAAM,GAAG,GAAG,KAAK,CAAC,iBAAiB,CAAC,IAAI,CACtC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpB,4FAA4F;QAC5F,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CACtE,CACF,CAAA;QAED,OAAO;YACL,GAAG;YACH,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;SACzD,CAAA;IACH,CAAC,CAAC,CACH,CAAA"}

package/dist/GetRandomValues.d.ts

@@ -0,0 +1,11 @@
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+declare const GetRandomValues_base: Context.TagClass<GetRandomValues, "GetRandomValues", (length: number) => Effect.Effect<Uint8Array>>;
+export declare class GetRandomValues extends GetRandomValues_base {
+    static readonly layer: (f: (length: number) => Effect.Effect<Uint8Array>) => Layer.Layer<GetRandomValues, never, never>;
+    static readonly apply: (length: number) => Effect.Effect<Uint8Array<ArrayBufferLike>, never, GetRandomValues>;
+    static readonly PseudoRandom: Layer.Layer<GetRandomValues, never, never>;
+    static readonly CryptoRandom: Layer.Layer<GetRandomValues, never, never>;
+}
+export {};

package/dist/GetRandomValues.js

@@ -0,0 +1,17 @@
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+import * as Random from 'effect/Random';
+export class GetRandomValues extends Context.Tag('GetRandomValues')() {
+    static layer = (f) => Layer.succeed(GetRandomValues, f);
+    static apply = (length) => Effect.flatMap(GetRandomValues, (f) => f(length));
+    static PseudoRandom = this.layer((length) => Effect.gen(function* () {
+        const view = new Uint8Array(length);
+        for (let i = 0; i < length; ++i) {
+            view[i] = yield* Random.nextInt;
+        }
+        return view;
+    }));
+    static CryptoRandom = this.layer((length) => Effect.sync(() => crypto.getRandomValues(new Uint8Array(length))));
+}
+//# sourceMappingURL=GetRandomValues.js.map

package/dist/GetRandomValues.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GetRandomValues.js","sourceRoot":"","sources":["../src/GetRandomValues.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,MAAM,OAAO,eAAgB,SAAQ,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAGhE;IACD,MAAM,CAAU,KAAK,GAAG,CAAC,CAAgD,EAAE,EAAE,CAC3E,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAA;IAEnC,MAAM,CAAU,KAAK,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAE7F,MAAM,CAAU,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAA;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAA;QACjC,CAAC;QAED,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CACH,CAAA;IAED,MAAM,CAAU,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAClE,CAAA"}

package/dist/{dts/NanoId.d.ts → NanoId.d.ts}

@@ -1,24 +1,9 @@
-/**
- * @since 1.0.0
- */
-import * as Brand from "effect/Brand";
-import * as Effect from "effect/Effect";
-import { GetRandomValues } from "./GetRandomValues.js";
-/**
- * @since 1.0.0
- */
+import { Schema } from 'effect';
+import * as Effect from 'effect/Effect';
+import { GetRandomValues } from './GetRandomValues.js';
 export declare const isNanoId: (id: string) => id is NanoId;
-/**
- * @since 1.0.0
- */
-export type NanoId = string & Brand.Brand<"@typed/id/NanoId">;
-/**
- * @since 1.0.0
- */
-export declare const NanoId: Brand.Brand.Constructor<NanoId>;
-/**
- * @since 1.0.0
- */
+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,
@@ -42,16 +27,6 @@ export type NanoIdSeed = readonly [
     nineteen: number,
     twenty: number
 ];
-/**
- * @since 1.0.0
- */
 export declare const nanoId: (seed: NanoIdSeed) => NanoId;
-/**
- * @since 1.0.0
- */
 export declare const makeNanoIdSeed: Effect.Effect<NanoIdSeed, never, GetRandomValues>;
-/**
- * @since 1.0.0
- */
 export declare const makeNanoId: Effect.Effect<NanoId, never, GetRandomValues>;
-//# sourceMappingURL=NanoId.d.ts.map

package/dist/NanoId.js

@@ -0,0 +1,27 @@
+import { Schema } from 'effect';
+import * as Effect from 'effect/Effect';
+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) => {
+    byte &= 63;
+    if (byte < 36) {
+        // `0-9a-z`
+        return byte.toString(36);
+    }
+    else if (byte < 62) {
+        // `A-Z`
+        return (byte - 26).toString(36).toUpperCase();
+    }
+    else if (byte > 62) {
+        return '-';
+    }
+    else {
+        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/NanoId.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NanoId.js","sourceRoot":"","sources":["../src/NanoId.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAEtD,MAAM,aAAa,GAAG,eAAe,CAAA;AAErC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAgB,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAE5E,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAA;AA2B1E,MAAM,cAAc,GAAG,CAAC,IAAY,EAAU,EAAE;IAC9C,IAAI,IAAI,EAAE,CAAA;IACV,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC;QACd,WAAW;QACX,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC;SAAM,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC;QACrB,QAAQ;QACR,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAA;IAC/C,CAAC;SAAM,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC;QACrB,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,CAAA;IACZ,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAU,EAAE,CACjD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;AAEjE,MAAM,CAAC,MAAM,cAAc,GACzB,eAAe,CAAC,KAAK,CAAC,EAAE,CAAQ,CAAA;AAElC,MAAM,CAAC,MAAM,UAAU,GAAkD,MAAM,CAAC,GAAG,CACjF,cAAc,EACd,MAAM,CACP,CAAA"}

package/dist/Ulid.d.ts

@@ -0,0 +1,31 @@
+import * as Effect from 'effect/Effect';
+import { GetRandomValues } from './GetRandomValues.js';
+import { Schema } from 'effect';
+import { DateTimes } from './DateTimes.js';
+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;

package/dist/Ulid.js

@@ -0,0 +1,39 @@
+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'));
+// Crockford's Base32
+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));
+function encodeTime(now, len) {
+    let str = '';
+    for (let i = len - 1; i >= 0; i--) {
+        const mod = now % ENCODING_LEN;
+        str = ENCODING.charAt(mod) + str;
+        now = (now - mod) / ENCODING_LEN;
+    }
+    return str;
+}
+function encodeRandom(seed) {
+    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/Ulid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ulid.js","sourceRoot":"","sources":["../src/Ulid.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE1C,MAAM,CAAC,MAAM,MAAM,GAAqC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAQ,CAAA;AAErF,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAyBpE,qBAAqB;AACrB,MAAM,QAAQ,GAAG,kCAAkC,CAAA;AACnD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAA;AACpC,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AAC5B,MAAM,QAAQ,GAAG,EAAE,CAAA;AACnB,MAAM,UAAU,GAAG,EAAE,CAAA;AAErB,MAAM,CAAC,MAAM,YAAY,GACvB,SAAS,CAAC,GAAG,CAAC,IAAI,CAChB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EACpB,MAAM,CAAC,IAAI,CACT,MAAM,EACN,GAAG,EAAE,CACH,eAAe,CAAC,KAAK,CAAC,EAAE,CAAmE,CAC9F,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,QAAQ,GAA4D,MAAM,CAAC,GAAG,CACzF,YAAY,EACZ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CACnC,CAAA;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,GAAW;IAC1C,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,GAAG,GAAG,YAAY,CAAA;QAC9B,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAA;QAChC,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,YAAY,CAAA;IAClC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,YAAY,CAAC,IAAsB;IAC1C,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,IAAsB,EAAE,GAAoB;IAC/D,IAAI,GAAG,GAAG,QAAQ,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAA;IACnE,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IACtC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAEjC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC,CAAA;AACjC,CAAC"}

package/dist/{dts/Uuid.d.ts → Uuid.d.ts}

@@ -1,25 +1,9 @@
-/**
- * @since 1.0.0
- */
-import * as Brand from "effect/Brand";
-import * as Effect from "effect/Effect";
-import { GetRandomValues } from "./GetRandomValues.js";
-/**
- * Returns `true` if a string is a UUID.
- * @since 1.0.0
- */
+import * as Effect from 'effect/Effect';
+import { GetRandomValues } from './GetRandomValues.js';
+import { Schema } from 'effect';
 export declare const isUuid: (value: string) => value is Uuid;
-/**
- * @since 1.0.0
- */
-export type Uuid = string & Brand.Brand<"@typed/id/UUID">;
-/**
- * @since 1.0.0
- */
-export declare const Uuid: Brand.Brand.Constructor<Uuid>;
-/**
- * @since 1.0.0
- */
+export declare const Uuid: Schema.brand<typeof Schema.UUID, "@typed/id/UUID">;
+export type Uuid = Schema.Schema.Type<typeof Uuid>;
 export type UuidSeed = readonly [
     zero: number,
     one: number,
@@ -38,16 +22,6 @@ export type UuidSeed = readonly [
     fourteen: number,
     fifteen: number
 ];
-/**
- * @since 1.0.0
- */
 export declare const makeUuidSeed: Effect.Effect<UuidSeed, never, GetRandomValues>;
-/**
- * @since 1.0.0
- */
 export declare const makeUuid: Effect.Effect<Uuid, never, GetRandomValues>;
-/**
- * @since 1.0.0
- */
 export declare function uuid4(seed: UuidSeed): Uuid;
-//# sourceMappingURL=Uuid.d.ts.map

package/dist/{esm/Uuid.js → Uuid.js}

@@ -1,26 +1,9 @@
-/**
- * @since 1.0.0
- */
-import * as Brand from "effect/Brand";
-import * as Effect from "effect/Effect";
-import { GetRandomValues } from "./GetRandomValues.js";
-const uuidPattern = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i;
-/**
- * Returns `true` if a string is a UUID.
- * @since 1.0.0
- */
-export const isUuid = (value) => uuidPattern.test(value);
-/**
- * @since 1.0.0
- */
-export const Uuid = Brand.refined(isUuid, (input) => Brand.error(`Expected a UUID but received ${input}.`));
-/**
- * @since 1.0.0
- */
-export const makeUuidSeed = GetRandomValues(32);
-/**
- * @since 1.0.0
- */
+import * as Effect from 'effect/Effect';
+import { GetRandomValues } from './GetRandomValues.js';
+import { Schema } from 'effect';
+export const isUuid = Schema.is(Schema.UUID);
+export const Uuid = Schema.UUID.pipe(Schema.brand('@typed/id/UUID'));
+export const makeUuidSeed = GetRandomValues.apply(32);
 export const makeUuid = Effect.map(makeUuidSeed, uuid4);
 /**
  * Convert array of 16 byte values to UUID string format of the form:
@@ -30,29 +13,28 @@ const byteToHex = [];
 for (let i = 0; i < 256; ++i) {
     byteToHex.push((i + 0x100).toString(16).slice(1));
 }
-/**
- * @since 1.0.0
- */
 export function uuid4(seed) {
     // Note: Be careful editing this code!  It's been tuned for performance
     // and works in ways you may not expect. See https://github.com/uuidjs/uuid/pull/434
     //
     // Note to future-self: No, you can't remove the `toLowerCase()` call.
     // REF: https://github.com/uuidjs/uuid/pull/677#issuecomment-1757351351
-    return (byteToHex[seed[0]] +
+    return (
+    // biome-ignore lint/style/useTemplate: <explanation>
+    byteToHex[seed[0]] +
         byteToHex[seed[1]] +
         byteToHex[seed[2]] +
         byteToHex[seed[3]] +
-        "-" +
+        '-' +
         byteToHex[seed[4]] +
         byteToHex[seed[5]] +
-        "-" +
+        '-' +
         byteToHex[seed[6]] +
         byteToHex[seed[7]] +
-        "-" +
+        '-' +
         byteToHex[seed[8]] +
         byteToHex[seed[9]] +
-        "-" +
+        '-' +
         byteToHex[seed[10]] +
         byteToHex[seed[11]] +
         byteToHex[seed[12]] +

package/dist/Uuid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Uuid.js","sourceRoot":"","sources":["../src/Uuid.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,MAAM,CAAC,MAAM,MAAM,GAAqC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAQ,CAAA;AAErF,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAA;AAsBpE,MAAM,CAAC,MAAM,YAAY,GAAoD,eAAe,CAAC,KAAK,CAChG,EAAE,CACI,CAAA;AAER,MAAM,CAAC,MAAM,QAAQ,GAAgD,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;AAEpG;;;GAGG;AACH,MAAM,SAAS,GAAkB,EAAE,CAAA;AAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;IAC7B,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,IAAc;IAClC,uEAAuE;IACvE,oFAAoF;IACpF,EAAE;IACF,sEAAsE;IACtE,uEAAuE;IACvE,OACE;IACE,qDAAqD;IACrD,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG;QACH,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG;QACH,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG;QACH,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,GAAG;QACH,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CACpB,CAAC,WAAW,EACd,CAAA;AACH,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,5 @@
+export * from './DateTimes.js';
+export * from './GetRandomValues.js';
+export * from './NanoId.js';
+export * from './Ulid.js';
+export * from './Uuid.js';

package/dist/index.js

@@ -0,0 +1,6 @@
+export * from './DateTimes.js';
+export * from './GetRandomValues.js';
+export * from './NanoId.js';
+export * from './Ulid.js';
+export * from './Uuid.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,cAAc,sBAAsB,CAAA;AACpC,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,WAAW,CAAA"}

package/package.json

@@ -1,66 +1,42 @@
 {
   "name": "@typed/id",
-  "version": "0.11.0",
-  "description": "",
+  "version": "0.12.0",
+  "description": "Common ID format generation for Effect",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "type": "module",
+  "keywords": [
+    "effect",
+    "ID",
+    "UUID",
+    "NanoId",
+    "ULID",
+    "typescript"
+  ],
+  "author": "Tylor Steinberger <tlsteinberger167@gmail.com>",
   "license": "MIT",
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/tylors/typed.git"
-  },
-  "sideEffects": [],
-  "author": "Typed contributors",
-  "homepage": "https://github.com/tylors/typed",
   "dependencies": {
-    "@effect/schema": "^0.74.1",
-    "effect": "^3.8.4",
-    "fast-check": "^3.22.0",
-    "@typed/context": "0.30.0"
+    "effect": "^3.11.9"
+  },
+  "peerDependencies": {
+    "effect": "^3.11.9"
+  },
+  "devDependencies": {
+    "@biomejs/biome": "^1.9.4",
+    "@effect/vitest": "^0.16.0",
+    "@types/node": "^22.10.2",
+    "typescript": "^5.4.2",
+    "vitest": "^2.1.8"
   },
-  "main": "./dist/cjs/index.js",
-  "module": "./dist/esm/index.js",
-  "types": "./dist/dts/index.d.ts",
-  "exports": {
-    "./package.json": "./package.json",
-    ".": {
-      "types": "./dist/dts/index.d.ts",
-      "import": "./dist/esm/index.js",
-      "default": "./dist/cjs/index.js"
-    },
-    "./GetRandomValues": {
-      "types": "./dist/dts/GetRandomValues.d.ts",
-      "import": "./dist/esm/GetRandomValues.js",
-      "default": "./dist/cjs/GetRandomValues.js"
-    },
-    "./NanoId": {
-      "types": "./dist/dts/NanoId.d.ts",
-      "import": "./dist/esm/NanoId.js",
-      "default": "./dist/cjs/NanoId.js"
-    },
-    "./Schema": {
-      "types": "./dist/dts/Schema.d.ts",
-      "import": "./dist/esm/Schema.js",
-      "default": "./dist/cjs/Schema.js"
-    },
-    "./Uuid": {
-      "types": "./dist/dts/Uuid.d.ts",
-      "import": "./dist/esm/Uuid.js",
-      "default": "./dist/cjs/Uuid.js"
-    }
+  "publishConfig": {
+    "access": "public"
   },
-  "typesVersions": {
-    "*": {
-      "GetRandomValues": [
-        "./dist/dts/GetRandomValues.d.ts"
-      ],
-      "NanoId": [
-        "./dist/dts/NanoId.d.ts"
-      ],
-      "Schema": [
-        "./dist/dts/Schema.d.ts"
-      ],
-      "Uuid": [
-        "./dist/dts/Uuid.d.ts"
-      ]
-    }
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "lint": "biome lint --write",
+    "test:watch": "vitest --typecheck",
+    "test": "vitest run --typecheck",
+    "typecheck": "tsc --noEmit"
   }
 }

package/readme.md

@@ -0,0 +1,86 @@
+# @typed/id
+
+A TypeScript library providing common ID format generation using [Effect](https://effect.website/). This package includes implementations for UUID, NanoID, and ULID generation with a focus on type safety and functional programming principles.
+
+## Installation
+
+```bash
+npm install @typed/id effect
+# or
+pnpm add @typed/id effect
+# or
+yarn add @typed/id effect
+```
+
+## Features
+
+- 🎯 Type-safe ID generation
+- 🔧 Built on top of Effect
+- 🎨 Multiple ID format support:
+  - UUID (v4)
+  - NanoID
+  - ULID
+- ⚡ Efficient and secure random value generation
+- 📦 Zero dependencies (except Effect)
+
+## Usage
+
+```typescript
+import { Effect } from 'effect'
+import { 
+  DateTimes, 
+  GetRandomValues, 
+  makeUuid, 
+  makeNanoId, 
+  makeUlid 
+} from '@typed/id'
+
+// Generate a UUID
+await makeUuid.pipe(
+  Effect.provide(GetRandomValues.CryptoRandom),
+  // Effect.provide(GetRandomValues.PseudoRandom),
+  Effect.flatMap(Effect.log),
+  Effect.runPromise
+)
+// Output: "550e8400-e29b-41d4-a716-446655440000"
+
+// Generate a NanoID
+await makeNanoId.pipe(
+  Effect.provide(GetRandomValues.CryptoRandom),
+  // Effect.provide(GetRandomValues.PseudoRandom),
+  Effect.flatMap(Effect.log),
+  Effect.runPromise
+)
+// Output: "V1StGXR8_Z5jdHi6B-myT"
+
+// Generate a ULID
+await makeUlid.pipe(
+  Effect.provide([
+    GetRandomValues.CryptoRandom, 
+    // GetRandomValues.PseudoRandom,
+    DateTimes.Default
+    // DateTimes.Fixed(new Date(0))
+  ]),
+  Effect.flatMap(Effect.log),
+  Effect.runPromise
+)
+// Output: "01ARZ3NDEKTSV4RRFFQ69G5FAV"
+```
+
+## API
+
+### UUID
+
+- `makeUuid`: Generates a v4 UUID
+
+### NanoID
+
+- `makeNanoId`: Generates a NanoID with a default length of 21 characters
+
+### ULID
+
+- `makeUlid`: Generates a ULID (Universally Unique Lexicographically Sortable Identifier)
+
+## License
+
+MIT

package/src/DateTimes.ts

@@ -0,0 +1,37 @@
+import { Effect, Layer, Option, TestClock } from 'effect'
+
+export class DateTimes extends Effect.Tag('DateTimes')<
+  DateTimes,
+  {
+    readonly now: Effect.Effect<number>
+    readonly date: Effect.Effect<Date>
+  }
+>() {
+  static readonly make = (now: Effect.Effect<number>) =>
+    Effect.succeed({
+      now,
+      date: now.pipe(Effect.map((millis) => new Date(millis))),
+    })
+
+  static readonly Default = this.make(Effect.clockWith((clock) => clock.currentTimeMillis))
+
+  static readonly Fixed = (base: Date) =>
+    Layer.effect(
+      DateTimes,
+      Effect.gen(function* () {
+        const clock = yield* Effect.clock
+        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(BigInt(base.getTime()) + BigInt(millis) - BigInt(startMillis)),
+          ),
+        )
+
+        return {
+          now,
+          date: now.pipe(Effect.map((millis) => new Date(millis))),
+        }
+      }),
+    )
+}