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 | Interpolation Color where
32 | interpolate (RGBA r g b a) = "rgba(\{show r},\{show g},\{show b},\{a})"
33 | interpolate (HSLA h s l a) = "hsla(\{show h},\{s},\{l},\{a})"
34 | interpolate Current = "currentcolor"
37 | Show Color where show = interpolate
45 | aliceblue = rgb 240 248 255
48 | antiquewhite : Color
49 | antiquewhite = rgb 250 235 215
53 | aqua = rgb 0 255 255
57 | aquamarine = rgb 127 255 212
61 | azure = rgb 240 255 255
65 | beige = rgb 245 245 220
69 | bisque = rgb 255 228 196
72 | blanchedalmond : Color
73 | blanchedalmond = rgb 255 235 205
85 | blueviolet = rgb 138 43 226
89 | brown = rgb 165 42 42
93 | burlywood = rgb 222 184 135
97 | cadetblue = rgb 95 158 160
101 | chartreuse = rgb 127 255 0
105 | chocolate = rgb 210 105 30
109 | coral = rgb 255 127 80
112 | cornflowerblue : Color
113 | cornflowerblue = rgb 100 149 237
117 | cornsilk = rgb 255 248 220
121 | crimson = rgb 220 20 60
125 | cyan = rgb 0 255 255
129 | darkblue = rgb 0 0 139
133 | darkcyan = rgb 0 139 139
136 | darkgoldenrod : Color
137 | darkgoldenrod = rgb 184 134 11
141 | darkgray = rgb 169 169 169
145 | darkgreen = rgb 0 100 0
149 | darkgrey = rgb 169 169 169
153 | darkkhaki = rgb 189 183 107
156 | darkmagenta : Color
157 | darkmagenta = rgb 139 0 139
160 | darkolivegreen : Color
161 | darkolivegreen = rgb 85 107 47
165 | darkorange = rgb 255 140 0
169 | darkorchid = rgb 153 50 204
173 | darkred = rgb 139 0 0
177 | darksalmon = rgb 233 150 122
180 | darkseagreen : Color
181 | darkseagreen = rgb 143 188 143
184 | darkslateblue : Color
185 | darkslateblue = rgb 72 61 139
188 | darkslategray : Color
189 | darkslategray = rgb 47 79 79
192 | darkslategrey : Color
193 | darkslategrey = rgb 47 79 79
196 | darkturquoise : Color
197 | darkturquoise = rgb 0 206 209
201 | darkviolet = rgb 148 0 211
205 | deeppink = rgb 255 20 147
208 | deepskyblue : Color
209 | deepskyblue = rgb 0 191 255
213 | dimgray = rgb 105 105 105
217 | dimgrey = rgb 105 105 105
221 | dodgerblue = rgb 30 144 255
225 | firebrick = rgb 178 34 34
228 | floralwhite : Color
229 | floralwhite = rgb 255 250 240
232 | forestgreen : Color
233 | forestgreen = rgb 34 139 34
237 | fuchsia = rgb 255 0 255
241 | gainsboro = rgb 220 220 220
245 | ghostwhite = rgb 248 248 255
249 | gold = rgb 255 215 0
253 | goldenrod = rgb 218 165 32
257 | gray = rgb 128 128 128
261 | green = rgb 0 128 0
264 | greenyellow : Color
265 | greenyellow = rgb 173 255 47
269 | grey = rgb 128 128 128
273 | honeydew = rgb 240 255 240
277 | hotpink = rgb 255 105 180
281 | indianred = rgb 205 92 92
285 | indigo = rgb 75 0 130
289 | ivory = rgb 255 255 240
293 | khaki = rgb 240 230 140
297 | lavender = rgb 230 230 250
300 | lavenderblush : Color
301 | lavenderblush = rgb 255 240 245
305 | lawngreen = rgb 124 252 0
308 | lemonchiffon : Color
309 | lemonchiffon = rgb 255 250 205
313 | lightblue = rgb 173 216 230
317 | lightcoral = rgb 240 128 128
321 | lightcyan = rgb 224 255 255
324 | lightgoldenrodyellow : Color
325 | lightgoldenrodyellow = rgb 250 250 210
329 | lightgray = rgb 211 211 211
333 | lightgreen = rgb 144 238 144
337 | lightgrey = rgb 211 211 211
341 | lightpink = rgb 255 182 193
344 | lightsalmon : Color
345 | lightsalmon = rgb 255 160 122
348 | lightseagreen : Color
349 | lightseagreen = rgb 32 178 170
352 | lightskyblue : Color
353 | lightskyblue = rgb 135 206 250
356 | lightslategray : Color
357 | lightslategray = rgb 119 136 153
360 | lightslategrey : Color
361 | lightslategrey = rgb 119 136 153
364 | lightsteelblue : Color
365 | lightsteelblue = rgb 176 196 222
368 | lightyellow : Color
369 | lightyellow = rgb 255 255 224
377 | limegreen = rgb 50 205 50
381 | linen = rgb 250 240 230
385 | magenta = rgb 255 0 255
389 | maroon = rgb 128 0 0
392 | mediumaquamarine : Color
393 | mediumaquamarine = rgb 102 205 170
397 | mediumblue = rgb 0 0 205
400 | mediumorchid : Color
401 | mediumorchid = rgb 186 85 211
404 | mediumpurple : Color
405 | mediumpurple = rgb 147 112 219
408 | mediumseagreen : Color
409 | mediumseagreen = rgb 60 179 113
412 | mediumslateblue : Color
413 | mediumslateblue = rgb 123 104 238
416 | mediumspringgreen : Color
417 | mediumspringgreen = rgb 0 250 154
420 | mediumturquoise : Color
421 | mediumturquoise = rgb 72 209 204
424 | mediumvioletred : Color
425 | mediumvioletred = rgb 199 21 133
428 | midnightblue : Color
429 | midnightblue = rgb 25 25 112
433 | mintcream = rgb 245 255 250
437 | mistyrose = rgb 255 228 225
441 | moccasin = rgb 255 228 181
444 | navajowhite : Color
445 | navajowhite = rgb 255 222 173
453 | oldlace = rgb 253 245 230
457 | olive = rgb 128 128 0
461 | olivedrab = rgb 107 142 35
465 | orange = rgb 255 165 0
469 | orangered = rgb 255 69 0
473 | orchid = rgb 218 112 214
476 | palegoldenrod : Color
477 | palegoldenrod = rgb 238 232 170
481 | palegreen = rgb 152 251 152
484 | paleturquoise : Color
485 | paleturquoise = rgb 175 238 238
488 | palevioletred : Color
489 | palevioletred = rgb 219 112 147
493 | papayawhip = rgb 255 239 213
497 | peachpuff = rgb 255 218 185
501 | peru = rgb 205 133 63
505 | pink = rgb 255 192 203
509 | plum = rgb 221 160 221
513 | powderblue = rgb 176 224 230
517 | purple = rgb 128 0 128
525 | rosybrown = rgb 188 143 143
529 | royalblue = rgb 65 105 225
532 | saddlebrown : Color
533 | saddlebrown = rgb 139 69 19
537 | salmon = rgb 250 128 114
541 | sandybrown = rgb 244 164 96
545 | seagreen = rgb 46 139 87
549 | seashell = rgb 255 245 238
553 | sienna = rgb 160 82 45
557 | silver = rgb 192 192 192
561 | skyblue = rgb 135 206 235
565 | slateblue = rgb 106 90 205
569 | slategray = rgb 112 128 144
573 | slategrey = rgb 112 128 144
577 | snow = rgb 255 250 250
580 | springgreen : Color
581 | springgreen = rgb 0 255 127
585 | steelblue = rgb 70 130 180
589 | tan = rgb 210 180 140
593 | teal = rgb 0 128 128
597 | thistle = rgb 216 191 216
601 | tomato = rgb 255 99 71
605 | turquoise = rgb 64 224 208
609 | violet = rgb 238 130 238
613 | wheat = rgb 245 222 179
617 | white = rgb 255 255 255
621 | whitesmoke = rgb 245 245 245
625 | yellow = rgb 255 255 0
628 | yellowgreen : Color
629 | yellowgreen = rgb 154 205 50