(value: string | undefined)
| 1381 | } |
| 1382 | |
| 1383 | const parseNumberHeader = (value: string | undefined): number | undefined => { |
| 1384 | if (value === undefined) { |
| 1385 | return undefined |
| 1386 | } |
| 1387 | const match = /-?\d+(?:\.\d+)?/.exec(value) |
| 1388 | if (match === null) { |
| 1389 | return undefined |
| 1390 | } |
| 1391 | const parsed = Number(match[0]) |
| 1392 | return Number.isFinite(parsed) ? parsed : undefined |
| 1393 | } |
| 1394 | |
| 1395 | const getHeader = (headers: Headers.Headers, ...keys: Array<string>): string | undefined => { |
| 1396 | for (let i = 0; i < keys.length; i++) { |
no test coverage detected