    {-
       Swagger Petstore

       This spec is mainly for testing Petstore server and contains fake endpoints, models. Please do not use this for any other purpose. Special characters: \" \\

       OpenAPI spec version: 2.0
       Swagger Petstore API version: 1.0.0
       Contact: apiteam@swagger.io
       Generated by Swagger Codegen (https://github.com/swagger-api/swagger-codegen.git)
    -}

    {-|
    Module : SwaggerPetstore.API.User
    -}

    {-# LANGUAGE FlexibleContexts #-}
    {-# LANGUAGE FlexibleInstances #-}
    {-# LANGUAGE MonoLocalBinds #-}
    {-# LANGUAGE MultiParamTypeClasses #-}
    {-# LANGUAGE OverloadedStrings #-}
    {-# OPTIONS_GHC -fno-warn-name-shadowing -fno-warn-unused-binds -fno-warn-unused-imports #-}

    module SwaggerPetstore.API.User where

    import SwaggerPetstore.Core
    import SwaggerPetstore.MimeTypes
    import SwaggerPetstore.Model as M

    import qualified Data.Aeson as A
    import qualified Data.ByteString as B
    import qualified Data.ByteString.Lazy as BL
    import qualified Data.Data as P (Typeable, TypeRep, typeOf, typeRep)
    import qualified Data.Foldable as P
    import qualified Data.Map as Map
    import qualified Data.Maybe as P
    import qualified Data.Proxy as P (Proxy(..))
    import qualified Data.Set as Set
    import qualified Data.String as P
    import qualified Data.Text as T
    import qualified Data.Text.Encoding as T
    import qualified Data.Text.Lazy as TL
    import qualified Data.Text.Lazy.Encoding as TL
    import qualified Data.Time as TI
    import qualified Network.HTTP.Client.MultipartFormData as NH
    import qualified Network.HTTP.Media as ME
    import qualified Network.HTTP.Types as NH
    import qualified Web.FormUrlEncoded as WH
    import qualified Web.HttpApiData as WH

    import Data.Text (Text)
    import GHC.Base ((<|>))

    import Prelude ((==),(/=),($), (.),(<$>),(<*>),(>>=),Maybe(..),Bool(..),Char,Double,FilePath,Float,Int,Integer,String,fmap,undefined,mempty,maybe,pure,Monad,Applicative,Functor)
    import qualified Prelude as P

    -- * Operations

    -- ** User

    -- *** createUser

    -- | @POST \/user@
    --
    -- Create user
    --
    -- This can only be done by the logged in user.
    --
    -- Note: Has 'Produces' instances, but no response schema
    --
    createUser
      :: (Consumes CreateUser contentType, MimeRender contentType User)
      => ContentType contentType -- ^ request content-type ('MimeType')
      -> Accept accept -- ^ request accept ('MimeType')
      -> User -- ^ "body" -  Created user object
      -> SwaggerPetstoreRequest CreateUser contentType res accept
    createUser _  _ body =
      _mkRequest "POST" ["/user"]
        `setBodyParam` body

    data CreateUser

    -- | /Body Param/ "body" - Created user object
    instance HasBodyParam CreateUser User
    -- | @application/xml@
    instance Produces CreateUser MimeXML
    -- | @application/json@
    instance Produces CreateUser MimeJSON

    -- *** createUsersWithArrayInput

    -- | @POST \/user\/createWithArray@
    --
    -- Creates list of users with given input array
    --
    --
    --
    -- Note: Has 'Produces' instances, but no response schema
    --
    createUsersWithArrayInput
      :: (Consumes CreateUsersWithArrayInput contentType, MimeRender contentType Body)
      => ContentType contentType -- ^ request content-type ('MimeType')
      -> Accept accept -- ^ request accept ('MimeType')
      -> Body -- ^ "body" -  List of user object
      -> SwaggerPetstoreRequest CreateUsersWithArrayInput contentType res accept
    createUsersWithArrayInput _  _ body =
      _mkRequest "POST" ["/user/createWithArray"]
        `setBodyParam` body

    data CreateUsersWithArrayInput

    -- | /Body Param/ "body" - List of user object
    instance HasBodyParam CreateUsersWithArrayInput Body
    -- | @application/xml@
    instance Produces CreateUsersWithArrayInput MimeXML
    -- | @application/json@
    instance Produces CreateUsersWithArrayInput MimeJSON

    -- *** createUsersWithListInput

    -- | @POST \/user\/createWithList@
    --
    -- Creates list of users with given input array
    --
    --
    --
    -- Note: Has 'Produces' instances, but no response schema
    --
    createUsersWithListInput
      :: (Consumes CreateUsersWithListInput contentType, MimeRender contentType Body)
      => ContentType contentType -- ^ request content-type ('MimeType')
      -> Accept accept -- ^ request accept ('MimeType')
      -> Body -- ^ "body" -  List of user object
      -> SwaggerPetstoreRequest CreateUsersWithListInput contentType res accept
    createUsersWithListInput _  _ body =
      _mkRequest "POST" ["/user/createWithList"]
        `setBodyParam` body

    data CreateUsersWithListInput

    -- | /Body Param/ "body" - List of user object
    instance HasBodyParam CreateUsersWithListInput Body
    -- | @application/xml@
    instance Produces CreateUsersWithListInput MimeXML
    -- | @application/json@
    instance Produces CreateUsersWithListInput MimeJSON

    -- *** deleteUser

    -- | @DELETE \/user\/{username}@
    --
    -- Delete user
    --
    -- This can only be done by the logged in user.
    --
    -- Note: Has 'Produces' instances, but no response schema
    --
    deleteUser
      :: Accept accept -- ^ request accept ('MimeType')
      -> Username -- ^ "username" -  The name that needs to be deleted
      -> SwaggerPetstoreRequest DeleteUser MimeNoContent res accept
    deleteUser  _ (Username username) =
      _mkRequest "DELETE" ["/user/",toPath username]

    data DeleteUser
    -- | @application/xml@
    instance Produces DeleteUser MimeXML
    -- | @application/json@
    instance Produces DeleteUser MimeJSON

    -- *** getUserByName

    -- | @GET \/user\/{username}@
    --
    -- Get user by user name
    --
    --
    --
    getUserByName
      :: Accept accept -- ^ request accept ('MimeType')
      -> Username -- ^ "username" -  The name that needs to be fetched. Use user1 for testing.
      -> SwaggerPetstoreRequest GetUserByName MimeNoContent User accept
    getUserByName  _ (Username username) =
      _mkRequest "GET" ["/user/",toPath username]

    data GetUserByName
    -- | @application/xml@
    instance Produces GetUserByName MimeXML
    -- | @application/json@
    instance Produces GetUserByName MimeJSON

    -- *** loginUser

    -- | @GET \/user\/login@
    --
    -- Logs user into the system
    --
    --
    --
    loginUser
      :: Accept accept -- ^ request accept ('MimeType')
      -> Username -- ^ "username" -  The user name for login
      -> Password -- ^ "password" -  The password for login in clear text
      -> SwaggerPetstoreRequest LoginUser MimeNoContent Text accept
    loginUser  _ (Username username) (Password password) =
      _mkRequest "GET" ["/user/login"]
        `setQuery` toQuery ("username", Just username)
        `setQuery` toQuery ("password", Just password)

    data LoginUser
    -- | @application/xml@
    instance Produces LoginUser MimeXML
    -- | @application/json@
    instance Produces LoginUser MimeJSON

    -- *** logoutUser

    -- | @GET \/user\/logout@
    --
    -- Logs out current logged in user session
    --
    --
    --
    -- Note: Has 'Produces' instances, but no response schema
    --
    logoutUser
      :: Accept accept -- ^ request accept ('MimeType')
      -> SwaggerPetstoreRequest LogoutUser MimeNoContent res accept
    logoutUser  _ =
      _mkRequest "GET" ["/user/logout"]

    data LogoutUser
    -- | @application/xml@
    instance Produces LogoutUser MimeXML
    -- | @application/json@
    instance Produces LogoutUser MimeJSON

    -- *** updateUser

    -- | @PUT \/user\/{username}@
    --
    -- Updated user
    --
    -- This can only be done by the logged in user.
    --
    -- Note: Has 'Produces' instances, but no response schema
    --
    updateUser
      :: (Consumes UpdateUser contentType, MimeRender contentType User)
      => ContentType contentType -- ^ request content-type ('MimeType')
      -> Accept accept -- ^ request accept ('MimeType')
      -> Username -- ^ "username" -  name that need to be deleted
      -> User -- ^ "body" -  Updated user object
      -> SwaggerPetstoreRequest UpdateUser contentType res accept
    updateUser _  _ (Username username) body =
      _mkRequest "PUT" ["/user/",toPath username]
        `setBodyParam` body

    data UpdateUser

    -- | /Body Param/ "body" - Updated user object
    instance HasBodyParam UpdateUser User
    -- | @application/xml@
    instance Produces UpdateUser MimeXML
    -- | @application/json@
    instance Produces UpdateUser MimeJSON