61 lines
2.3 KiB
Haskell
61 lines
2.3 KiB
Haskell
{-# LANGUAGE DataKinds #-}
|
|
{-# OPTIONS_GHC -fdefer-type-errors #-}
|
|
module Servant.Server.Internal.ContextSpec (spec) where
|
|
|
|
import Data.Proxy (Proxy (..))
|
|
import Test.Hspec (Spec, describe, it, shouldBe, context)
|
|
import Test.ShouldNotTypecheck (shouldNotTypecheck)
|
|
|
|
import Servant.API
|
|
import Servant.Server.Internal.Context
|
|
|
|
spec :: Spec
|
|
spec = do
|
|
describe "getContextEntry" $ do
|
|
it "gets the context if a matching one exists" $ do
|
|
let cxt = 'a' :. EmptyContext
|
|
getContextEntry cxt `shouldBe` 'a'
|
|
|
|
it "gets the first matching context" $ do
|
|
let cxt = 'a' :. 'b' :. EmptyContext
|
|
getContextEntry cxt `shouldBe` 'a'
|
|
|
|
it "does not typecheck if type does not exist" $ do
|
|
let cxt = 'a' :. EmptyContext
|
|
x = getContextEntry cxt :: Bool
|
|
shouldNotTypecheck x
|
|
|
|
context "Show instance" $ do
|
|
let cxt = 'a' :. True :. EmptyContext
|
|
it "has a Show instance" $ do
|
|
show cxt `shouldBe` "'a' :. True :. EmptyContext"
|
|
|
|
context "bracketing" $ do
|
|
it "works" $ do
|
|
show (Just cxt) `shouldBe` "Just ('a' :. True :. EmptyContext)"
|
|
|
|
it "works with operators" $ do
|
|
let cxt' = ((1 :: Int) :. 'a' :. EmptyContext) :<|> ('b' :. True :. EmptyContext)
|
|
show cxt' `shouldBe` "(1 :. 'a' :. EmptyContext) :<|> ('b' :. True :. EmptyContext)"
|
|
|
|
describe "descendIntoNamedContext" $ do
|
|
let cxt :: Context [Char, NamedContext "sub" '[Char]]
|
|
cxt =
|
|
'a' :.
|
|
(NamedContext subContext :: NamedContext "sub" '[Char])
|
|
:. EmptyContext
|
|
subContext = 'b' :. EmptyContext
|
|
it "allows extracting subcontexts" $ do
|
|
descendIntoNamedContext (Proxy :: Proxy "sub") cxt `shouldBe` subContext
|
|
|
|
it "allows extracting entries from subcontexts" $ do
|
|
getContextEntry (descendIntoNamedContext (Proxy :: Proxy "sub") cxt :: Context '[Char])
|
|
`shouldBe` 'b'
|
|
|
|
it "does not typecheck if subContext has the wrong type" $ do
|
|
let x = descendIntoNamedContext (Proxy :: Proxy "sub") cxt :: Context '[Int]
|
|
shouldNotTypecheck (show x)
|
|
|
|
it "does not typecheck if subContext with that name doesn't exist" $ do
|
|
let x = descendIntoNamedContext (Proxy :: Proxy "foo") cxt :: Context '[Char]
|
|
shouldNotTypecheck (show x)
|