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