Skip to content
On this page

1190e5a7 ​

arc
let s: Int
let c1: Color
let c2: Color
let vs: UList Int
let hs: UList Int

let input = fill s (fill s c1)
  |> fold (λv. hline (v, 1, -1, c2)) vs
  |> fold (λh. vline (1, -1, h, c2)) hs

let output = fill (len vs + 1) (fill (len hs + 1) c1)
composer
input = fill #0 (fill #1 #2) |> fold rect #3
output = fill #4 (fill #5 #6)
(VInt, HInt, Color, UList ((VInt, HInt, VInt, HInt), Color), VInt, HInt, Color)
(15v, 15h, orange, {((4v, 15h, 15v, 15h), green), ((4v, 12h, 15v, 13h), green), ((4v, 3h, 15v, 10h), green), ((4v, 1h, 15v, 1h), green), ((1v, 15h, 2v, 15h), green), ((1v, 12h, 2v, 13h), green), ((1v, 3h, 2v, 10h), green), ((1v, 1h, 2v, 1h), green)}, 2v, 4h, green)
(11v, 11h, teal, {((11v, 6h, 11v, 11h), blue), ((11v, 1h, 11v, 4h), blue), ((5v, 6h, 9v, 11h), blue), ((5v, 1h, 9v, 4h), blue), ((1v, 6h, 3v, 11h), blue), ((1v, 1h, 3v, 4h), blue)}, 3v, 2h, blue)
(27v, 27h, blue, {((25v, 27h, 27v, 27h), green), ((25v, 25h, 27v, 25h), green), ((25v, 23h, 27v, 23h), green), ((25v, 8h, 27v, 21h), green), ((25v, 1h, 27v, 6h), green), ((23v, 27h, 23v, 27h), green), ((23v, 1h, 23v, 6h), green), ((18v, 27h, 21v, 27h), green), ((18v, 1h, 21v, 6h), green), ((9v, 27h, 16v, 27h), green), ((9v, 1h, 16v, 6h), green), ((4v, 27h, 7v, 27h), green), ((4v, 1h, 7v, 6h), green), ((1v, 27h, 2v, 27h), green), ((1v, 25h, 2v, 25h), green), ((1v, 23h, 2v, 23h), green), ((1v, 8h, 2v, 21h), green), ((1v, 1h, 2v, 6h), green), ((23v, 25h, 23v, 25h), green), ((23v, 23h, 23v, 23h), green), ((23v, 8h, 23v, 21h), green), ((18v, 25h, 21v, 25h), green), ((18v, 23h, 21v, 23h), green), ((18v, 8h, 21v, 21h), green), ((9v, 25h, 16v, 25h), green), ((9v, 23h, 16v, 23h), green), ((9v, 8h, 16v, 21h), green), ((4v, 25h, 7v, 25h), green), ((4v, 23h, 7v, 23h), green), ((4v, 8h, 7v, 21h), green)}, 6v, 5h, green)
(22v, 22h, grey, {((19v, 22h, 22v, 22h), blue), ((19v, 17h, 22v, 20h), blue), ((19v, 1h, 22v, 15h), blue), ((14v, 22h, 17v, 22h), blue), ((14v, 1h, 17v, 15h), blue), ((9v, 22h, 12v, 22h), blue), ((9v, 1h, 12v, 15h), blue), ((4v, 22h, 7v, 22h), blue), ((4v, 1h, 7v, 15h), blue), ((1v, 22h, 2v, 22h), blue), ((1v, 17h, 2v, 20h), blue), ((1v, 1h, 2v, 15h), blue), ((14v, 17h, 17v, 20h), blue), ((9v, 17h, 12v, 20h), blue), ((4v, 17h, 7v, 20h), blue)}, ?, ?, ?)