++yall
Time since beginning of time
Produce the date tuple of [[email protected] [email protected] [email protected]]
of the year, month, and day from a number of days from the beginning of the Gregorian calendar.
day
is a an unsigned decimal.
A cell of unsigned decimals.
++ yall |= [email protected] ^- [[email protected] [email protected] [email protected]] =+ [era=0 cet=0 lep=*?] => .(era (div day era:yo), day (mod day era:yo)) => ^+ . ?: (lth day +(cet:yo)) .(lep &, cet 0) => .(lep |, cet 1, day (sub day +(cet:yo))) .(cet (add cet (div day cet:yo)), day (mod day cet:yo)) =+ yer=(add (mul 400 era) (mul 100 cet)) |- ^- [[email protected] [email protected] [email protected]] =+ dis=?:(lep 366 365) ?. (lth day dis) =+ ner=+(yer) $(yer ner, day (sub day dis), lep =(0 (end 0 2 ner))) |- ^- [[email protected] [email protected] [email protected]] =+ [mot=0 cah=?:(lep moy:yo moh:yo)] |- ^- [[email protected] [email protected] [email protected]] =+ zis=(snag mot cah) ?: (lth day zis) [yer +(mot) +(day)] $(mot +(mot), day (sub day zis))
> (yall 198) [y=0 m=7 d=17] > (yall 90.398) [y=247 m=7 d=3] > (yall 0) [y=0 m=1 d=1]
++yawn
Days since beginning of time
Inverse of yall
, computes number of days A.D. from y/m/d date as the tuple [[email protected] [email protected] [email protected]]
.
yer
is an unsigned decimal.
mon
is an unsigned decimal.
day
is an unsigned decimal.
An unsigned decimal.
++ yawn |= [[email protected] [email protected] [email protected]] ^- @ud => .(mot (dec mot), day (dec day)) => ^+ . %= . day =+ cah=?:((yelp yer) moy:yo moh:yo) |- ^- @ud ?: =(0 mot) day $(mot (dec mot), cah (slag 1 cah), day (add day (snag 0 cah))) == |- ^- @ud ?. =(0 (mod yer 4)) =+ ney=(dec yer) $(yer ney, day (add day ?:((yelp ney) 366 365))) ?. =(0 (mod yer 100)) =+ nef=(sub yer 4) $(yer nef, day (add day ?:((yelp nef) 1.461 1.460))) ?. =(0 (mod yer 400)) =+ nec=(sub yer 100) $(yer nec, day (add day ?:((yelp nec) 36.525 36.524))) (add day (mul (div yer 400) (add 1 (mul 4 36.524))))
> (yawn 2.018 7 4) 737.244 > (yawn 1.776 7 4) 648.856 > (yawn 1.990 10 11) 727.116
++year
Date to @d
Accept a parsed date of form [[a=? [email protected]] [email protected] t=tarp]
and produce its @d
representation.
det
is a date
A @d
.
++ year |= det=date ^- @da =+ ^= yer ?: a.det (add 292.277.024.400 y.det) (sub 292.277.024.400 (dec y.det)) =+ day=(yawn yer m.det d.t.det) (yule day h.t.det m.t.det s.t.det f.t.det)
> (year [[a=%.y y=2.014] m=8 t=[d=4 h=20 m=4 s=57 f=~[0xd940]]]) 0x8000000d227df4e9d940000000000000
++yell
Tarp from atomic date
Produce a parsed daily time format from, @d
, an atomic date.
now
is a @d
.
A tarp
.
++ yell |= [email protected] ^- tarp =+ sec=(rsh 6 1 now) =+ ^= fan =+ [muc=4 raw=(end 6 1 now)] |- ^- (list @ux) ?: |(=(0 raw) =(0 muc)) ~ => .(muc (dec muc)) [(cut 4 [muc 1] raw) $(raw (end 4 muc raw))] =+ day=(div sec day:yo) => .(sec (mod sec day:yo)) =+ hor=(div sec hor:yo) => .(sec (mod sec hor:yo)) =+ mit=(div sec mit:yo) => .(sec (mod sec mit:yo)) [day hor mit sec fan]
> (yell ~2014.3.20..05.42.53..7456) [d=106.751.991.820.094 h=5 m=42 s=53 f=~[0x7456]] > (yell ~2014.6.9..19.09.40..8b66) [d=106.751.991.820.175 h=19 m=9 s=40 f=~[0x8b66]] > (yell ~1776.7.4) [d=106.751.991.733.273 h=0 m=0 s=0 f=~]
++yelp
Leap-week?
Determines whether a year contains an ISO 8601 leap-week. Produces a flag.
yer
is an unsigned decimal.
A flag.
++ yelp |= [email protected] ^- ? &(=(0 (mod yer 4)) |(!=(0 (mod yer 100)) =(0 (mod yer 400))))
> (yelp 2.014) %.n > (yelp 2.008) %.y > (yelp 0) %.y > (yelp 14.011) %.n
++yore
Date from atomic date
Produces a date
from a @d
.
now
is a time atom, @d
.
A date
.
++ yore |= [email protected] ^- date =+ rip=(yell now) =+ ger=(yall d.rip) :- ?: (gth y.ger 292.277.024.400) [a=& y=(sub y.ger 292.277.024.400)] [a=| y=+((sub 292.277.024.400 y.ger))] [m.ger d.ger h.rip m.rip s.rip f.rip]
> (yore ~2014.6.6..21.09.15..0a16) [[a=%.y y=2.014] m=6 t=[d=6 h=21 m=9 s=15 f=~[0xa16]]]
++yule
Daily time to time atom
Accepts a tarp
, a parsed daily time, and produces a time atom, @d
.
rip
is a tarp
.
A time atom, @d
.
++ yule :: time atom |= rip=tarp ^- @d =+ ^= sec ;: add (mul d.rip day:yo) (mul h.rip hor:yo) (mul m.rip mit:yo) s.rip == =+ ^= fac =+ muc=4 |- ^- @ ?~ f.rip 0 => .(muc (dec muc)) (add (lsh 4 muc i.f.rip) $(f.rip t.f.rip)) (con (lsh 6 1 sec) fac) ::
> =murica (yell ~1776.7.4) > murica [d=106.751.991.733.273 h=0 m=0 s=0 f=~] > (yule murica) 0x8000000b62aaf5800000000000000000 > `@da`(yule murica) ~1776.7.4 > `@da`(yule (yell ~2014.3.20..05.42.53..7456)) ~2014.3.20..05.42.53..7456 > `tarp`[31 12 30 0 ~] [d=31 h=12 m=30 s=0 f=~] > `@dr`(yule `tarp`[31 12 30 0 ~]) ~d31.h12.m30
++yo
Time constants core
Core whose arms contain constants for interacting with earth time.
++ yo
++cet:yo
Days in a century
Derived by multiplying the number of days in a year (365) by the number of years in a century (100), then adding the number days from leap-years in a century (24).
An atom.
|% ++ cet 36.524
> cet:yo 36.524 > (add 365 cet:yo) 36.889 > (sub (add 24 (mul 100 365)) cet:yo) 0
++day:yo
Seconds in day
The number of seconds in a day.
An atom.
++ day 86.400
> day:yo 86.400 > (add 60 day:yo) 86.460
++era:yo
Leap-year period
The number of days in a 400-year period, arrived at by multiplying cet
by four and adding one. This is done because every 400 years, there is a leap-year where there would otherwise not be.
An atom.
++ era 146.097
> era:yo 146.097 > (sub era:yo (mul 4 cet:yo)) 1
A year is a leap-year if:
it's divisible by 4;
unless it's divisible by 100;
or if it's divisible by 400.
++hor:yo
Seconds in hour
The number of seconds in an hour. Derived by multiplying the number of seconds in a minute by the minutes in an hour.
An atom.
++ hor 3.600
> hor:yo 3.600 > (div hor:yo 60) 60
++jes:yo
Maximum 64-bit timestamp
This is the number of days (starting from 1970) that can be represented in a 64-bit timestamp. Derived by multiplying era:yo
by 730,692,561.
An atom.
++ jes 106.751.991.084.417
> jes:yo 106.751.991.084.417
The date is December 4, 292,277,026,596.
++mit:yo
Seconds in minute
The number of seconds in a minute.
An atom.
++ mit 60
> mit:yo 60
++moh:yo
Days in month
The days in each month of the Gregorian common year. A list of unsigned decimal atoms (Either 28, 30, or 31) denoting the number of days in the month at the year at that index.
A list
of @ud
++ moh `(list @ud)`[31 28 31 30 31 30 31 31 30 31 30 31 ~]
> moh:yo ~[31 28 31 30 31 30 31 31 30 31 30 31] > (snag 4 moh:yo) 31
++moy:yo
Days in months of leap-year
The days in each month of the Gregorian leap-year. A list of unsigned decimal atoms (Either 29, 30, or 31) denoting the number of days in the month at the leap-year at that index.
A list
of @ud
.
++ moy `(list @ud)`[31 29 31 30 31 30 31 31 30 31 30 31 ~]
> moy:yo ~[31 29 31 30 31 30 31 31 30 31 30 31] > (snag 1 moy:yo) 29
++qad:yo
Seconds in 4 years
The number of seconds in four years. Derived by adding one second to the number of seconds in four years.
An atom.
++ qad 126.144.001
> qad:yo 126.144.001
++yer:yo
Seconds in year
The number of seconds in a year. Derived by multiplying the number of seconds in a day by 365.
An atom.
++ yer 31.536.000
> yer:yo 31.536.000