package timedesc

  1. Overview
  2. Docs

Source file timedesc.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
include Date_time_utils
include Date_time
module Time_zone = Time_zone

exception ISO8601_parse_exn of string

let frac_s_milli = 3

let frac_s_micro = 6

let frac_s_nano = 9

let of_iso8601_exn' of_iso8601 s =
  match of_iso8601 s with
  | Ok x -> x
  | Error msg -> raise (ISO8601_parse_exn msg)

module Date = struct
  include Date

  let pp_rfc3339 = RFC3339.pp_date

  let to_rfc3339 = RFC3339.of_date

  let of_iso8601 = ISO8601.to_date

  let of_iso8601_exn s = of_iso8601_exn' of_iso8601 s

  let to_sexp = To_sexp.sexp_of_date

  let to_sexp_string x = CCSexp.to_string (To_sexp.sexp_of_date x)

  let of_sexp = Of_sexp_utils.wrap_of_sexp Of_sexp.date_of_sexp

  let of_sexp_string =
    Of_sexp_utils.wrap_of_sexp_into_of_sexp_string Of_sexp.date_of_sexp

  let pp_sexp = Printers.wrap_to_sexp_into_pp_sexp To_sexp.sexp_of_date

  module Ymd_date = Ymd_date'
  module ISO_week_date = ISO_week_date'
  module ISO_ord_date = ISO_ord_date'
end

module Time = struct
  include Time

  let pp_rfc3339 = RFC3339.pp_time

  let pp_rfc3339_milli = pp_rfc3339 ~frac_s:frac_s_milli ()

  let pp_rfc3339_micro = pp_rfc3339 ~frac_s:frac_s_micro ()

  let pp_rfc3339_nano = pp_rfc3339 ~frac_s:frac_s_nano ()

  let to_rfc3339 = RFC3339.of_time

  let to_rfc3339_milli = to_rfc3339 ~frac_s:frac_s_milli

  let to_rfc3339_micro = to_rfc3339 ~frac_s:frac_s_micro

  let to_rfc3339_nano = to_rfc3339 ~frac_s:frac_s_nano

  let of_iso8601 = ISO8601.to_time

  let of_iso8601_exn s = of_iso8601_exn' of_iso8601 s

  let to_sexp = To_sexp.sexp_of_time

  let to_sexp_string x = CCSexp.to_string (To_sexp.sexp_of_time x)

  let of_sexp = Of_sexp_utils.wrap_of_sexp Of_sexp.time_of_sexp

  let of_sexp_string =
    Of_sexp_utils.wrap_of_sexp_into_of_sexp_string Of_sexp.time_of_sexp

  let pp_sexp = Printers.wrap_to_sexp_into_pp_sexp To_sexp.sexp_of_time
end

exception Invalid_format_string = Printers.Invalid_format_string

module Span = struct
  include Span

  module For_human = struct
    include For_human'

    let to_string = Printers.string_of_span_for_human

    let pp = Printers.pp_span_for_human
  end

  let to_string = Printers.string_of_span

  let pp = Printers.pp_span

  let to_sexp = To_sexp.sexp_of_span

  let to_sexp_string x = CCSexp.to_string (To_sexp.sexp_of_span x)

  let of_sexp = Of_sexp_utils.wrap_of_sexp Of_sexp.span_of_sexp

  let of_sexp_string =
    Of_sexp_utils.wrap_of_sexp_into_of_sexp_string Of_sexp.span_of_sexp

  let pp_sexp = Printers.wrap_to_sexp_into_pp_sexp To_sexp.sexp_of_span
end

module Timestamp = struct
  include Span

  let min_val = timestamp_min

  let max_val = timestamp_max

  let now = timestamp_now

  let pp = Printers.pp_timestamp

  let to_string = Printers.string_of_timestamp

  let pp_rfc3339 = RFC3339.pp_timestamp

  let pp_rfc3339_milli = pp_rfc3339 ~frac_s:frac_s_milli ()

  let pp_rfc3339_micro = pp_rfc3339 ~frac_s:frac_s_micro ()

  let pp_rfc3339_nano = pp_rfc3339 ~frac_s:frac_s_nano ()

  let to_rfc3339 = RFC3339.of_timestamp

  let to_rfc3339_milli = to_rfc3339 ~frac_s:frac_s_milli

  let to_rfc3339_micro = to_rfc3339 ~frac_s:frac_s_micro

  let to_rfc3339_nano = to_rfc3339 ~frac_s:frac_s_nano

  let of_iso8601 = ISO8601.to_timestamp

  let of_iso8601_exn = of_iso8601_exn' ISO8601.to_timestamp

  let of_sexp = Of_sexp_utils.wrap_of_sexp Of_sexp.span_of_sexp

  let to_sexp = To_sexp.sexp_of_span
end

let to_string = Printers.string_of_date_time

exception
  Date_time_cannot_deduce_offset_from_utc = Printers
                                            .Date_time_cannot_deduce_offset_from_utc

let pp = Printers.pp_date_time

let pp_rfc3339 = RFC3339.pp_date_time

let pp_rfc3339_milli = pp_rfc3339 ~frac_s:frac_s_milli ()

let pp_rfc3339_micro = pp_rfc3339 ~frac_s:frac_s_micro ()

let pp_rfc3339_nano = pp_rfc3339 ~frac_s:frac_s_nano ()

let to_rfc3339 = RFC3339.of_date_time

let to_rfc3339_milli = to_rfc3339 ~frac_s:frac_s_milli

let to_rfc3339_micro = to_rfc3339 ~frac_s:frac_s_micro

let to_rfc3339_nano = to_rfc3339 ~frac_s:frac_s_nano

let of_iso8601 = ISO8601.to_date_time

let of_iso8601_exn = of_iso8601_exn' of_iso8601

let to_sexp = To_sexp.sexp_of_date_time

let to_sexp_string x = CCSexp.to_string (To_sexp.sexp_of_date_time x)

let of_sexp = Of_sexp_utils.wrap_of_sexp Of_sexp.date_time_of_sexp

let of_sexp_string =
  Of_sexp_utils.wrap_of_sexp_into_of_sexp_string Of_sexp.date_time_of_sexp

let pp_sexp = Printers.wrap_to_sexp_into_pp_sexp To_sexp.sexp_of_date_time

let min_of_local_result = min_of_local_result

let max_of_local_result = max_of_local_result

include Ymd_date_time

module Interval = struct
  type t = timestamp * timestamp

  let lt (x1, y1) (x2, y2) =
    (* lexicographic order *)
    Span.(x1 < x2 || (x1 = x2 && y1 < y2))

  let le x y = lt x y || x = y

  let gt x y = lt y x

  let ge x y = le y x

  let equal (x1, y1) (x2, y2) = Span.(x1 = x2 && y1 = y2)

  let compare x y = if lt x y then -1 else if x = y then 0 else 1

  let pp = Printers.pp_interval

  let to_string = Printers.string_of_interval

  let pp_seq = Printers.pp_intervals
end

module Zoneless = struct
  include Zoneless'

  let of_iso8601 = ISO8601.to_zoneless

  let of_iso8601_exn = of_iso8601_exn' ISO8601.to_zoneless

  let maybe_zoneless_of_iso8601 = ISO8601.to_maybe_zoneless

  let maybe_zoneless_of_iso8601_exn = of_iso8601_exn' ISO8601.to_maybe_zoneless

  let to_sexp = To_sexp.sexp_of_zoneless

  let of_sexp = Of_sexp_utils.wrap_of_sexp Of_sexp.zoneless_of_sexp
end

module Time_zone_info = struct
  include Time_zone_info

  let of_sexp = Of_sexp_utils.wrap_of_sexp Of_sexp.tz_info_of_sexp

  let to_sexp = To_sexp.sexp_of_tz_info
end

module Utils = struct
  let ptime_span_of_span = Ptime_utils.ptime_span_of_span

  let ptime_of_timestamp = Ptime_utils.ptime_of_timestamp

  let span_of_ptime_span = Ptime_utils.span_of_ptime_span

  let timestamp_of_ptime = Ptime_utils.timestamp_of_ptime

  let day_count_of_year = day_count_of_year

  let day_count_of_month = day_count_of_month

  let week_count_of_iso_week_year = week_count_of_iso_week_year

  type month =
    [ `Jan
    | `Feb
    | `Mar
    | `Apr
    | `May
    | `Jun
    | `Jul
    | `Aug
    | `Sep
    | `Oct
    | `Nov
    | `Dec
    ]

  let human_int_of_month (x : month) =
    match x with
    | `Jan -> 1
    | `Feb -> 2
    | `Mar -> 3
    | `Apr -> 4
    | `May -> 5
    | `Jun -> 6
    | `Jul -> 7
    | `Aug -> 8
    | `Sep -> 9
    | `Oct -> 10
    | `Nov -> 11
    | `Dec -> 12

  let index_of_month (x : month) = pred (human_int_of_month x)

  let month_of_human_int (x : int) : month option =
    match x with
    | 1 -> Some `Jan
    | 2 -> Some `Feb
    | 3 -> Some `Mar
    | 4 -> Some `Apr
    | 5 -> Some `May
    | 6 -> Some `Jun
    | 7 -> Some `Jul
    | 8 -> Some `Aug
    | 9 -> Some `Sep
    | 10 -> Some `Oct
    | 11 -> Some `Nov
    | 12 -> Some `Dec
    | _ -> None

  let month_of_index (x : int) : month option = month_of_human_int (succ x)

  let weekday_of_tm_int = weekday_of_tm_int

  let tm_int_of_weekday = tm_int_of_weekday

  let weekday_of_iso_int = weekday_of_iso_int

  let iso_int_of_weekday = iso_int_of_weekday

  let get_local_tz_for_arg = Time_zone_utils.get_local_tz_for_arg

  let abbr_string_of_weekday = abbr_string_of_weekday

  let is_leap_year = is_leap_year

  let jd_of_ymd = jd_of_ymd

  let jd_of_date (x : Date.t) = x.jd

  let jd_of_unix_epoch = jd_of_unix_epoch

  let jd_span_of_unix_epoch = jd_span_of_unix_epoch
end