diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 07:55:45 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 07:55:45 +0100 |
| commit | 72ed98c66d1585c94ee5383c19a1dec8e10bb050 (patch) | |
| tree | 44605042e4a49411edf401ff9d206939e971a8d7 /lambda-calcul/haskell/src/Minilang/API.hs | |
| parent | 947940230f1b14bb883e5f5de2593c52e2438c1c (diff) | |
| download | lambda-nantes-72ed98c66d1585c94ee5383c19a1dec8e10bb050.tar.gz | |
record last success/failure in score
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/API.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/API.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/API.hs b/lambda-calcul/haskell/src/Minilang/API.hs index fffee7f..8082ac8 100644 --- a/lambda-calcul/haskell/src/Minilang/API.hs +++ b/lambda-calcul/haskell/src/Minilang/API.hs @@ -22,6 +22,7 @@ import System.Random (StdGen, uniformList) type LambdaAPI = "api" :> "register" :> ReqBody '[JSON] User :> Verb 'POST 201 '[JSON] Token :<|> "api" :> "leaderboard" :> Get '[JSON] [Score] + :<|> "api" :> "score" :> QueryParam "token" Token :> Get '[JSON] Score :<|> "api" :> "challenge" :> QueryParam "token" Token :> Get '[JSON] Challenge :<|> "api" :> "challenge" :> QueryParam "token" Token :> ReqBody '[JSON] Text :> Post '[JSON] () :<|> Raw @@ -29,7 +30,8 @@ type LambdaAPI = data Score = Score { user :: User, grade :: Int, - lastTest :: Maybe UTCTime + lastTest :: Maybe UTCTime, + lastResult :: Maybe Bool } deriving (Eq, Show, Generic, ToJSON, FromJSON) |