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