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

WIP: Work on fixing servant-client tests

Browse source
This commit is contained in:
Arian van Putten 2015-10-06 14:32:25 +02:00
parent b389179590
commit fce1c8d2a4
1 changed files with 10 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
servant-client/test/Servant/Common/BaseUrlSpec.hs
View file

@ -30,32 +30,33 @@ spec = do
describe "parseBaseUrl" $ do describe "parseBaseUrl" $ do
it "is total" $ do it "is total" $ do
property $ \ string -> property $ \ string ->
deepseq (fmap show (parseBaseUrl string)) True deepseq (fmap show (parseBaseUrl string :: Maybe BaseUrl)) True
it "is the inverse of showBaseUrl" $ do it "is the inverse of showBaseUrl" $ do
property $ \ baseUrl -> property $ \ baseUrl ->
counterexample (showBaseUrl baseUrl) $ counterexample (showBaseUrl baseUrl) $
parseBaseUrl (showBaseUrl baseUrl) === (parseBaseUrl (showBaseUrl baseUrl) :: Maybe BaseUrl) ===
Right baseUrl Just baseUrl
context "trailing slashes" $ do context "trailing slashes" $ do
it "allows trailing slashes" $ do it "allows trailing slashes" $ do
parseBaseUrl "foo.com/" `shouldBe` Right (BaseUrl Http "foo.com" 80 "") (parseBaseUrl "foo.com/" :: Maybe BaseUrl)`shouldBe` Just (BaseUrl Http "foo.com" 80 "")
it "allows trailing slashes in paths" $ do it "allows trailing slashes in paths" $ do
parseBaseUrl "foo.com/api/" `shouldBe` Right (BaseUrl Http "foo.com" 80 "api") (parseBaseUrl "foo.com/api/" :: Maybe BaseUrl) `shouldBe` Just (BaseUrl Http "foo.com" 80 "api")
context "urls without scheme" $ do context "urls without scheme" $ do
it "assumes http" $ do it "assumes http" $ do
parseBaseUrl "foo.com" `shouldBe` Right (BaseUrl Http "foo.com" 80 "") (parseBaseUrl "foo.com" :: Maybe BaseUrl) `shouldBe` Just (BaseUrl Http "foo.com" 80 "")
it "allows port numbers" $ do it "allows port numbers" $ do
parseBaseUrl "foo.com:8080" `shouldBe` Right (BaseUrl Http "foo.com" 8080 "") (parseBaseUrl "foo.com:8080" :: Maybe BaseUrl) `shouldBe` Just (BaseUrl Http "foo.com" 8080 "")
it "can parse paths" $ do it "can parse paths" $ do
parseBaseUrl "http://foo.com/api" `shouldBe` Right (BaseUrl Http "foo.com" 80 "api") (parseBaseUrl "http://foo.com/api" :: Maybe BaseUrl) `shouldBe` Just (BaseUrl Http "foo.com" 80 "api")
it "rejects ftp urls" $ do it "rejects ftp urls" $ do
parseBaseUrl "ftp://foo.com" `shouldSatisfy` isLeft (parseBaseUrl "ftp://foo.com" :: Maybe BaseUrl) `shouldBe` Nothing
instance Arbitrary BaseUrl where instance Arbitrary BaseUrl where
arbitrary = BaseUrl <$> arbitrary = BaseUrl <$>