2021-10-01 02:24:21 +02:00
|
|
|
{-# OPTIONS_GHC -fno-warn-orphans #-}
|
|
|
|
{-# LANGUAGE FlexibleContexts #-}
|
|
|
|
{-# LANGUAGE KindSignatures #-}
|
|
|
|
{-# LANGUAGE RankNTypes #-}
|
|
|
|
{-# LANGUAGE ScopedTypeVariables #-}
|
|
|
|
{-# LANGUAGE TypeFamilies #-}
|
2021-10-02 17:32:41 +02:00
|
|
|
|
2018-07-04 21:59:43 +02:00
|
|
|
module Servant.Client.Generic (
|
|
|
|
AsClientT,
|
|
|
|
genericClient,
|
|
|
|
genericClientHoist,
|
|
|
|
) where
|
|
|
|
|
|
|
|
import Data.Proxy
|
|
|
|
(Proxy (..))
|
|
|
|
|
|
|
|
import Servant.API.Generic
|
|
|
|
import Servant.Client.Core
|
2021-10-03 17:09:46 +02:00
|
|
|
import Servant.Client.Core.HasClient (AsClientT)
|
2018-07-04 21:59:43 +02:00
|
|
|
|
|
|
|
-- | Generate a record of client functions.
|
|
|
|
genericClient
|
|
|
|
:: forall routes m.
|
|
|
|
( HasClient m (ToServantApi routes)
|
|
|
|
, GenericServant routes (AsClientT m)
|
|
|
|
, Client m (ToServantApi routes) ~ ToServant routes (AsClientT m)
|
|
|
|
)
|
|
|
|
=> routes (AsClientT m)
|
|
|
|
genericClient
|
|
|
|
= fromServant
|
|
|
|
$ clientIn (Proxy :: Proxy (ToServantApi routes)) (Proxy :: Proxy m)
|
|
|
|
|
|
|
|
-- | 'genericClient' but with 'hoistClientMonad' in between.
|
|
|
|
genericClientHoist
|
|
|
|
:: forall routes m n.
|
|
|
|
( HasClient m (ToServantApi routes)
|
|
|
|
, GenericServant routes (AsClientT n)
|
|
|
|
, Client n (ToServantApi routes) ~ ToServant routes (AsClientT n)
|
|
|
|
)
|
|
|
|
=> (forall x. m x -> n x) -- ^ natural transformation
|
|
|
|
-> routes (AsClientT n)
|
|
|
|
genericClientHoist nt
|
|
|
|
= fromServant
|
|
|
|
$ hoistClientMonad m api nt
|
|
|
|
$ clientIn api m
|
|
|
|
where
|
|
|
|
m = Proxy :: Proxy m
|
|
|
|
api = Proxy :: Proxy (ToServantApi routes)
|