Ui lookup

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
primitive ColorLookup
  """
  Map color name strings to Color primitives.
  """
  fun apply(name: String): (Color | None) =>
    match name
    | "default" => Default
    | "black" => Black
    | "red" => Red
    | "green" => Green
    | "yellow" => Yellow
    | "blue" => Blue
    | "magenta" => Magenta
    | "cyan" => Cyan
    | "white" => White
    | "bright-black" => BrightBlack
    | "bright-red" => BrightRed
    | "bright-green" => BrightGreen
    | "bright-yellow" => BrightYellow
    | "bright-blue" => BrightBlue
    | "bright-magenta" => BrightMagenta
    | "bright-cyan" => BrightCyan
    | "bright-white" => BrightWhite
    | "rainbow" => Rainbow
    else
      None
    end

primitive AlignLookup
  """
  Map alignment name strings to Alignment values.
  """
  fun apply(name: String): (Alignment | None) =>
    match name
    | "start" => AlignStart
    | "center" => AlignCenter
    | "end" => AlignEnd
    else
      None
    end

primitive ModeLookup
  """
  Map mode name strings to PackMode values.
  """
  fun apply(name: String): (PackMode | None) =>
    match name
    | "fill" => PackFill
    | "expand" => PackExpand
    | "fixed" => PackFixed
    else
      None
    end