-- SPDX-FileCopyrightText: 2021 Tocqueville Group
--
-- SPDX-License-Identifier: LicenseRef-MIT-TQ

module Morley.Client.RPC.QueryFixedParam
  ( QueryFixedParam
  ) where

import Servant.API (ToHttpApiData(toQueryParam), type (:>))
import Servant.Client.Core (HasClient(..), appendToQueryString)

import Morley.Util.TypeLits (KnownSymbol, Symbol, symbolValT')

-- | Like servant's @QueryParam@, but the value is fixed as a
-- type-level string.
data QueryFixedParam (name :: Symbol) (value :: Symbol)

instance (KnownSymbol sym, KnownSymbol val, HasClient m api)
      => HasClient m (QueryFixedParam sym val :> api) where
  type Client m (QueryFixedParam sym val :> api) = Client m api
  clientWithRoute pm Proxy req =
    clientWithRoute pm (Proxy :: Proxy api)
      $ appendToQueryString pname (Just $ toQueryParam pval) req
    where
      pname = symbolValT' @sym
      pval  = symbolValT' @val
  hoistClientMonad pm _ f cl = hoistClientMonad pm (Proxy :: Proxy api) f cl