pitch_leaderboard.py

import gradio as gr
import polars as pl

from math import ceil
import os

from data import pitch_stats
from gradio_function import *
from css import css

pitch_stats = pitch_stats.rename({'name': 'Player', 'pitch_name': 'Pitch'})

def filter_pitch_leaderboard(min_pitches):
  return pitch_stats.filter(pl.col('Count') >= min_pitches).sort('CSW%', descending=True)

def create_pitch_leaderboard():
	with gr.Blocks(
	    css=css
	) as pitch_leaderboard_app:
		init_min_pitches = 100
		pitch_stats.write_csv('pitch_leaderboard.csv')
		pitch_leaderboard_df = gr.State(filter_pitch_leaderboard(init_min_pitches))

		min_pitches = gr.Number(init_min_pitches, precision=0, label='Min. Pitches')
		pitch_leaderboard_download_file = gr.DownloadButton(value='pitch_leaderboard.csv', label='Download leaderboard')
		pitch_leaderboard = gr.Dataframe(value=pitch_leaderboard_df.value)

		min_pitches.change(filter_pitch_leaderboard, inputs=min_pitches, outputs=pitch_leaderboard_df)
		(
		    pitch_leaderboard_df
		    .change(create_set_download_file_fn('files/pitch_leaderboard.csv'), inputs=pitch_leaderboard_df, outputs=pitch_leaderboard_download_file)
		    .then(lambda df: df, inputs=pitch_leaderboard_df, outputs=pitch_leaderboard)
		)
	return pitch_leaderboard_app

if __name__ == '__main__':
	create_pitch_leaderboard().launch(
	    share=True,
	    debug=True
	)