graphix-package-gui 0.8.0

A dataflow language for UIs and network programming, GUI package
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

type Color = { r: f64, g: f64, b: f64, a: f64 };

let invalid_color = |name: string, v: f64|
  -> Error<`InvalidColor(string)>
  error(`InvalidColor("[name] must be in \[0, 1\], got [v]"));

let color = |#r: f64 = 0.0, #g: f64 = 0.0, #b: f64 = 0.0, #a: f64 = 1.0|
  -> [Color, Error<`InvalidColor(string)>]
  select true {
    _ if r < 0.0 || r > 1.0 => invalid_color("r", r),
    _ if g < 0.0 || g > 1.0 => invalid_color("g", g),
    _ if b < 0.0 || b > 1.0 => invalid_color("b", b),
    _ if a < 0.0 || a > 1.0 => invalid_color("a", a),
    _ => { r, g, b, a }
  };

let window = |
  #title: &string = &"Graphix",
  #size: &Size = &{ width: 800.0, height: 600.0 },
  #theme: &Theme = &`Dark,
  #icon: &ImageSource = &"",
  content: &Widget
| -> Window { title, size, theme, icon, content };