1caeab9d

arc

let bg: (Int, Int)
let ls: OList (Int, Int)
let p1: (Int, Int)
let p2: (Int, Int)
let p3: (Int, Int)

let input = fill (bg.1) (fill (bg.2) black)
  |> fold (λp. point (p + p1) blue) ls
  |> fold (λp. point (p + p2) red) ls
  |> fold (λp. point (p + p3) yellow) ls

let output = fill (bg.1) (fill (bg.2) black)
  |> fold (λp. point (p + p1) blue) ls
  |> fold (λp. point (p + (p1.1, p2.2)) red) ls
  |> fold (λp. point (p + (p1.1, p3.2)) yellow) ls

composer

input = fill #0 (fill 10h black) |> fold (λr. rect (r, red)) #1 |> fold (λr. rect (r, yellow)) #2 |> fold (λr. rect (r, blue)) #3
output = fill #0 (fill 10h black) |> fold (λr. rect ((#4, r.2, #5, r.3), r.1)) #6
(VInt, UList (VInt, HInt, VInt, HInt), UList (VInt, HInt, VInt, HInt), UList (VInt, HInt, VInt, HInt), VInt, VInt, UList (Color, HInt, HInt))
(5v, {(1v, 2h, 2v, 3h)}, {(3v, 5h, 4v, 6h)}, {(2v, 8h, 3v, 9h)}, 2v, 3v, {(blue, 8h, 9h), (yellow, 5h, 6h), (red, 2h, 3h)})
(10v, {(3v, 2h, 4v, 4h)}, {(1v, 8h, 2v, 10h)}, {(6v, 5h, 7v, 7h)}, 6v, 7v, {(yellow, 8h, 10h), (blue, 5h, 7h), (red, 2h, 4h)})
(5v, {(2v, 4h, 3v, 4h)}, {(4v, 7h, 5v, 7h)}, {(3v, 2h, 4v, 2h)}, 3v, 4v, {(yellow, 7h, 7h), (red, 4h, 4h), (blue, 2h, 2h)})
(10v, {(1v, 9h, 2v, 10h), (3v, 8h, 3v, 8h)}, {(8v, 4h, 8v, 4h), (6v, 5h, 7v, 6h)}, {(5v, 1h, 5v, 1h), (3v, 2h, 4v, 3h)}, ?, ?, ?)

Input	Output

1caeab9d ​

1caeab9d