servant/servant-server/test/Servant/ArbitraryMonadServerSpec.hs

59 lines
1.8 KiB
Haskell
Raw Normal View History

2015-05-02 16:46:43 +02:00
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeOperators #-}
2016-04-21 13:31:51 +02:00
module Servant.ArbitraryMonadServerSpec where
2015-05-02 16:46:43 +02:00
import qualified Control.Category as C
2015-05-02 16:46:43 +02:00
import Control.Monad.Reader
import Data.Proxy
import Servant.API
import Servant.Server
import Test.Hspec (Spec, describe, it)
import Test.Hspec.Wai (get, matchStatus, post,
shouldRespondWith, with)
2015-05-02 16:46:43 +02:00
spec :: Spec
spec = describe "Arbitrary monad server" $ do
2015-05-02 16:46:43 +02:00
enterSpec
type ReaderAPI = "int" :> Get '[JSON] Int
:<|> "string" :> Post '[JSON] String
type IdentityAPI = "bool" :> Get '[JSON] Bool
type CombinedAPI = ReaderAPI :<|> IdentityAPI
readerAPI :: Proxy ReaderAPI
readerAPI = Proxy
combinedAPI :: Proxy CombinedAPI
combinedAPI = Proxy
readerServer' :: ServerT ReaderAPI (Reader String)
readerServer' = return 1797 :<|> ask
fReader :: Reader String :~> Handler
2015-05-02 16:46:43 +02:00
fReader = generalizeNat C.. (runReaderTNat "hi")
readerServer :: Server ReaderAPI
readerServer = enter fReader readerServer'
combinedReaderServer' :: ServerT CombinedAPI (Reader String)
combinedReaderServer' = readerServer' :<|> enter generalizeNat (return True)
combinedReaderServer :: Server CombinedAPI
combinedReaderServer = enter fReader combinedReaderServer'
enterSpec :: Spec
enterSpec = describe "Enter" $ do
with (return (serve readerAPI readerServer)) $ do
2015-05-02 16:46:43 +02:00
it "allows running arbitrary monads" $ do
get "int" `shouldRespondWith` "1797"
post "string" "3" `shouldRespondWith` "\"hi\""{ matchStatus = 200 }
2015-05-02 16:46:43 +02:00
with (return (serve combinedAPI combinedReaderServer)) $ do
2015-05-02 16:46:43 +02:00
it "allows combnation of enters" $ do
get "bool" `shouldRespondWith` "true"