Skip to content
On this page

1fad071e ​

arc
let ss: UList (Int, Int, Int, Color)

let input = fill 9 (fill 9 black)
  |> fold (λ(y, x, s, c). rect ((y, x, y + s, x + s), c)) ss

let output = [fill 5 black]
  |> rect ((1, 1, 1, len (filter (λ(x, y, s, c). s == 1 && c == blue) ss)), blue)
composer
input = fill 9v (fill 9h black) |> fold rect #0
output = [#1]
(UList ((VInt, HInt, VInt, HInt), Color), OList Color)
({((9v, 9h, 9v, 9h), blue), ((9v, 2h, 9v, 2h), blue), ((5v, 1h, 5v, 1h), blue), ((3v, 8h, 4v, 9h), red), ((1v, 9h, 1v, 9h), blue), ((1v, 5h, 2v, 6h), red), ((6v, 6h, 7v, 7h), blue), ((5v, 3h, 6v, 4h), red), ((2v, 2h, 3v, 3h), blue)}, [blue, blue, black, black, black])
({((9v, 2h, 9v, 2h), blue), ((8v, 7h, 9v, 8h), blue), ((8v, 4h, 9v, 5h), red), ((6v, 9h, 6v, 9h), red), ((4v, 9h, 4v, 9h), blue), ((1v, 9h, 1v, 9h), red), ((1v, 4h, 1v, 4h), red), ((1v, 1h, 2v, 2h), blue), ((5v, 5h, 6v, 6h), red), ((5v, 2h, 6v, 3h), blue), ((3v, 4h, 3v, 4h), red), ((2v, 6h, 3v, 7h), blue)}, [blue, blue, blue, blue, black])
({((9v, 6h, 9v, 6h), blue), ((8v, 8h, 9v, 9h), red), ((8v, 2h, 9v, 3h), blue), ((3v, 1h, 3v, 1h), blue), ((2v, 8h, 3v, 9h), blue), ((1v, 4h, 2v, 5h), blue), ((1v, 1h, 2v, 2h), red), ((7v, 5h, 7v, 5h), red), ((5v, 8h, 5v, 8h), blue), ((5v, 5h, 6v, 6h), blue), ((4v, 2h, 5v, 3h), red)}, [blue, blue, blue, blue, black])
({((8v, 4h, 9v, 5h), blue), ((8v, 1h, 9v, 2h), red), ((7v, 1h, 7v, 1h), blue), ((2v, 1h, 3v, 2h), blue), ((1v, 9h, 1v, 9h), blue), ((1v, 6h, 2v, 7h), red), ((7v, 7h, 8v, 8h), red), ((5v, 2h, 6v, 3h), red), ((4v, 6h, 5v, 7h), blue), ((2v, 4h, 2v, 4h), blue)}, ?)