-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | automatical derivation of querying functions for servant webservices
--   
@package servant-client
@version 0.2.2

module Servant.Common.BaseUrl

-- | URI scheme to use
data Scheme

-- | http://
Http :: Scheme

-- | https://
Https :: Scheme

-- | Simple data type to represent the target of HTTP requests for
--   servant's automatically-generated clients.
data BaseUrl
BaseUrl :: Scheme -> String -> Int -> BaseUrl

-- | URI scheme to use
baseUrlScheme :: BaseUrl -> Scheme

-- | host (eg "haskell.org")
baseUrlHost :: BaseUrl -> String

-- | port (eg 80)
baseUrlPort :: BaseUrl -> Int
showBaseUrl :: BaseUrl -> String
parseBaseUrl :: String -> Either String BaseUrl
instance Show Scheme
instance Eq Scheme
instance Ord Scheme
instance Generic Scheme
instance Show BaseUrl
instance Eq BaseUrl
instance Ord BaseUrl
instance Generic BaseUrl
instance Datatype D1Scheme
instance Constructor C1_0Scheme
instance Constructor C1_1Scheme
instance Datatype D1BaseUrl
instance Constructor C1_0BaseUrl
instance Selector S1_0_0BaseUrl
instance Selector S1_0_1BaseUrl
instance Selector S1_0_2BaseUrl

module Servant.Common.Req
data Req
Req :: String -> QueryText -> ByteString -> [(String, Text)] -> Req
reqPath :: Req -> String
qs :: Req -> QueryText
reqBody :: Req -> ByteString
headers :: Req -> [(String, Text)]
defReq :: Req
appendToPath :: String -> Req -> Req
appendToMatrixParams :: String -> Maybe String -> Req -> Req
appendToQueryString :: Text -> Maybe Text -> Req -> Req
addHeader :: ToText a => String -> a -> Req -> Req
setRQBody :: ByteString -> Req -> Req
reqToRequest :: (Functor m, MonadThrow m) => Req -> BaseUrl -> m Request
__manager :: MVar Manager
__withGlobalManager :: (Manager -> IO a) -> IO a
displayHttpRequest :: Method -> String
performRequest :: Method -> Req -> (Int -> Bool) -> BaseUrl -> EitherT String IO (Int, ByteString)
performRequestJSON :: FromJSON result => Method -> Req -> Int -> BaseUrl -> EitherT String IO result
catchStatusCodeException :: IO a -> IO (Either Status a)

-- | Like <a>decode</a> but allows all JSON values instead of just objects
--   and arrays.
decodeLenient :: FromJSON a => ByteString -> Either String a


-- | This module provides <a>client</a> which can automatically generate
--   querying functions for each endpoint just from the type representing
--   your API.
module Servant.Client

-- | <a>client</a> allows you to produce operations to query an API from a
--   client.
--   
--   <pre>
--   type MyApi = "books" :&gt; Get [Book] -- GET /books
--           :&lt;|&gt; "books" :&gt; ReqBody Book :&gt; Post Book -- POST /books
--   
--   myApi :: Proxy MyApi
--   myApi = Proxy
--   
--   getAllBooks :: BaseUrl -&gt; EitherT String IO [Book]
--   postNewBook :: Book -&gt; BaseUrl -&gt; EitherT String IO Book
--   (getAllBooks :&lt;|&gt; postNewBook) = client myApi
--   </pre>
client :: HasClient layout => Proxy layout -> Client layout

-- | This class lets us define how each API combinator influences the
--   creation of an HTTP request. It's mostly an internal class, you can
--   just use <a>client</a>.
class HasClient layout where type family Client layout :: *
clientWithRoute :: HasClient layout => Proxy layout -> Req -> Client layout
instance (KnownSymbol path, HasClient sublayout) => HasClient (path :> sublayout)
instance (ToJSON a, HasClient sublayout) => HasClient (ReqBody a :> sublayout)
instance HasClient Raw
instance (KnownSymbol sym, HasClient sublayout) => HasClient (MatrixFlag sym :> sublayout)
instance (KnownSymbol sym, ToText a, HasClient sublayout) => HasClient (MatrixParams sym a :> sublayout)
instance (KnownSymbol sym, ToText a, HasClient sublayout) => HasClient (MatrixParam sym a :> sublayout)
instance (KnownSymbol sym, HasClient sublayout) => HasClient (QueryFlag sym :> sublayout)
instance (KnownSymbol sym, ToText a, HasClient sublayout) => HasClient (QueryParams sym a :> sublayout)
instance (KnownSymbol sym, ToText a, HasClient sublayout) => HasClient (QueryParam sym a :> sublayout)
instance FromJSON a => HasClient (Put a)
instance FromJSON a => HasClient (Post a)
instance (KnownSymbol sym, ToText a, HasClient sublayout) => HasClient (Header sym a :> sublayout)
instance FromJSON result => HasClient (Get result)
instance HasClient Delete
instance (KnownSymbol capture, ToText a, HasClient sublayout) => HasClient (Capture capture a :> sublayout)
instance (HasClient a, HasClient b) => HasClient (a :<|> b)