teliva/hanoi.tlv

# .tlv file generated by https://github.com/akkartik/teliva
# You may edit it if you are careful; however, you may see cryptic errors if you
# violate Teliva's assumptions.
#
# .tlv files are representations of Teliva programs. Teliva programs consist of
# sequences of definitions. Each definition is a table of key/value pairs. Keys
# and values are both strings.
#
# Lines in .tlv files always follow exactly one of the following forms:
# - comment lines at the top of the file starting with '#' at column 0
# - beginnings of definitions starting with '- ' at column 0, followed by a
#   key/value pair
# - key/value pairs consisting of '  ' at column 0, containing either a
#   spaceless value on the same line, or a multi-line value
# - multiline values indented by more than 2 spaces, starting with a '>'
#
# If these constraints are violated, Teliva may unceremoniously crash. Please
# report bugs at http://akkartik.name/contact
- __teliva_timestamp: original
  check:
    >function check(x, msg)
    >  if x then
    >    Window:addch('.')
    >  else
    >    print('F - '..msg)
    >    print('  '..str(x)..' is false/nil')
    >    teliva_num_test_failures = teliva_num_test_failures + 1
    >    -- overlay first test failure on editors
    >    if teliva_first_failure == nil then
    >      teliva_first_failure = msg
    >    end
    >  end
    >end
- __teliva_timestamp: original
  check_eq:
    >function check_eq(x, expected, msg)
    >  if eq(x, expected) then
    >    Window:addch('.')
    >  else
    >    print('F - '..msg)
    >    print('  expected '..str(expected)..' but got '..str(x))
    >    teliva_num_test_failures = teliva_num_test_failures + 1
    >    -- overlay first test failure on editors
    >    if teliva_first_failure == nil then
    >      teliva_first_failure = msg
    >    end
    >  end
    >end
- __teliva_timestamp: original
  eq:
    >function eq(a, b)
    >  if type(a) ~= type(b) then return false end
    >  if type(a) == 'table' then
    >    if #a ~= #b then return false end
    >    for k, v in pairs(a) do
    >      if b[k] ~= v then
    >        return false
    >      end
    >    end
    >    for k, v in pairs(b) do
    >      if a[k] ~= v then
    >        return false
    >      end
    >    end
    >    return true
    >  end
    >  return a == b
    >end
- __teliva_timestamp: original
  str:
    >-- smarter tostring
    >-- slow; used only for debugging
    >function str(x)
    >  if type(x) == 'table' then
    >    local result = ''
    >    result = result..#x..'{'
    >    for k, v in pairs(x) do
    >      result = result..str(k)..'='..str(v)..', '
    >    end
    >    result = result..'}'
    >    return result
    >  elseif type(x) == 'string' then
    >    return '"'..x..'"'
    >  end
    >  return tostring(x)
    >end
- __teliva_timestamp: original
  render:
    >function render(window)
    >  window:clear()
    >  local lines, cols = window:getmaxyx()
    >  local line = math.floor(lines/2)
    >  local col = math.floor(cols/4)
    >  for i,t in ipairs(tower) do
    >    render_tower(window, line, i*col, i, t)
    >  end
    >  window:refresh()
    >end
- __teliva_timestamp: original
  lines:
    >function lines(window)
    >  local lines, cols = window:getmaxyx()
    >  return lines
    >end
- __teliva_timestamp: original
  pop:
    >function pop(array)
    >  return table.remove(array)
    >end
- __teliva_timestamp: original
  Window:
    >Window = curses.stdscr()
- __teliva_timestamp: original
  render_tower:
    >function render_tower(window, line, col, tower_index, tower)
    >  window:attron(curses.A_BOLD)
    >  window:mvaddch(line+2, col, string.char(96+tower_index))
    >  window:attroff(curses.A_BOLD)
    >  window:attron(curses.color_pair(15))
    >  window:mvaddstr(line+1, col-6, "              ")
    >  window:attroff(curses.color_pair(15))
    >  for i, n in ipairs(tower) do
    >    render_disk(window, line, col, n)
    >    line = line - 1
    >  end
    >  for i=1,5-len(tower)+1 do
    >    window:attron(curses.color_pair(15))
    >    window:mvaddstr(line, col, "  ")
    >    window:attroff(curses.color_pair(15))
    >    line = line - 1
    >  end
    >end
- __teliva_timestamp: original
  tower:
    >tower = {{6, 5, 4, 3, 2}, {}, {}}
- __teliva_timestamp: original
  render_disk:
    >function render_disk(window, line, col, size)
    >  col = col-size+1
    >  for i=1,size do
    >    window:attron(curses.color_pair(size))
    >    window:mvaddstr(line, col, "  ")
    >    window:attroff(curses.color_pair(size))
    >    col = col+2
    >  end
    >end
- __teliva_timestamp: original
  main:
    >function main()
    >  curses.assume_default_colors(238, 139)
    >  for i=1,7 do
    >    curses.init_pair(i, 0, i)
    >  end
    >  curses.init_pair(15, 0, 250)  -- tower frames
    >
    >  while true do
    >    render(Window)
    >    update(Window)
    >  end
    >end
- __teliva_timestamp: original
  len:
    >function len(array)
    >  local result = 0
    >  for k in pairs(array) do
    >    result = result+1
    >  end
    >  return result
    >end
- __teliva_timestamp: original
  update:
    >function update(window)
    >  window:mvaddstr(lines(window)-2, 5, "tower to remove top disk from? ")
    >  local from = window:getch() - 96
    >  window:mvaddstr(lines(window)-1, 5, "tower to stack it on? ")
    >  local to = window:getch() - 96
    >  make_move(from, to)
    >end
- __teliva_timestamp: original
  make_move:
    >function make_move(from, to)
    >  local disk = pop(tower[from])
    >  table.insert(tower[to], disk)
    >end
- __teliva_timestamp: original
  cols:
    >function cols(window)
    >  local lines, cols = window:getmaxyx()
    >  return cols
    >end
- __teliva_timestamp:
    >Thu Feb 17 20:07:06 2022
  doc:blurb:
    >Single-player game: the Towers of Hanoi
    >
    >Move disks around from one tower A to tower B, under one constraint: a disk can never lie above a smaller disk.
    >
    >https://en.wikipedia.org/wiki/Tower_of_Hanoi