2023-05-08 21:11:56 -04:00
|
|
|
export function uuid(a?: string): string {
|
2023-05-09 17:41:18 -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 17:41:18 -04:00
|
|
|
).toString(16)
|
2023-07-13 05:49:16 -04:00
|
|
|
: ('' + 1e7 + -1e3 + -4e3 + -8e3 + -1e11).replace(/[018]/g, uuid);
|
2023-04-26 15:30:41 -04:00
|
|
|
}
|