]> gitweb.factorcode.org Git - factor.git/blob - extra/calendar/holidays/us/us.factor
calendar.holidays.us: cleanup using.
[factor.git] / extra / calendar / holidays / us / us.factor
1 ! Copyright (C) 2009 Doug Coleman.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors calendar calendar.holidays
4 calendar.holidays.private calendar.private combinators
5 combinators.short-circuit kernel math sequences ;
6 IN: calendar.holidays.us
7
8 SINGLETONS: us us-federal ;
9
10 <PRIVATE
11
12 : adjust-federal-holiday ( timestamp -- timestamp )
13     {
14         { [ dup saturday? ] [ -1 days (time+) ] }
15         { [ dup sunday? ] [ 1 days (time+) ] }
16         [ ]
17     } cond ;
18
19 PRIVATE>
20
21 M: us-federal holidays
22     (holidays) [
23         [ clone ] dip execute( timestamp -- timestamp ) adjust-federal-holiday
24     ] with map ;
25
26 : us-post-office-open? ( timestamp -- ? )
27     { [ sunday? not ] [ us-federal holiday? not ] } 1&& ;
28
29 HOLIDAY: new-years-day january 1 >>day ;
30 HOLIDAY-NAME: new-years-day world "New Year's Day"
31 HOLIDAY-NAME: new-years-day us-federal "New Year's Day"
32
33 HOLIDAY: martin-luther-king-day january 2 monday-of-month ;
34 HOLIDAY-NAME: martin-luther-king-day us-federal "Martin Luther King Day"
35
36 HOLIDAY: inauguration-day january 20 >>day [ dup 4 neg rem + ] change-year ;
37 HOLIDAY-NAME: inauguration-day us "Inauguration Day"
38
39 HOLIDAY: washingtons-birthday february 2 monday-of-month ;
40 HOLIDAY-NAME: washingtons-birthday us-federal "Washington's Birthday"
41
42 HOLIDAY: memorial-day may last-monday-of-month ;
43 HOLIDAY-NAME: memorial-day us-federal "Memorial Day"
44
45 HOLIDAY: independence-day july 4 >>day ;
46 HOLIDAY-NAME: independence-day us-federal "Independence Day"
47
48 HOLIDAY: labor-day september 0 monday-of-month ;
49 HOLIDAY-NAME: labor-day us-federal "Labor Day"
50
51 HOLIDAY: columbus-day october 1 monday-of-month ;
52 HOLIDAY-NAME: columbus-day us-federal "Columbus Day"
53
54 HOLIDAY-NAME: armistice-day us-federal "Veterans Day"
55
56 HOLIDAY: thanksgiving-day november 3 thursday-of-month ;
57 HOLIDAY-NAME: thanksgiving-day us-federal "Thanksgiving Day"
58
59 HOLIDAY: christmas-day december 25 >>day ;
60 HOLIDAY-NAME: christmas-day world "Christmas Day"
61 HOLIDAY-NAME: christmas-day us-federal "Christmas Day"
62
63 HOLIDAY: belly-laugh-day january 24 >>day ;
64
65 HOLIDAY: groundhog-day february 2 >>day ;
66
67 HOLIDAY: lincolns-birthday february 12 >>day ;
68
69 HOLIDAY: valentines-day february 14 >>day ;
70
71 HOLIDAY: st-patricks-day march 17 >>day ;
72
73 HOLIDAY: ash-wednesday easter 46 days time- ;
74
75 ALIAS: first-day-of-lent ash-wednesday
76
77 HOLIDAY: fat-tuesday ash-wednesday 1 days time- ;
78
79 HOLIDAY: good-friday easter 2 days time- ;
80
81 HOLIDAY: tax-day april 15 >>day ;
82
83 HOLIDAY: earth-day april 22 >>day ;
84
85 HOLIDAY: administrative-professionals-day april last-saturday-of-month wednesday ;
86
87 HOLIDAY: cinco-de-mayo may 5 >>day ;
88
89 HOLIDAY: mothers-day may 1 sunday-of-month ;
90
91 HOLIDAY: armed-forces-day may 2 saturday-of-month ;
92
93 HOLIDAY: national-donut-day june 0 friday-of-month ;
94
95 HOLIDAY: flag-day june 14 >>day ;
96
97 HOLIDAY: parents-day july 3 sunday-of-month ;
98
99 HOLIDAY: grandparents-day labor-day 1 weeks time+ ;
100
101 HOLIDAY: patriot-day september 11 >>day ;
102
103 HOLIDAY: stepfamily-day september 16 >>day ;
104
105 HOLIDAY: citizenship-day september 17 >>day ;
106
107 HOLIDAY: bosss-day october 16 >>day ;
108
109 HOLIDAY: sweetest-day october 2 saturday-of-month ;
110
111 HOLIDAY: halloween october 31 >>day ;
112
113 HOLIDAY: election-day november 0 monday-of-month 1 days time+ ;
114
115 HOLIDAY: black-friday thanksgiving-day 1 days time+ ;
116
117 HOLIDAY: pearl-harbor-remembrance-day december 7 >>day ;
118
119 HOLIDAY: new-years-eve december 31 >>day ;