{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

module API where

import Servant.API
import Servant.Links
import Servant.RawM

import Data.Proxy

-- internal imports

import Types

type MateAPI =
  "auth" :> "get" :> ReqBody '[JSON] TicketRequest :> Post '[JSON] AuthInfo
  :<|> "auth" :> ReqBody '[JSON] AuthRequest :> Post '[JSON] AuthResult
  :<|> "auth" :> AuthProtect "header-auth" :> Delete '[JSON] ()

  :<|> "auth" :> "manage" :> AuthProtect "header-auth"
    :> Get '[JSON] [AuthOverview]
  :<|> "auth" :> "manage" :> AuthProtect "header-auth"
    :> ReqBody '[JSON] AuthSubmit :> Post '[JSON] Int
  :<|> "auth" :> "manage" :> AuthProtect "header-auth"
    :> ReqBody '[JSON] Int :> Delete '[JSON] ()

  :<|> "user" :> ReqBody '[JSON] UserSubmit :> Post '[JSON] Int
  :<|> "user" :> AuthProtect "header-auth" :> Get '[JSON] UserDetails
  :<|> "user" :> AuthProtect "header-auth"
    :> ReqBody '[JSON] UserDetailsSubmit :> Patch '[JSON] ()
  :<|> "user" :> "list" :> QueryParam "refine" UserRefine :> Get '[JSON] [UserSummary]
  :<|> "user" :> "recharge" :> AuthProtect "header-auth"
    :> ReqBody '[JSON] UserRecharge :> Post '[JSON] ()
  :<|> "user" :> "transfer" :> AuthProtect "header-auth"
    :> ReqBody '[JSON] UserTransfer :> Post '[JSON] ()

  :<|> "product" :> AuthProtect "header-auth" :> ReqBody '[JSON] ProductSubmit
    :> Post '[JSON] Int
  :<|> "product" :> Capture "pid" Int :> Get '[JSON] ProductOverview
  :<|> "product" :> AuthProtect "header-auth"
    :> ReqBody '[JSON] [AmountRefill] :> Patch '[JSON] ()
  :<|> "product" :> AuthProtect "header-auth"
    :> ReqBody '[JSON] [AmountUpdate] :> Put '[JSON] ()
  :<|> "product" :> "list" :> QueryParam "refine" ProductRefine
    :> Get '[JSON] [ProductOverview]
  :<|> "product" :> "shortlist" :> QueryParam "refine" ProductRefine
    :> Get '[JSON] [ProductShortOverview]

  :<|> "buy" :> AuthProtect "header-auth" :> ReqBody '[JSON] [PurchaseDetail]
    :> Post '[JSON] PurchaseResult

  :<|> "journal" :> AuthProtect "header-auth" :> QueryParam "limit" Int
    :> QueryParam "offset" Int :> Get '[JSON] [JournalEntry]

  :<|> "avatar" :> Capture "id" Int :> RawM
  :<|> "avatar" :> AuthProtect "header-auth" :> ReqBody '[JSON] AvatarData
    :> Post '[JSON] Int
  :<|> "avatar" :> AuthProtect "header-auth" :> Capture "id" Int
    :> ReqBody '[JSON] AvatarData :> Patch '[JSON] ()
  :<|> "avatar" :> "list" :> Get '[JSON] [Avatar]


authGetLink :: Link
authSendLink :: Link
authLogoutLink :: Link

authManageListLink :: Link
authManageNewAuthLink :: Link
authManageDeleteAuthLink :: Link

userNewLink :: Link
userGetLink :: Link
userUpdateLink :: Link
userListLink :: Maybe UserRefine -> Link
userRechargeLink :: Link
userTransferLink :: Link

productNewLink :: Link
productOverviewLink :: Int -> Link
productStockRefillLink :: Link
productStockUpdateLink :: Link
productListLink :: Maybe ProductRefine -> Link
productShortListLink :: Maybe ProductRefine -> Link

buyLink :: Link

journalShowLink :: Maybe Int -> Maybe Int -> Link

-- avatarGetLink :: Int -> Link
avaterInsertLink :: Link
avatarUpdateLink :: Int -> Link
avatarListLink :: Link

( authGetLink :<|>
  authSendLink :<|>
  authLogoutLink :<|>

  authManageListLink :<|>
  authManageNewAuthLink :<|>
  authManageDeleteAuthLink :<|>

  userNewLink :<|>
  userGetLink :<|>
  userUpdateLink :<|>
  userListLink :<|>
  userRechargeLink :<|>
  userTransferLink :<|>

  productNewLink :<|>
  productOverviewLink :<|>
  productStockRefillLink :<|>
  productStockUpdateLink :<|>
  productListLink :<|>
  productShortListLink :<|>

  buyLink :<|>

  journalShowLink :<|>

  avatarGetLink :<|>
  avaterInsertLink :<|>
  avatarUpdateLink :<|>
  avatarListLink
  ) = allLinks (Proxy :: Proxy MateAPI)