monkeytype/backend/redis-scripts/get-results.lua

local redis_call = redis.call
local leaderboard_scores_key, leaderboard_results_key = KEYS[1], KEYS[2]

local min_rank = tonumber(ARGV[1])
local max_rank = tonumber(ARGV[2])
local include_scores = ARGV[3]

local results = {}
local scores = {}
local scores_in_range = redis_call('ZRANGE', leaderboard_scores_key, min_rank, max_rank, 'REV')

for _, user_id in ipairs(scores_in_range) do
    local result_data = redis_call('HGET', leaderboard_results_key, user_id)

    if (include_scores == "true") then
        scores[#scores + 1] = redis_call('ZSCORE', leaderboard_scores_key, user_id)
    end

    if (result_data ~= nil) then
        results[#results + 1] = result_data
    end
end

return {results, scores}