-- SPDX-FileCopyrightText: 2021 Oxhead Alpha
-- SPDX-License-Identifier: LicenseRef-MIT-OA

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 :: Proxy m
-> Proxy (QueryFixedParam sym val :> api)
-> Request
-> Client m (QueryFixedParam sym val :> api)
clientWithRoute Proxy m
pm Proxy (QueryFixedParam sym val :> api)
Proxy Request
req =
    Proxy m -> Proxy api -> Request -> Client m api
forall (m :: * -> *) api.
HasClient m api =>
Proxy m -> Proxy api -> Request -> Client m api
clientWithRoute Proxy m
pm (Proxy api
forall k (t :: k). Proxy t
Proxy :: Proxy api)
      (Request -> Client m api) -> Request -> Client m api
forall a b. (a -> b) -> a -> b
$ Text -> Maybe Text -> Request -> Request
appendToQueryString Text
pname (Text -> Maybe Text
forall a. a -> Maybe a
Just (Text -> Maybe Text) -> Text -> Maybe Text
forall a b. (a -> b) -> a -> b
$ Text -> Text
forall a. ToHttpApiData a => a -> Text
toQueryParam Text
pval) Request
req
    where
      pname :: Text
pname = KnownSymbol sym => Text
forall (s :: Symbol). KnownSymbol s => Text
symbolValT' @sym
      pval :: Text
pval  = KnownSymbol val => Text
forall (s :: Symbol). KnownSymbol s => Text
symbolValT' @val
  hoistClientMonad :: Proxy m
-> Proxy (QueryFixedParam sym val :> api)
-> (forall x. mon x -> mon' x)
-> Client mon (QueryFixedParam sym val :> api)
-> Client mon' (QueryFixedParam sym val :> api)
hoistClientMonad Proxy m
pm Proxy (QueryFixedParam sym val :> api)
_ forall x. mon x -> mon' x
f Client mon (QueryFixedParam sym val :> api)
cl = Proxy m
-> Proxy api
-> (forall x. mon x -> mon' x)
-> Client mon api
-> Client mon' api
forall (m :: * -> *) api (mon :: * -> *) (mon' :: * -> *).
HasClient m api =>
Proxy m
-> Proxy api
-> (forall x. mon x -> mon' x)
-> Client mon api
-> Client mon' api
hoistClientMonad Proxy m
pm (Proxy api
forall k (t :: k). Proxy t
Proxy :: Proxy api) forall x. mon x -> mon' x
f Client mon api
Client mon (QueryFixedParam sym val :> api)
cl