| 1 | import * as Effect from "effect/Effect"; |
| 2 | import * as Random from "effect/Random"; |
| 3 | |
| 4 | export const randomUuidV4 = Effect.all( |
| 5 | Array.from({ length: 16 }, () => Random.nextIntBetween(0, 256, { halfOpen: true })), |
| 6 | ).pipe( |
| 7 | Effect.map((bytes) => { |
| 8 | bytes[6] = (bytes[6]! & 0x0f) | 0x40; |
| 9 | bytes[8] = (bytes[8]! & 0x3f) | 0x80; |
| 10 | const hex = bytes.map((byte) => byte.toString(16).padStart(2, "0")).join(""); |
| 11 | return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`; |
| 12 | }), |
| 13 | ); |