on master help sign in
Demonstrate that a client for EmptyAPI pattern-matches EmptyAPIClient
commite60bdadead842506b8188cac72126173dcb5cdde authorDavid Turner <dave.c.turner@gmail.com> dateTue 16 May 2017, 10:21 (9 years ago) parent937a5c9
1 file changed+6−1
servant-client/test/Servant/ClientSpec.hs+6−1
servant-client/test/Servant/ClientSpec.hs+6−1
@@ -111,6 +111,8 @@ type Api =
111111 Get '[JSON] (String, Maybe Int, Bool, [(String, [Rational])])
112112 :<|> "headers" :> Get '[JSON] (Headers TestHeaders Bool)
113113 :<|> "deleteContentType" :> DeleteNoContent '[JSON] NoContent
114+ :<|> "empty" :> EmptyAPI
115+
114116api :: Proxy Api
115117api = Proxy
116118
@@ -130,6 +132,7 @@ getMultiple :: String -> Maybe Int -> Bool -> [(String, [Rational])]
130132 -> SCR.ClientM (String, Maybe Int, Bool, [(String, [Rational])])
131133getRespHeaders :: SCR.ClientM (Headers TestHeaders Bool)
132134getDeleteContentType :: SCR.ClientM NoContent
135+
133136getGet
134137 :<|> getDeleteEmpty
135138 :<|> getCapture
@@ -142,7 +145,8 @@ getGet
142145 :<|> getRawFailure
143146 :<|> getMultiple
144147 :<|> getRespHeaders
145− :<|> getDeleteContentType = client api
148+ :<|> getDeleteContentType
149+ :<|> EmptyAPIClient = client api
146150
147151server :: Application
148152server = serve api (
@@ -162,6 +166,7 @@ server = serve api (
162166 :<|> (\ a b c d -> return (a, b, c, d))
163167 :<|> (return $ addHeader 1729 $ addHeader "eg2" True)
164168 :<|> return NoContent
169+ :<|> emptyAPIServer
165170 )
166171
167172