(level: string | null)
| 11 | } |
| 12 | |
| 13 | function levelTone(level: string | null): PillTone { |
| 14 | switch (level) { |
| 15 | case 'ERROR': |
| 16 | case 'FATAL': |
| 17 | return 'error'; |
| 18 | case 'WARN': |
| 19 | case 'WARNING': |
| 20 | return 'warning'; |
| 21 | case 'INFO': |
| 22 | return 'info'; |
| 23 | case 'DEBUG': |
| 24 | case 'TRACE': |
| 25 | return 'meta'; |
| 26 | default: |
| 27 | return 'neutral'; |
| 28 | } |
| 29 | } |
| 30 | |
| 31 | const LEVELS = ['ALL', 'ERROR', 'WARN', 'INFO', 'DEBUG'] as const; |
| 32 | type LevelFilter = (typeof LEVELS)[number]; |