@@ -137,26 +137,26 @@ formatSeparatedQueryList char = T.intercalate (T.singleton char) . map toQueryPa
137137
138138-- | Servant type-level API, generated from the OpenAPI spec for OpenAPIPetstore.
139139type OpenAPIPetstoreAPI
140- = " pet" :> ReqBody '[JSON ] Pet :> Verb 'POST 200 '[JSON ] () -- 'addPet' route
141- :<|> " pet" :> Capture " petId" Integer :> Header " api_key" Text :> Verb 'DELETE 200 '[JSON ] () -- 'deletePet' route
140+ = " pet" :> ReqBody '[JSON ] Pet :> Verb 'POST 200 '[JSON ] NoContent -- 'addPet' route
141+ :<|> " pet" :> Capture " petId" Integer :> Header " api_key" Text :> Verb 'DELETE 200 '[JSON ] NoContent -- 'deletePet' route
142142 :<|> " pet" :> " findByStatus" :> QueryParam " status" QueryList 'CommaSeparated (Text )) :> Verb 'GET 200 '[JSON ] [Pet ] -- 'findPetsByStatus' route
143143 :<|> " pet" :> " findByTags" :> QueryParam " tags" QueryList 'CommaSeparated (Text )) :> Verb 'GET 200 '[JSON ] [Pet ] -- 'findPetsByTags' route
144144 :<|> " pet" :> Capture " petId" Integer :> Verb 'GET 200 '[JSON ] Pet -- 'getPetById' route
145- :<|> " pet" :> ReqBody '[JSON ] Pet :> Verb 'PUT 200 '[JSON ] () -- 'updatePet' route
146- :<|> " pet" :> Capture " petId" Integer :> ReqBody '[FormUrlEncoded ] FormUpdatePetWithForm :> Verb 'POST 200 '[JSON ] () -- 'updatePetWithForm' route
145+ :<|> " pet" :> ReqBody '[JSON ] Pet :> Verb 'PUT 200 '[JSON ] NoContent -- 'updatePet' route
146+ :<|> " pet" :> Capture " petId" Integer :> ReqBody '[FormUrlEncoded ] FormUpdatePetWithForm :> Verb 'POST 200 '[JSON ] NoContent -- 'updatePetWithForm' route
147147 :<|> " pet" :> Capture " petId" Integer :> " uploadImage" :> ReqBody '[FormUrlEncoded ] FormUploadFile :> Verb 'POST 200 '[JSON ] ApiResponse -- 'uploadFile' route
148- :<|> " store" :> " order" :> Capture " orderId" Text :> Verb 'DELETE 200 '[JSON ] () -- 'deleteOrder' route
148+ :<|> " store" :> " order" :> Capture " orderId" Text :> Verb 'DELETE 200 '[JSON ] NoContent -- 'deleteOrder' route
149149 :<|> " store" :> " inventory" :> Verb 'GET 200 '[JSON ] ((Map. MapString Int -- 'getInventory' route
150150 :<|> " store" :> " order" :> Capture " orderId" Integer :> Verb 'GET 200 '[JSON ] Order -- 'getOrderById' route
151151 :<|> " store" :> " order" :> ReqBody '[JSON ] Order :> Verb 'POST 200 '[JSON ] Order -- 'placeOrder' route
152- :<|> " user" :> ReqBody '[JSON ] User :> Verb 'POST 200 '[JSON ] () -- 'createUser' route
153- :<|> " user" :> " createWithArray" :> ReqBody '[JSON ] [User ] :> Verb 'POST 200 '[JSON ] () -- 'createUsersWithArrayInput' route
154- :<|> " user" :> " createWithList" :> ReqBody '[JSON ] [User ] :> Verb 'POST 200 '[JSON ] () -- 'createUsersWithListInput' route
155- :<|> " user" :> Capture " username" Text :> Verb 'DELETE 200 '[JSON ] () -- 'deleteUser' route
152+ :<|> " user" :> ReqBody '[JSON ] User :> Verb 'POST 200 '[JSON ] NoContent -- 'createUser' route
153+ :<|> " user" :> " createWithArray" :> ReqBody '[JSON ] [User ] :> Verb 'POST 200 '[JSON ] NoContent -- 'createUsersWithArrayInput' route
154+ :<|> " user" :> " createWithList" :> ReqBody '[JSON ] [User ] :> Verb 'POST 200 '[JSON ] NoContent -- 'createUsersWithListInput' route
155+ :<|> " user" :> Capture " username" Text :> Verb 'DELETE 200 '[JSON ] NoContent -- 'deleteUser' route
156156 :<|> " user" :> Capture " username" Text :> Verb 'GET 200 '[JSON ] User -- 'getUserByName' route
157157 :<|> " user" :> " login" :> QueryParam " username" Text :> QueryParam " password" Text :> Verb 'GET 200 '[JSON ] Text -- 'loginUser' route
158- :<|> " user" :> " logout" :> Verb 'GET 200 '[JSON ] () -- 'logoutUser' route
159- :<|> " user" :> Capture " username" Text :> ReqBody '[JSON ] User :> Verb 'PUT 200 '[JSON ] () -- 'updateUser' route
158+ :<|> " user" :> " logout" :> Verb 'GET 200 '[JSON ] NoContent -- 'logoutUser' route
159+ :<|> " user" :> Capture " username" Text :> ReqBody '[JSON ] User :> Verb 'PUT 200 '[JSON ] NoContent -- 'updateUser' route
160160 :<|> Raw
161161
162162
@@ -177,26 +177,26 @@ newtype OpenAPIPetstoreClientError = OpenAPIPetstoreClientError ClientError
177177-- is a backend that executes actions by sending HTTP requests (see @createOpenAPIPetstoreClient@). Alternatively, provided
178178-- a backend, the API can be served using @runOpenAPIPetstoreMiddlewareServer@.
179179data OpenAPIPetstoreBackend m = OpenAPIPetstoreBackend
180- { addPet :: Pet -> m () {- ^ -}
181- , deletePet :: Integer -> Maybe Text -> m () {- ^ -}
180+ { addPet :: Pet -> m NoContent {- ^ -}
181+ , deletePet :: Integer -> Maybe Text -> m NoContent {- ^ -}
182182 , findPetsByStatus :: Maybe Text ] -> m [Pet ]{- ^ Multiple status values can be provided with comma separated strings -}
183183 , findPetsByTags :: Maybe Text ] -> m [Pet ]{- ^ Multiple tags can be provided with comma separated strings. Use tag1, tag2, tag3 for testing. -}
184184 , getPetById :: Integer -> m Pet {- ^ Returns a single pet -}
185- , updatePet :: Pet -> m () {- ^ -}
186- , updatePetWithForm :: Integer -> FormUpdatePetWithForm -> m () {- ^ -}
185+ , updatePet :: Pet -> m NoContent {- ^ -}
186+ , updatePetWithForm :: Integer -> FormUpdatePetWithForm -> m NoContent {- ^ -}
187187 , uploadFile :: Integer -> FormUploadFile -> m ApiResponse {- ^ -}
188- , deleteOrder :: Text -> m () {- ^ For valid response try integer IDs with value < 1000. Anything above 1000 or nonintegers will generate API errors -}
188+ , deleteOrder :: Text -> m NoContent {- ^ For valid response try integer IDs with value < 1000. Anything above 1000 or nonintegers will generate API errors -}
189189 , getInventory :: m ((Map. MapString Int {- ^ Returns a map of status codes to quantities -}
190190 , getOrderById :: Integer -> m Order {- ^ For valid response try integer IDs with value <= 5 or > 10. Other values will generated exceptions -}
191191 , placeOrder :: Order -> m Order {- ^ -}
192- , createUser :: User -> m () {- ^ This can only be done by the logged in user. -}
193- , createUsersWithArrayInput :: [User ] -> m () {- ^ -}
194- , createUsersWithListInput :: [User ] -> m () {- ^ -}
195- , deleteUser :: Text -> m () {- ^ This can only be done by the logged in user. -}
192+ , createUser :: User -> m NoContent {- ^ This can only be done by the logged in user. -}
193+ , createUsersWithArrayInput :: [User ] -> m NoContent {- ^ -}
194+ , createUsersWithListInput :: [User ] -> m NoContent {- ^ -}
195+ , deleteUser :: Text -> m NoContent {- ^ This can only be done by the logged in user. -}
196196 , getUserByName :: Text -> m User {- ^ -}
197197 , loginUser :: Maybe Text -> Maybe Text -> m Text {- ^ -}
198- , logoutUser :: m () {- ^ -}
199- , updateUser :: Text -> User -> m () {- ^ This can only be done by the logged in user. -}
198+ , logoutUser :: m NoContent {- ^ -}
199+ , updateUser :: Text -> User -> m NoContent {- ^ This can only be done by the logged in user. -}
200200 }
201201
202202newtype OpenAPIPetstoreClient a = OpenAPIPetstoreClient
0 commit comments