eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add test for HasLink with Header combinator

Browse source
This commit is contained in:
Mikkel Christiansen 2017-03-29 21:54:04 +02:00
parent 5159688d50
commit b978b8d27f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
servant/test/Servant/Utils/LinksSpec.hs
View file

@ -26,6 +26,8 @@ type TestApi =
:<|> "delete" :> Header "ponies" String :> Delete '[JSON] NoContent :<|> "delete" :> Header "ponies" String :> Delete '[JSON] NoContent
:<|> "raw" :> Raw :<|> "raw" :> Raw
-- With headers
:<|> "header" :> Get '[JSON] (Headers '[Header "Content-Type" String] NoContent)
apiLink :: (IsElem endpoint TestApi, HasLink endpoint) apiLink :: (IsElem endpoint TestApi, HasLink endpoint)
=> Proxy endpoint -> MkLink endpoint => Proxy endpoint -> MkLink endpoint
@ -66,6 +68,8 @@ spec = describe "Servant.Utils.Links" $ do
apiLink (Proxy :: Proxy ("delete" :> Delete '[JSON] NoContent)) `shouldBeLink` "delete" apiLink (Proxy :: Proxy ("delete" :> Delete '[JSON] NoContent)) `shouldBeLink` "delete"
apiLink (Proxy :: Proxy ("raw" :> Raw)) `shouldBeLink` "raw" apiLink (Proxy :: Proxy ("raw" :> Raw)) `shouldBeLink` "raw"
it "generates correct links when there is headers" $ do
apiLink (Proxy :: Proxy ("header" :> Get '[JSON] (Headers '[Header "Content-Type" String] NoContent))) `shouldBeLink` "header"
-- | -- |
-- Before https://github.com/CRogers/should-not-typecheck/issues/5 is fixed, -- Before https://github.com/CRogers/should-not-typecheck/issues/5 is fixed,