discord-ext-menus | experimental extension menu | Menu library

mapped_entries = map(lambda entry: entry + [self.ctx.bot.get_user(entry[0])], entries)

filtered_entries = filter(lambda entry: entry[3] != None, mapped_entries)

table = ("\n".join(f'{idx + 1}. {entry[3].name} (XP: {entry[1]} | Level: {en

async def format_page(self, menu, entries):

    def get_table_rows():
        for index, (user_id, xp, level) in enumerate(entries, start=1):
            user = self.ctx.bot.get_user(user_id)
            if user is None:
                #

from discord.ext import menus

class MyMenu(menus.Menu):
    async def send_initial_message(self, ctx, channel):
        return await channel.send(f'Hello {ctx.author}')

    @menus.button('\N{THUMBS UP SIGN}')
    async def on_thumbs_up(s