UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

9 lines (6 loc) • 434 B
1
2
3
4
5
6
7
8
9
import { z } from 'zod' // NOTE: A single timezone has multiple offsets (because of daylight saving strategy) export const TimezoneOffsetSchema = z.number(/* of minutes */) .min(-12 * 60) // https://en.wikipedia.org/wiki/List_of_UTC_time_offsets#UTC%E2%88%9212:00,_Y .max(+14 * 60) // https://en.wikipedia.org/wiki/List_of_UTC_time_offsets#UTC+14:00,_M%E2%80%A0 export type TimezoneOffset = z.infer<typeof TimezoneOffsetSchema>