Add batting leaderboard

app.py

@@ -4,7 +4,7 @@ import matplotlib as mpl
 from data import data_df
 from pitcher_overview import create_pitcher_overview
 # from pitcher_leaderboard import create_pitcher_leaderboard
-from player_team_leaderboard import create_pitcher_leaderboard, create_team_pitching_leaderboard
+from player_team_leaderboard import create_pitcher_leaderboard, create_team_pitching_leaderboard, create_batter_leaderboard
 from pitch_leaderboard import create_pitch_leaderboard
 from daily_weekly_leaderboard import create_daily_weekly_leaderboard_app
 from css import css
@@ -33,6 +33,8 @@ if __name__ == '__main__':
       create_pitch_leaderboard()
     with gr.Tab('Team Pitching Leaderboard'):
       create_team_pitching_leaderboard()
+    with gr.Tab('Batter Leaderboard'):
+      create_batter_leaderboard()
     with gr.Tab('Daily/Weekly Leaderboard'):
       create_daily_weekly_leaderboard_app(data_df)
     with gr.Tab('Acknowledgements'):

player_team_leaderboard.py

@@ -4,6 +4,7 @@ import numpy as np
 
 from datetime import datetime
 from functools import partial
+from typing import Optional
 
 from data import data_df
 from stats import compute_player_stats, filter_data_by_date_and_game_kind
@@ -73,7 +74,15 @@ def create_player_team_leaderboard_app(player_team_type):
   id_col = f'{player_type[:3].lower()}Id' if not team else f'{player_type}_team_name_short'
   qual_name = 'IP' if pitching else 'PA'
   
-  def gr_create_player_team_leaderboard(start_date, end_date, min_qual, qualified, pitcher_lr='Both', batter_lr='Both', include_teams=None):
+  def gr_create_player_team_leaderboard(
+    start_date: datetime, 
+    end_date: datetime, 
+    min_qual: int, 
+    qualified: bool, 
+    pitcher_lr: str='Both', 
+    batter_lr: str = 'Both', 
+    include_teams: Optional[list[str]] = None
+  ):
     assert pitcher_lr in ['Both', 'Left', 'Right']
     assert batter_lr in ['Both', 'Left', 'Right']
 
@@ -185,6 +194,7 @@ def create_player_team_leaderboard_app(player_team_type):
     gr.Markdown(notes)
 
     search.click(gr_create_player_team_leaderboard, inputs=[start_date, end_date, min_ip, qualified, pitcher_lr, batter_lr, include_teams], outputs=leaderboard)
+    # gr.api(gr_create_player_team_leaderboard, api_name=f'gr_create_{player_team_type.replace(" ", "_")}_leaderboard')
     all_teams.click(lambda _teams : [] if _teams == TEAMS else TEAMS, inputs=include_teams, outputs=include_teams)
     qualified.change(lambda qualified: gr.Number(interactive=not qualified), inputs=qualified, outputs=min_ip)
     pin_columns.input(
@@ -205,6 +215,11 @@ create_team_pitching_leaderboard = partial(
   player_team_type='team pitching'
 )
 
+create_batter_leaderboard = partial(
+  create_player_team_leaderboard_app,
+  player_team_type='batter'
+)
+
 if __name__ == '__main__':
   app = foo()
   app.launch()