@@ -30,7 +30,7 @@ spec = describe "Servant.Docs" $ do
3030 describe "markdown with extra info" $ do
3131 let
3232 extra = extraInfo
33− (Proxy :: Proxy (Get '[JSON, PlainText] Int))
33+ (Proxy :: Proxy (Get '[JSON, PlainText] (Headers '[Header "Location" String] Int)))
3434 (defAction & notes <>~ [DocNote "Get an Integer" ["get an integer in Json or plain text"]])
3535 <>
3636 extraInfo
@@ -90,26 +90,26 @@ data Datatype1 = Datatype1 { dt1field1 :: String
9090
9191instance ToJSON Datatype1
9292
93−instance ToSample Datatype1 Datatype1 where
93+instance ToSample Datatype1 where
9494 toSamples _ = singleSample $ Datatype1 "field 1" 13
9595
96−instance ToSample Char Char where
96+instance ToSample Char where
9797 toSamples _ = samples ['a'..'z']
9898
99−instance ToSample Int Int where
99+instance ToSample Int where
100100 toSamples _ = singleSample 17
101101
102102instance MimeRender PlainText Int where
103103 mimeRender _ = cs . show
104104
105−type TestApi1 = Get '[JSON, PlainText] Int
105+type TestApi1 = Get '[JSON, PlainText] (Headers '[Header "Location" String] Int)
106106 :<|> ReqBody '[JSON] String :> Post '[JSON] Datatype1
107107
108108data TT = TT1 | TT2 deriving (Show, Eq)
109109data UT = UT1 | UT2 deriving (Show, Eq)
110110
111−instance ToSample TT TT where
111+instance ToSample TT where
112112 toSamples _ = [("eins", TT1), ("zwei", TT2)]
113113
114−instance ToSample UT UT where
114+instance ToSample UT where
115115 toSamples _ = [("yks", UT1), ("kaks", UT2)]