Idris2Doc : Text.CSS.Color

Text.CSS.Color

(source)
Definitions
data Color : Type
  Totality: total
  Visibility: public export
  Constructors:
  
RGBA : Bits8 -> Bits8 -> Bits8 -> Percentage -> Color
  
HSLA : Double -> Percentage -> Percentage -> Percentage -> Color

  Hints:
  
Interpolation Color
  
Show Color
rgb : Bits8 -> Bits8 -> Bits8 -> Color
  Totality: total
  Visibility: public export
hsl : Double -> Percentage -> Percentage -> Color
  Totality: total
  Visibility: public export
transparent : Color
  Totality: total
  Visibility: public export
aliceblue : Color
  Totality: total
  Visibility: export
antiquewhite : Color
  Totality: total
  Visibility: export
aqua : Color
  Totality: total
  Visibility: export
aquamarine : Color
  Totality: total
  Visibility: export
azure : Color
  Totality: total
  Visibility: export
beige : Color
  Totality: total
  Visibility: export
bisque : Color
  Totality: total
  Visibility: export
blanchedalmond : Color
  Totality: total
  Visibility: export
black : Color
  Totality: total
  Visibility: export
blue : Color
  Totality: total
  Visibility: export
blueviolet : Color
  Totality: total
  Visibility: export
brown : Color
  Totality: total
  Visibility: export
burlywood : Color
  Totality: total
  Visibility: export
cadetblue : Color
  Totality: total
  Visibility: export
chartreuse : Color
  Totality: total
  Visibility: export
chocolate : Color
  Totality: total
  Visibility: export
coral : Color
  Totality: total
  Visibility: export
cornflowerblue : Color
  Totality: total
  Visibility: export
cornsilk : Color
  Totality: total
  Visibility: export
crimson : Color
  Totality: total
  Visibility: export
cyan : Color
  Totality: total
  Visibility: export
darkblue : Color
  Totality: total
  Visibility: export
darkcyan : Color
  Totality: total
  Visibility: export
darkgoldenrod : Color
  Totality: total
  Visibility: export
darkgray : Color
  Totality: total
  Visibility: export
darkgreen : Color
  Totality: total
  Visibility: export
darkgrey : Color
  Totality: total
  Visibility: export
darkkhaki : Color
  Totality: total
  Visibility: export
darkmagenta : Color
  Totality: total
  Visibility: export
darkolivegreen : Color
  Totality: total
  Visibility: export
darkorange : Color
  Totality: total
  Visibility: export
darkorchid : Color
  Totality: total
  Visibility: export
darkred : Color
  Totality: total
  Visibility: export
darksalmon : Color
  Totality: total
  Visibility: export
darkseagreen : Color
  Totality: total
  Visibility: export
darkslateblue : Color
  Totality: total
  Visibility: export
darkslategray : Color
  Totality: total
  Visibility: export
darkslategrey : Color
  Totality: total
  Visibility: export
darkturquoise : Color
  Totality: total
  Visibility: export
darkviolet : Color
  Totality: total
  Visibility: export
deeppink : Color
  Totality: total
  Visibility: export
deepskyblue : Color
  Totality: total
  Visibility: export
dimgray : Color
  Totality: total
  Visibility: export
dimgrey : Color
  Totality: total
  Visibility: export
dodgerblue : Color
  Totality: total
  Visibility: export
firebrick : Color
  Totality: total
  Visibility: export
floralwhite : Color
  Totality: total
  Visibility: export
forestgreen : Color
  Totality: total
  Visibility: export
fuchsia : Color
  Totality: total
  Visibility: export
gainsboro : Color
  Totality: total
  Visibility: export
ghostwhite : Color
  Totality: total
  Visibility: export
gold : Color
  Totality: total
  Visibility: export
goldenrod : Color
  Totality: total
  Visibility: export
gray : Color
  Totality: total
  Visibility: export
green : Color
  Totality: total
  Visibility: export
greenyellow : Color
  Totality: total
  Visibility: export
grey : Color
  Totality: total
  Visibility: export
honeydew : Color
  Totality: total
  Visibility: export
hotpink : Color
  Totality: total
  Visibility: export
indianred : Color
  Totality: total
  Visibility: export
indigo : Color
  Totality: total
  Visibility: export
ivory : Color
  Totality: total
  Visibility: export
khaki : Color
  Totality: total
  Visibility: export
lavender : Color
  Totality: total
  Visibility: export
lavenderblush : Color
  Totality: total
  Visibility: export
lawngreen : Color
  Totality: total
  Visibility: export
lemonchiffon : Color
  Totality: total
  Visibility: export
lightblue : Color
  Totality: total
  Visibility: export
lightcoral : Color
  Totality: total
  Visibility: export
lightcyan : Color
  Totality: total
  Visibility: export
lightgoldenrodyellow : Color
  Totality: total
  Visibility: export
lightgray : Color
  Totality: total
  Visibility: export
lightgreen : Color
  Totality: total
  Visibility: export
lightgrey : Color
  Totality: total
  Visibility: export
lightpink : Color
  Totality: total
  Visibility: export
lightsalmon : Color
  Totality: total
  Visibility: export
lightseagreen : Color
  Totality: total
  Visibility: export
lightskyblue : Color
  Totality: total
  Visibility: export
lightslategray : Color
  Totality: total
  Visibility: export
lightslategrey : Color
  Totality: total
  Visibility: export
lightsteelblue : Color
  Totality: total
  Visibility: export
lightyellow : Color
  Totality: total
  Visibility: export
lime : Color
  Totality: total
  Visibility: export
limegreen : Color
  Totality: total
  Visibility: export
linen : Color
  Totality: total
  Visibility: export
magenta : Color
  Totality: total
  Visibility: export
maroon : Color
  Totality: total
  Visibility: export
mediumaquamarine : Color
  Totality: total
  Visibility: export
mediumblue : Color
  Totality: total
  Visibility: export
mediumorchid : Color
  Totality: total
  Visibility: export
mediumpurple : Color
  Totality: total
  Visibility: export
mediumseagreen : Color
  Totality: total
  Visibility: export
mediumslateblue : Color
  Totality: total
  Visibility: export
mediumspringgreen : Color
  Totality: total
  Visibility: export
mediumturquoise : Color
  Totality: total
  Visibility: export
mediumvioletred : Color
  Totality: total
  Visibility: export
midnightblue : Color
  Totality: total
  Visibility: export
mintcream : Color
  Totality: total
  Visibility: export
mistyrose : Color
  Totality: total
  Visibility: export
moccasin : Color
  Totality: total
  Visibility: export
navajowhite : Color
  Totality: total
  Visibility: export
navy : Color
  Totality: total
  Visibility: export
oldlace : Color
  Totality: total
  Visibility: export
olive : Color
  Totality: total
  Visibility: export
olivedrab : Color
  Totality: total
  Visibility: export
orange : Color
  Totality: total
  Visibility: export
orangered : Color
  Totality: total
  Visibility: export
orchid : Color
  Totality: total
  Visibility: export
palegoldenrod : Color
  Totality: total
  Visibility: export
palegreen : Color
  Totality: total
  Visibility: export
paleturquoise : Color
  Totality: total
  Visibility: export
palevioletred : Color
  Totality: total
  Visibility: export
papayawhip : Color
  Totality: total
  Visibility: export
peachpuff : Color
  Totality: total
  Visibility: export
peru : Color
  Totality: total
  Visibility: export
pink : Color
  Totality: total
  Visibility: export
plum : Color
  Totality: total
  Visibility: export
powderblue : Color
  Totality: total
  Visibility: export
purple : Color
  Totality: total
  Visibility: export
red : Color
  Totality: total
  Visibility: export
rosybrown : Color
  Totality: total
  Visibility: export
royalblue : Color
  Totality: total
  Visibility: export
saddlebrown : Color
  Totality: total
  Visibility: export
salmon : Color
  Totality: total
  Visibility: export
sandybrown : Color
  Totality: total
  Visibility: export
seagreen : Color
  Totality: total
  Visibility: export
seashell : Color
  Totality: total
  Visibility: export
sienna : Color
  Totality: total
  Visibility: export
silver : Color
  Totality: total
  Visibility: export
skyblue : Color
  Totality: total
  Visibility: export
slateblue : Color
  Totality: total
  Visibility: export
slategray : Color
  Totality: total
  Visibility: export
slategrey : Color
  Totality: total
  Visibility: export
snow : Color
  Totality: total
  Visibility: export
springgreen : Color
  Totality: total
  Visibility: export
steelblue : Color
  Totality: total
  Visibility: export
tan : Color
  Totality: total
  Visibility: export
teal : Color
  Totality: total
  Visibility: export
thistle : Color
  Totality: total
  Visibility: export
tomato : Color
  Totality: total
  Visibility: export
turquoise : Color
  Totality: total
  Visibility: export
violet : Color
  Totality: total
  Visibility: export
wheat : Color
  Totality: total
  Visibility: export
white : Color
  Totality: total
  Visibility: export
whitesmoke : Color
  Totality: total
  Visibility: export
yellow : Color
  Totality: total
  Visibility: export
yellowgreen : Color
  Totality: total
  Visibility: export