0 | module Text.CSS.Color
4 | import Text.CSS.Percentage
13 | data Color : Type where
14 | RGBA : (red,green,blue : Bits8) -> (transparency : Percentage) -> Color
15 | HSLA : (hue : Double) -> (sat,light,transparency : Percentage) -> Color
17 | public export %inline
18 | rgb : (red,green,blue : Bits8) -> Color
19 | rgb r g b = RGBA r g b 100
21 | public export %inline
22 | hsl : (hue : Double) -> (sat,light : Percentage) -> Color
23 | hsl h s l = HSLA h s l 100
27 | transparent = RGBA 0 0 0 0
30 | Interpolation Color where
31 | interpolate (RGBA r g b a) = "rgba(\{show r},\{show g},\{show b},\{a})"
32 | interpolate (HSLA h s l a) = "hsla(\{show h},\{s},\{l},\{a})"
35 | Show Color where show = interpolate
43 | aliceblue = rgb 240 248 255
46 | antiquewhite : Color
47 | antiquewhite = rgb 250 235 215
51 | aqua = rgb 0 255 255
55 | aquamarine = rgb 127 255 212
59 | azure = rgb 240 255 255
63 | beige = rgb 245 245 220
67 | bisque = rgb 255 228 196
70 | blanchedalmond : Color
71 | blanchedalmond = rgb 255 235 205
83 | blueviolet = rgb 138 43 226
87 | brown = rgb 165 42 42
91 | burlywood = rgb 222 184 135
95 | cadetblue = rgb 95 158 160
99 | chartreuse = rgb 127 255 0
103 | chocolate = rgb 210 105 30
107 | coral = rgb 255 127 80
110 | cornflowerblue : Color
111 | cornflowerblue = rgb 100 149 237
115 | cornsilk = rgb 255 248 220
119 | crimson = rgb 220 20 60
123 | cyan = rgb 0 255 255
127 | darkblue = rgb 0 0 139
131 | darkcyan = rgb 0 139 139
134 | darkgoldenrod : Color
135 | darkgoldenrod = rgb 184 134 11
139 | darkgray = rgb 169 169 169
143 | darkgreen = rgb 0 100 0
147 | darkgrey = rgb 169 169 169
151 | darkkhaki = rgb 189 183 107
154 | darkmagenta : Color
155 | darkmagenta = rgb 139 0 139
158 | darkolivegreen : Color
159 | darkolivegreen = rgb 85 107 47
163 | darkorange = rgb 255 140 0
167 | darkorchid = rgb 153 50 204
171 | darkred = rgb 139 0 0
175 | darksalmon = rgb 233 150 122
178 | darkseagreen : Color
179 | darkseagreen = rgb 143 188 143
182 | darkslateblue : Color
183 | darkslateblue = rgb 72 61 139
186 | darkslategray : Color
187 | darkslategray = rgb 47 79 79
190 | darkslategrey : Color
191 | darkslategrey = rgb 47 79 79
194 | darkturquoise : Color
195 | darkturquoise = rgb 0 206 209
199 | darkviolet = rgb 148 0 211
203 | deeppink = rgb 255 20 147
206 | deepskyblue : Color
207 | deepskyblue = rgb 0 191 255
211 | dimgray = rgb 105 105 105
215 | dimgrey = rgb 105 105 105
219 | dodgerblue = rgb 30 144 255
223 | firebrick = rgb 178 34 34
226 | floralwhite : Color
227 | floralwhite = rgb 255 250 240
230 | forestgreen : Color
231 | forestgreen = rgb 34 139 34
235 | fuchsia = rgb 255 0 255
239 | gainsboro = rgb 220 220 220
243 | ghostwhite = rgb 248 248 255
247 | gold = rgb 255 215 0
251 | goldenrod = rgb 218 165 32
255 | gray = rgb 128 128 128
259 | green = rgb 0 128 0
262 | greenyellow : Color
263 | greenyellow = rgb 173 255 47
267 | grey = rgb 128 128 128
271 | honeydew = rgb 240 255 240
275 | hotpink = rgb 255 105 180
279 | indianred = rgb 205 92 92
283 | indigo = rgb 75 0 130
287 | ivory = rgb 255 255 240
291 | khaki = rgb 240 230 140
295 | lavender = rgb 230 230 250
298 | lavenderblush : Color
299 | lavenderblush = rgb 255 240 245
303 | lawngreen = rgb 124 252 0
306 | lemonchiffon : Color
307 | lemonchiffon = rgb 255 250 205
311 | lightblue = rgb 173 216 230
315 | lightcoral = rgb 240 128 128
319 | lightcyan = rgb 224 255 255
322 | lightgoldenrodyellow : Color
323 | lightgoldenrodyellow = rgb 250 250 210
327 | lightgray = rgb 211 211 211
331 | lightgreen = rgb 144 238 144
335 | lightgrey = rgb 211 211 211
339 | lightpink = rgb 255 182 193
342 | lightsalmon : Color
343 | lightsalmon = rgb 255 160 122
346 | lightseagreen : Color
347 | lightseagreen = rgb 32 178 170
350 | lightskyblue : Color
351 | lightskyblue = rgb 135 206 250
354 | lightslategray : Color
355 | lightslategray = rgb 119 136 153
358 | lightslategrey : Color
359 | lightslategrey = rgb 119 136 153
362 | lightsteelblue : Color
363 | lightsteelblue = rgb 176 196 222
366 | lightyellow : Color
367 | lightyellow = rgb 255 255 224
375 | limegreen = rgb 50 205 50
379 | linen = rgb 250 240 230
383 | magenta = rgb 255 0 255
387 | maroon = rgb 128 0 0
390 | mediumaquamarine : Color
391 | mediumaquamarine = rgb 102 205 170
395 | mediumblue = rgb 0 0 205
398 | mediumorchid : Color
399 | mediumorchid = rgb 186 85 211
402 | mediumpurple : Color
403 | mediumpurple = rgb 147 112 219
406 | mediumseagreen : Color
407 | mediumseagreen = rgb 60 179 113
410 | mediumslateblue : Color
411 | mediumslateblue = rgb 123 104 238
414 | mediumspringgreen : Color
415 | mediumspringgreen = rgb 0 250 154
418 | mediumturquoise : Color
419 | mediumturquoise = rgb 72 209 204
422 | mediumvioletred : Color
423 | mediumvioletred = rgb 199 21 133
426 | midnightblue : Color
427 | midnightblue = rgb 25 25 112
431 | mintcream = rgb 245 255 250
435 | mistyrose = rgb 255 228 225
439 | moccasin = rgb 255 228 181
442 | navajowhite : Color
443 | navajowhite = rgb 255 222 173
451 | oldlace = rgb 253 245 230
455 | olive = rgb 128 128 0
459 | olivedrab = rgb 107 142 35
463 | orange = rgb 255 165 0
467 | orangered = rgb 255 69 0
471 | orchid = rgb 218 112 214
474 | palegoldenrod : Color
475 | palegoldenrod = rgb 238 232 170
479 | palegreen = rgb 152 251 152
482 | paleturquoise : Color
483 | paleturquoise = rgb 175 238 238
486 | palevioletred : Color
487 | palevioletred = rgb 219 112 147
491 | papayawhip = rgb 255 239 213
495 | peachpuff = rgb 255 218 185
499 | peru = rgb 205 133 63
503 | pink = rgb 255 192 203
507 | plum = rgb 221 160 221
511 | powderblue = rgb 176 224 230
515 | purple = rgb 128 0 128
523 | rosybrown = rgb 188 143 143
527 | royalblue = rgb 65 105 225
530 | saddlebrown : Color
531 | saddlebrown = rgb 139 69 19
535 | salmon = rgb 250 128 114
539 | sandybrown = rgb 244 164 96
543 | seagreen = rgb 46 139 87
547 | seashell = rgb 255 245 238
551 | sienna = rgb 160 82 45
555 | silver = rgb 192 192 192
559 | skyblue = rgb 135 206 235
563 | slateblue = rgb 106 90 205
567 | slategray = rgb 112 128 144
571 | slategrey = rgb 112 128 144
575 | snow = rgb 255 250 250
578 | springgreen : Color
579 | springgreen = rgb 0 255 127
583 | steelblue = rgb 70 130 180
587 | tan = rgb 210 180 140
591 | teal = rgb 0 128 128
595 | thistle = rgb 216 191 216
599 | tomato = rgb 255 99 71
603 | turquoise = rgb 64 224 208
607 | violet = rgb 238 130 238
611 | wheat = rgb 245 222 179
615 | white = rgb 255 255 255
619 | whitesmoke = rgb 245 245 245
623 | yellow = rgb 255 255 0
626 | yellowgreen : Color
627 | yellowgreen = rgb 154 205 50