git.iko.soy/urbit.org
on 6d45ede help sign in
urbit.org/docs/hoon/library/zuse/gate/lead.md
53 lines 1.0 kB history raw
1---
2navhome: /docs
3---
6### `++lead`
8Subtract leap seconds
10Produces an absolute date ([`@ud`]()) with the 25 leap seconds
11subtracted.
13Accepts
14-------
16`ley` is a [`++date`]().
18Produces
19--------
21An atom of [odor]() [`@da`](), which represents an absolute date.
23Source
24------
26 ++ lead :: from leap sec time
27 |= ley=date
28 =+ ler=(year ley)
29 =+ n=0
30 |- ^- @da
31 =+ led=(sub ler (mul n ~s1))
32 ?: (gte ler (add (snag n les:yu) ~s1))
33 led
34 ?: &((gte ler (snag n les:yu)) (lth ler (add (snag n les:yu) ~s1)))
35 ?: =(s.t.ley 60)
36 (sub led ~s1)
37 led
38 ?: =(+(n) (lent les:yu))
39 (sub led ~s1)
40 $(n +(n))
41 ::
43Examples
44--------
46 ~zod/try=> (yore `@da`(bex 127))
47 [[a=%.y y=226] m=12 t=[d=5 h=15 m=30 s=8 f=~]]
48 ~zod/try=> (lead (yore `@da`(bex 127)))
49 ~226.12.5..15.29.43
50 ~zod/try=> (lead (yore `@da`(bex 126)))
51 ~146138512088-.6.19..07.44.39