{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DeriveAnyClass #-}

module Minilang.API where

import Data.Time (UTCTime)
import Servant (Get, JSON, (:>))
import GHC.Generics (Generic)
import Data.Aeson (ToJSON, FromJSON)

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

type LambdaAPI = "api" :> "leaderboard" :> Get '[JSON] [Score]