ARC

Appearance

On this page

8d510a79 ​

composer
input = fill 10v (fill 10h black) |> fold rect #0
output = fill 10v (fill 10h black) |> fold (fold rect) #1
(UList ((VInt, HInt, VInt, HInt), Color), OList UList ((VInt, HInt, VInt, HInt), Color))
({((6v, 1h, 6v, 10h), grey), ((3v, 10h, 3v, 10h), red), ((1v, 3h, 1v, 3h), blue), ((9v, 9h, 9v, 9h), blue), ((9v, 6h, 9v, 6h), red), ((9v, 2h, 9v, 2h), blue), ((3v, 2h, 3v, 2h), red), ((2v, 7h, 2v, 7h), blue)}, [{((9v, 9h, 10v, 9h), blue), ((9v, 2h, 10v, 2h), blue), ((6v, 1h, 6v, 10h), grey), ((3v, 10h, 5v, 10h), red), ((1v, 7h, 2v, 7h), blue), ((1v, 3h, 1v, 3h), blue), ((7v, 6h, 9v, 6h), red), ((3v, 2h, 5v, 2h), red)}])
({((6v, 10h, 6v, 10h), red), ((4v, 1h, 4v, 10h), grey), ((1v, 4h, 1v, 4h), blue), ((1v, 2h, 1v, 2h), red), ((9v, 9h, 9v, 9h), blue), ((9v, 7h, 9v, 7h), red), ((9v, 3h, 9v, 3h), blue), ((7v, 5h, 7v, 5h), blue), ((6v, 2h, 6v, 2h), red), ((2v, 8h, 2v, 8h), blue), ((2v, 6h, 2v, 6h), red)}, [{((1v, 2h, 6v, 2h), red)}, {((9v, 9h, 10v, 9h), blue), ((9v, 3h, 10v, 3h), blue), ((7v, 5h, 10v, 5h), blue), ((5v, 10h, 6v, 10h), red), ((4v, 1h, 4v, 10h), grey), ((1v, 8h, 2v, 8h), blue), ((1v, 4h, 1v, 4h), blue), ((5v, 7h, 9v, 7h), red), ((2v, 6h, 3v, 6h), red)}])
({((10v, 9h, 10v, 9h), blue), ((9v, 1h, 9v, 1h), red), ((5v, 1h, 5v, 10h), grey), ((8v, 6h, 8v, 6h), red), ((8v, 3h, 8v, 3h), blue), ((3v, 7h, 3v, 7h), blue), ((2v, 9h, 2v, 9h), red), ((2v, 4h, 2v, 4h), blue), ((2v, 2h, 2v, 2h), red)}, ?)
arc
let y0: Int
let p1: UList (Int, Int)
let p2: UList (Int, Int)
let p3: UList (Int, Int)
let p4: UList (Int, Int)

let input = fill 10 (fill 10 black)
  |> fold (λp. point p red) p1
  |> fold (λp. point p red) p2
  |> fold (λp. point p blue) p3
  |> fold (λp. point p blue) p4
  |> rect ((y0, 1, y0, -1), grey)

let output = fill 10 (fill 10 black)
  |> fold (λ(y, x). rect ((y, x, y0, x), red)) p1
  |> fold (λ(y, x). rect ((y0, x, y, x), red)) p2
  |> fold (λ(y, x). rect ((1, x, y, x), blue)) p3
  |> fold (λ(y, x). rect ((y, x, -1, x), blue)) p4
  |> rect ((y0, 1, y0, -1), grey)