@@ -1,7 +1,9 @@
11{-# LANGUAGE DataKinds #-}
22{-# LANGUAGE DeriveGeneric #-}
33{-# LANGUAGE FlexibleInstances #-}
4+{-# LANGUAGE FlexibleContexts #-}
45{-# LANGUAGE MultiParamTypeClasses #-}
6+{-# LANGUAGE OverloadedStrings #-}
57{-# LANGUAGE TypeOperators #-}
68{-# LANGUAGE TypeSynonymInstances #-}
79{-# OPTIONS_GHC -fno-warn-orphans #-}
@@ -42,6 +44,21 @@ spec = describe "Servant.Docs" $ do
4244 md `shouldContain` "get an integer in Json or plain text"
4345 md `shouldContain` "Posts some Json data"
4446
47+ describe "tuple samples" $ do
48+ it "looks like expected" $ do
49+ (toSample (Proxy :: Proxy (TT, UT))) `shouldBe` Just (TT1,UT1)
50+ (toSample (Proxy :: Proxy (TT, UT, UT))) `shouldBe` Just (TT1,UT1,UT1)
51+ (toSamples (Proxy :: Proxy (TT, UT))) `shouldBe`
52+ [ ("(eins, yks)",(TT1,UT1)), ("(eins, kaks)",(TT1,UT2))
53+ , ("(zwei, yks)",(TT2,UT1)), ("(zwei, kaks)",(TT2,UT2))
54+ ]
55+ (toSamples (Proxy :: Proxy (TT, UT, UT))) `shouldBe`
56+ [ ("(eins, yks, yks)",(TT1,UT1,UT1)), ("(eins, yks, kaks)",(TT1,UT1,UT2))
57+ , ("(eins, kaks, yks)",(TT1,UT2,UT1)), ("(eins, kaks, kaks)",(TT1,UT2,UT2))
58+ , ("(zwei, yks, yks)",(TT2,UT1,UT1)), ("(zwei, yks, kaks)",(TT2,UT1,UT2))
59+ , ("(zwei, kaks, yks)",(TT2,UT2,UT1)), ("(zwei, kaks, kaks)",(TT2,UT2,UT2))
60+ ]
61+
4562 where
4663 tests md = do
4764 it "mentions supported content-types" $ do
@@ -81,7 +98,16 @@ instance ToSample Int Int where
8198instance MimeRender PlainText Int where
8299 mimeRender _ = cs . show
83100
84−
85101type TestApi1 = Get '[JSON, PlainText] Int
86102 :<|> ReqBody '[JSON] String :> Post '[JSON] Datatype1
87103
104+data TT = TT1 | TT2 deriving (Show, Eq)
105+data UT = UT1 | UT2 deriving (Show, Eq)
106+
107+instance ToSample TT TT where
108+ toSample _ = Just TT1
109+ toSamples _ = [("eins", TT1), ("zwei", TT2)]
110+
111+instance ToSample UT UT where
112+ toSample _ = Just UT1
113+ toSamples _ = [("yks", UT1), ("kaks", UT2)]