Implement lazy score queries for top, recent and check (#71)

* Use streams and such to have 200 results

* WIP

* display should take a lazy score future

* Introduce a Scores stream so we can lazily load top score requests

* Fit range to len

* Remove debugging

* Simplify from_user with `and_then`
This commit is contained in:
Natsu Kagami 2025-05-13 00:24:20 +02:00 committed by GitHub
parent 8fdd576eb9
commit 87e0a02e1f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
13 changed files with 482 additions and 200 deletions

1
.envrc
View file

@ -1 +1,2 @@
dotenv
use flake