2023-05-09 03:11:56 +02:00
|
|
|
export function uuid(a?: string): string {
|
2023-04-03 14:44:43 +02:00
|
|
|
return a
|
|
|
|
? (
|
2023-05-10 12:59:29 +02:00
|
|
|
(a as unknown as number) ^
|
|
|
|
((Math.random() * 16) >> ((a as unknown as number) / 4))
|
2023-05-09 19:02:12 +02:00
|
|
|
).toString(16)
|
2023-07-13 11:49:16 +02:00
|
|
|
: ('' + 1e7 + -1e3 + -4e3 + -8e3 + -1e11).replace(/[018]/g, uuid);
|
2023-04-03 03:31:39 +02:00
|
|
|
}
|