summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/src
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 06:28:38 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 06:28:38 +0100
commit3621ddbdff4d52ad58f9af57b8a47e50d42be948 (patch)
tree56f3a0e0d2dcf293364ed0a3f5c3429a1c5139a1 /lambda-calcul/haskell/src
parent7fbba2eb68ec5855d7af0adcf4fe0d6948177a43 (diff)
downloadlambda-nantes-3621ddbdff4d52ad58f9af57b8a47e50d42be948.tar.gz
return correct leaderboard
Diffstat (limited to 'lambda-calcul/haskell/src')
-rw-r--r--lambda-calcul/haskell/src/Minilang/App.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/App.hs b/lambda-calcul/haskell/src/Minilang/App.hs
index 57c1fd6..52a7352 100644
--- a/lambda-calcul/haskell/src/Minilang/App.hs
+++ b/lambda-calcul/haskell/src/Minilang/App.hs
@@ -88,10 +88,10 @@ generateToken =
writeTVar tvar newGen
pure $ Token $ decodeUtf8 $ Base64.encode $ LBS.toStrict tokenBytes
-getLeaderboard :: (MonadIO m) => m [Score]
+getLeaderboard :: (MonadIO m, MonadReader Env m) => m [Score]
getLeaderboard = do
- now <- liftIO getCurrentTime
- pure [Score (User "Alice") 95 (Just now), Score (User "Bob") 88 (Just now)]
+ usersMap <- asks users >>= liftIO . readTVarIO
+ pure $ Map.elems usersMap
getChallenge :: (MonadReader Env m, MonadIO m) => Maybe Token -> m Challenge
getChallenge Nothing = liftIO $ throwM $ err400 {errBody = "Missing token"}