A CIL Tutorial - Department of Computer Science - ETH Zürich

CHAPTER 8. DEPENDANT TYPE QUALIFIERS 61
let exactRGBStr = "ExactRGB"
let lowerRGBStr = "LowerRGB"
let upperRGBStr = "UpperRGB"
let color strings = [exactRGBStr; lowerRGBStr; upperRGBStr; ]
The next four functions, leading up to string of colors assist in turning a list of colors into a
string. The function rgb of color returns the rgb tuple used in a color.
let rgb of color (c : color) : rgb =
match c with
| ExactRGB(r, g, b)
| LowerRGB(r, g, b)
| UpperRGB(r, g, b) → r, g, b
The function string of rgb uses triplemap (dened in Tututil) to convert the elements of an
rgb tuple to Pretty.docs, and then to strings with Pretty.sprint.
let string of rgb (t : rgb) : string =
let t =
t | > triplemap (d exp ())
|> triplemap (sprint £width : 80)
in
"("¢(fst3 t)¢", "¢(snd3 t)¢", "¢(thd3 t)¢")"
The function string of color uses string of rgb to convert a color to a string
let string of color (c : color) : string =
let k =
match c with
| ExactRGB → exactRGBStr
| LowerRGB → lowerRGBStr
| UpperRGB → upperRGBStr
in
k¢(c | > rgb of color | > string of rgb)
The function string of colors converts a list of colors into a comma separated string.
let string of colors (c : colors) : string =
c
|> L.map string of color
|> S.concat ", "