/
X11.purs
442 lines (295 loc) · 6.84 KB
/
X11.purs
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
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
-- | X11 colors as specified by the CSS3 specification (except black and
-- | white).
-- | See: https://www.w3.org/TR/css3-color/#svg-color
module Color.Scheme.X11 where
import Color (Color, rgb)
aliceblue :: Color
aliceblue = rgb 240 248 255
antiquewhite :: Color
antiquewhite = rgb 250 235 215
aqua :: Color
aqua = rgb 0 255 255
aquamarine :: Color
aquamarine = rgb 127 255 212
azure :: Color
azure = rgb 240 255 255
beige :: Color
beige = rgb 245 245 220
bisque :: Color
bisque = rgb 255 228 196
blanchedalmond :: Color
blanchedalmond = rgb 255 235 205
blue :: Color
blue = rgb 0 0 255
blueviolet :: Color
blueviolet = rgb 138 43 226
brown :: Color
brown = rgb 165 42 42
burlywood :: Color
burlywood = rgb 222 184 135
cadetblue :: Color
cadetblue = rgb 95 158 160
chartreuse :: Color
chartreuse = rgb 127 255 0
chocolate :: Color
chocolate = rgb 210 105 30
coral :: Color
coral = rgb 255 127 80
cornflowerblue :: Color
cornflowerblue = rgb 100 149 237
cornsilk :: Color
cornsilk = rgb 255 248 220
crimson :: Color
crimson = rgb 220 20 60
cyan :: Color
cyan = rgb 0 255 255
darkblue :: Color
darkblue = rgb 0 0 139
darkcyan :: Color
darkcyan = rgb 0 139 139
darkgoldenrod :: Color
darkgoldenrod = rgb 184 134 11
darkgray :: Color
darkgray = rgb 169 169 169
darkgreen :: Color
darkgreen = rgb 0 100 0
darkgrey :: Color
darkgrey = rgb 169 169 169
darkkhaki :: Color
darkkhaki = rgb 189 183 107
darkmagenta :: Color
darkmagenta = rgb 139 0 139
darkolivegreen :: Color
darkolivegreen = rgb 85 107 47
darkorange :: Color
darkorange = rgb 255 140 0
darkorchid :: Color
darkorchid = rgb 153 50 204
darkred :: Color
darkred = rgb 139 0 0
darksalmon :: Color
darksalmon = rgb 233 150 122
darkseagreen :: Color
darkseagreen = rgb 143 188 143
darkslateblue :: Color
darkslateblue = rgb 72 61 139
darkslategray :: Color
darkslategray = rgb 47 79 79
darkslategrey :: Color
darkslategrey = rgb 47 79 79
darkturquoise :: Color
darkturquoise = rgb 0 206 209
darkviolet :: Color
darkviolet = rgb 148 0 211
deeppink :: Color
deeppink = rgb 255 20 147
deepskyblue :: Color
deepskyblue = rgb 0 191 255
dimgray :: Color
dimgray = rgb 105 105 105
dimgrey :: Color
dimgrey = rgb 105 105 105
dodgerblue :: Color
dodgerblue = rgb 30 144 255
firebrick :: Color
firebrick = rgb 178 34 34
floralwhite :: Color
floralwhite = rgb 255 250 240
forestgreen :: Color
forestgreen = rgb 34 139 34
fuchsia :: Color
fuchsia = rgb 255 0 255
gainsboro :: Color
gainsboro = rgb 220 220 220
ghostwhite :: Color
ghostwhite = rgb 248 248 255
gold :: Color
gold = rgb 255 215 0
goldenrod :: Color
goldenrod = rgb 218 165 32
gray :: Color
gray = rgb 128 128 128
green :: Color
green = rgb 0 128 0
greenyellow :: Color
greenyellow = rgb 173 255 47
grey :: Color
grey = rgb 128 128 128
honeydew :: Color
honeydew = rgb 240 255 240
hotpink :: Color
hotpink = rgb 255 105 180
indianred :: Color
indianred = rgb 205 92 92
indigo :: Color
indigo = rgb 75 0 130
ivory :: Color
ivory = rgb 255 255 240
khaki :: Color
khaki = rgb 240 230 140
lavender :: Color
lavender = rgb 230 230 250
lavenderblush :: Color
lavenderblush = rgb 255 240 245
lawngreen :: Color
lawngreen = rgb 124 252 0
lemonchiffon :: Color
lemonchiffon = rgb 255 250 205
lightblue :: Color
lightblue = rgb 173 216 230
lightcoral :: Color
lightcoral = rgb 240 128 128
lightcyan :: Color
lightcyan = rgb 224 255 255
lightgoldenrodyellow :: Color
lightgoldenrodyellow = rgb 250 250 210
lightgray :: Color
lightgray = rgb 211 211 211
lightgreen :: Color
lightgreen = rgb 144 238 144
lightgrey :: Color
lightgrey = rgb 211 211 211
lightpink :: Color
lightpink = rgb 255 182 193
lightsalmon :: Color
lightsalmon = rgb 255 160 122
lightseagreen :: Color
lightseagreen = rgb 32 178 170
lightskyblue :: Color
lightskyblue = rgb 135 206 250
lightslategray :: Color
lightslategray = rgb 119 136 153
lightslategrey :: Color
lightslategrey = rgb 119 136 153
lightsteelblue :: Color
lightsteelblue = rgb 176 196 222
lightyellow :: Color
lightyellow = rgb 255 255 224
lime :: Color
lime = rgb 0 255 0
limegreen :: Color
limegreen = rgb 50 205 50
linen :: Color
linen = rgb 250 240 230
magenta :: Color
magenta = rgb 255 0 255
maroon :: Color
maroon = rgb 128 0 0
mediumaquamarine :: Color
mediumaquamarine = rgb 102 205 170
mediumblue :: Color
mediumblue = rgb 0 0 205
mediumorchid :: Color
mediumorchid = rgb 186 85 211
mediumpurple :: Color
mediumpurple = rgb 147 112 219
mediumseagreen :: Color
mediumseagreen = rgb 60 179 113
mediumslateblue :: Color
mediumslateblue = rgb 123 104 238
mediumspringgreen :: Color
mediumspringgreen = rgb 0 250 154
mediumturquoise :: Color
mediumturquoise = rgb 72 209 204
mediumvioletred :: Color
mediumvioletred = rgb 199 21 133
midnightblue :: Color
midnightblue = rgb 25 25 112
mintcream :: Color
mintcream = rgb 245 255 250
mistyrose :: Color
mistyrose = rgb 255 228 225
moccasin :: Color
moccasin = rgb 255 228 181
navajowhite :: Color
navajowhite = rgb 255 222 173
navy :: Color
navy = rgb 0 0 128
oldlace :: Color
oldlace = rgb 253 245 230
olive :: Color
olive = rgb 128 128 0
olivedrab :: Color
olivedrab = rgb 107 142 35
orange :: Color
orange = rgb 255 165 0
orangered :: Color
orangered = rgb 255 69 0
orchid :: Color
orchid = rgb 218 112 214
palegoldenrod :: Color
palegoldenrod = rgb 238 232 170
palegreen :: Color
palegreen = rgb 152 251 152
paleturquoise :: Color
paleturquoise = rgb 175 238 238
palevioletred :: Color
palevioletred = rgb 219 112 147
papayawhip :: Color
papayawhip = rgb 255 239 213
peachpuff :: Color
peachpuff = rgb 255 218 185
peru :: Color
peru = rgb 205 133 63
pink :: Color
pink = rgb 255 192 203
plum :: Color
plum = rgb 221 160 221
powderblue :: Color
powderblue = rgb 176 224 230
purple :: Color
purple = rgb 128 0 128
red :: Color
red = rgb 255 0 0
rosybrown :: Color
rosybrown = rgb 188 143 143
royalblue :: Color
royalblue = rgb 65 105 225
saddlebrown :: Color
saddlebrown = rgb 139 69 19
salmon :: Color
salmon = rgb 250 128 114
sandybrown :: Color
sandybrown = rgb 244 164 96
seagreen :: Color
seagreen = rgb 46 139 87
seashell :: Color
seashell = rgb 255 245 238
sienna :: Color
sienna = rgb 160 82 45
silver :: Color
silver = rgb 192 192 192
skyblue :: Color
skyblue = rgb 135 206 235
slateblue :: Color
slateblue = rgb 106 90 205
slategray :: Color
slategray = rgb 112 128 144
slategrey :: Color
slategrey = rgb 112 128 144
snow :: Color
snow = rgb 255 250 250
springgreen :: Color
springgreen = rgb 0 255 127
steelblue :: Color
steelblue = rgb 70 130 180
tan :: Color
tan = rgb 210 180 140
teal :: Color
teal = rgb 0 128 128
thistle :: Color
thistle = rgb 216 191 216
tomato :: Color
tomato = rgb 255 99 71
turquoise :: Color
turquoise = rgb 64 224 208
violet :: Color
violet = rgb 238 130 238
wheat :: Color
wheat = rgb 245 222 179
whitesmoke :: Color
whitesmoke = rgb 245 245 245
yellow :: Color
yellow = rgb 255 255 0
yellowgreen :: Color
yellowgreen = rgb 154 205 50