{-# LANGUAGE InstanceSigs #-} {-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -fno-warn-orphans #-} {- | Module : Servant.RawM.Internal.Client Copyright : Dennis Gosnell 2017 License : BSD3 Maintainer : Dennis Gosnell (cdep.illabout@gmail.com) Stability : experimental Portability : unknown This module only exports a 'HasClient' instance for 'RawM'. -} module Servant.RawM.Internal.Client where import Data.ByteString.Lazy (ByteString) import Data.Proxy (Proxy(Proxy)) import Network.HTTP.Client (Response) import Network.HTTP.Media (MediaType) import Network.HTTP.Types (Header, Method) import Servant.Client (Client, ClientM, HasClient(clientWithRoute)) import Servant.Common.Req (Req, performRequest) import Servant.RawM.Internal.API (RawM') -- | Creates a client route like the following: -- -- >>> :set -XTypeOperators -- >>> import Data.Type.Equality ((:~:)(Refl)) -- >>> Refl :: Client (RawM' a) :~: (Method -> (Req -> Req) -> ClientM (Int, ByteString, MediaType, [Header], Response ByteString)) -- Refl -- -- This allows modification of the underlying 'Req' to work for any sort of -- 'Network.Wai.Application'. -- -- Check out the -- <https://github.com/cdepillabout/servant-rawm/tree/master/example example> in -- the source code repository that shows a more in-depth server, client, and -- documentation. instance HasClient (RawM' serverType) where type Client (RawM' serverType) = Method -> (Req -> Req) -> ClientM (Int, ByteString, MediaType, [Header], Response ByteString) clientWithRoute :: Proxy (RawM' serverType) -> Req -> Client (RawM' serverType) clientWithRoute Proxy req method f = performRequest method $ f req