ServerSpec.hs

type IsSecureApi = IsSecure :> Get '[JSON] Bool

isSecureApi :: Proxy IsSecureApi
isSecureApi = Proxy

isSecureServer :: Server IsSecureApi
isSecureServer = isSecureDel
  where isSecureDel x = case x of
          True -> return True
          _ -> return False

isSecureSpec :: Spec
isSecureSpec = do
  describe "Servant.API.IsSecure" $ do
      it "is secure route" $
        (flip runSession) (serve isSecureApi isSecureServer) $ do
          response1 <- Network.Wai.Test.request defaultRequest {
            isSecure = True
           }
          liftIO $ do
            decode' (simpleBody response1) `shouldBe` Just True