{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}

{-# HLINT ignore "Use newtype instead of data" #-}

module Minilang.API where

import Data.Aeson (FromJSON, ToJSON)
import Data.Bifunctor (first)
import Data.ByteString.Lazy (ByteString)
import qualified Data.ByteString.Lazy as LBS
import Data.Text (Text)
import Data.Time (UTCTime)
import GHC.Generics (Generic)
import Servant (Get, JSON, Raw, ReqBody, StdMethod (POST), Verb, (:<|>), (:>))
import System.Random (StdGen, uniformList)

data Score = Score
  { name :: String,
    grade :: Int,
    lastTest :: UTCTime
  }
  deriving (Eq, Show, Generic, ToJSON, FromJSON)

newtype User = User {username :: Text}
  deriving newtype (Eq, Show, ToJSON, FromJSON)

data Token = Token {token :: Text}
  deriving (Eq, Show, Generic, ToJSON, FromJSON)

newToken :: StdGen -> (ByteString, StdGen)
newToken = first LBS.pack . uniformList 16

type LambdaAPI =
  "api" :> "register" :> ReqBody '[JSON] User :> Verb 'POST 201 '[JSON] Token
    :<|> "api" :> "leaderboard" :> Get '[JSON] [Score]
    :<|> Raw