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