ClientSpec.hs

  context "client correctly handles error status codes" $ do
    let test :: (WrappedApi, String) -> Spec
        test (WrappedApi api, desc) =
          it desc $
          withWaiDaemon (return (serve api (left (500, "error message")))) $
          \ host -> do
            let getResponse :: EitherT ServantError IO ()
                getResponse = client api host
            Left FailureResponse{..} <- liftIO $ runEitherT getResponse
            runIO $ responseStatus `shouldBe` (Status 500 "error message")
    mapM_ test $
      (WrappedApi (Proxy :: Proxy Delete), "Delete") :
      (WrappedApi (Proxy :: Proxy (Get '[JSON] ())), "Get") :
      (WrappedApi (Proxy :: Proxy (Post '[JSON] ())), "Post") :
      (WrappedApi (Proxy :: Proxy (Put '[JSON] ())), "Put") :
      []

gistfile1.txt

test/Servant/ClientSpec.hs:4:11:
    Could not deduce (Arg Spec ~ ())
    from the context (HasServer (Canonicalize api),
                      Server api ~ EitherT (Int, String) IO a,
                      HasClient (Canonicalize api),
                      Client api ~ EitherT ServantError IO ())
      bound by a pattern with constructor
                 WrappedApi :: forall api a.
                               (HasServer (Canonicalize api),
                                Server api ~ EitherT (Int, String) IO a,
                                HasClient (Canonicalize api),
                                Client api ~ EitherT ServantError IO ()) =>
                               Proxy api -> WrappedApi,
               in an equation for ‘test’
      at test/Servant/ClientSpec.hs:246:15-28
    Expected type: Spec
      Actual type: SpecWith (Arg Spec)
    In the expression:
      it desc
      $ withWaiDaemon (return (serve api (left (500, "error message"))))
        $ \ host
            -> do { let ...;
                    Left (FailureResponse {..}) <- liftIO $ runEitherT getResponse;
                    .... }
    In an equation for ‘test’:
        test (WrappedApi api, desc)
          = it desc
            $ withWaiDaemon (return (serve api (left (500, "error message"))))
              $ \ host
                  -> do { let ...;
                          .... }
    In the second argument of ‘($)’, namely
      ‘do { let test :: (WrappedApi, String) -> Spec
                test (WrappedApi api, desc)
                  = it desc $ withWaiDaemon (return (serve api (left ...))) $ ...;
            mapM_ test
            $ (WrappedApi (Proxy :: Proxy Delete), "Delete")
              : (WrappedApi (Proxy :: Proxy (Get '[JSON] ())), "Get")
                : (WrappedApi (Proxy :: Proxy (Post '[JSON] ())), "Post")
                  : (WrappedApi (Proxy :: Proxy (Put '[JSON] ())), "Put") : [] }’