{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE MultiWayIf #-}
-- CHANGE WITH CAUTION: This is a generated code file generated by https://github.com/Haskell-OpenAPI-Code-Generator/Haskell-OpenAPI-Client-Code-Generator.
{-# LANGUAGE OverloadedStrings #-}

-- | Contains the different functions to run the operation postInvoicesInvoiceVoid
module StripeAPI.Operations.PostInvoicesInvoiceVoid where

import qualified Control.Monad.Fail
import qualified Control.Monad.Trans.Reader
import qualified Data.Aeson
import qualified Data.Aeson as Data.Aeson.Encoding.Internal
import qualified Data.Aeson as Data.Aeson.Types
import qualified Data.Aeson as Data.Aeson.Types.FromJSON
import qualified Data.Aeson as Data.Aeson.Types.Internal
import qualified Data.Aeson as Data.Aeson.Types.ToJSON
import qualified Data.ByteString.Char8
import qualified Data.ByteString.Char8 as Data.ByteString.Internal
import qualified Data.Either
import qualified Data.Functor
import qualified Data.Scientific
import qualified Data.Text
import qualified Data.Text.Internal
import qualified Data.Time.Calendar as Data.Time.Calendar.Days
import qualified Data.Time.LocalTime as Data.Time.LocalTime.Internal.ZonedTime
import qualified Data.Vector
import qualified GHC.Base
import qualified GHC.Classes
import qualified GHC.Int
import qualified GHC.Show
import qualified GHC.Types
import qualified Network.HTTP.Client
import qualified Network.HTTP.Client as Network.HTTP.Client.Request
import qualified Network.HTTP.Client as Network.HTTP.Client.Types
import qualified Network.HTTP.Simple
import qualified Network.HTTP.Types
import qualified Network.HTTP.Types as Network.HTTP.Types.Status
import qualified Network.HTTP.Types as Network.HTTP.Types.URI
import qualified StripeAPI.Common
import StripeAPI.Types
import qualified Prelude as GHC.Integer.Type
import qualified Prelude as GHC.Maybe

-- | > POST /v1/invoices/{invoice}/void
--
-- \<p>Mark a finalized invoice as void. This cannot be undone. Voiding an invoice is similar to \<a href=\"\#delete_invoice\">deletion\<\/a>, however it only applies to finalized invoices and maintains a papertrail where the invoice can still be found.\<\/p>
postInvoicesInvoiceVoid ::
  forall m.
  StripeAPI.Common.MonadHTTP m =>
  -- | invoice | Constraints: Maximum length of 5000
  Data.Text.Internal.Text ->
  -- | The request body to send
  GHC.Maybe.Maybe PostInvoicesInvoiceVoidRequestBody ->
  -- | Monadic computation which returns the result of the operation
  StripeAPI.Common.StripeT m (Network.HTTP.Client.Types.Response PostInvoicesInvoiceVoidResponse)
postInvoicesInvoiceVoid :: Text
-> Maybe PostInvoicesInvoiceVoidRequestBody
-> StripeT m (Response PostInvoicesInvoiceVoidResponse)
postInvoicesInvoiceVoid
  Text
invoice
  Maybe PostInvoicesInvoiceVoidRequestBody
body =
    (Response ByteString -> Response PostInvoicesInvoiceVoidResponse)
-> StripeT m (Response ByteString)
-> StripeT m (Response PostInvoicesInvoiceVoidResponse)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
GHC.Base.fmap
      ( \Response ByteString
response_0 ->
          (ByteString -> PostInvoicesInvoiceVoidResponse)
-> Response ByteString -> Response PostInvoicesInvoiceVoidResponse
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
GHC.Base.fmap
            ( (String -> PostInvoicesInvoiceVoidResponse)
-> (PostInvoicesInvoiceVoidResponse
    -> PostInvoicesInvoiceVoidResponse)
-> Either String PostInvoicesInvoiceVoidResponse
-> PostInvoicesInvoiceVoidResponse
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
Data.Either.either String -> PostInvoicesInvoiceVoidResponse
PostInvoicesInvoiceVoidResponseError PostInvoicesInvoiceVoidResponse -> PostInvoicesInvoiceVoidResponse
forall a. a -> a
GHC.Base.id
                (Either String PostInvoicesInvoiceVoidResponse
 -> PostInvoicesInvoiceVoidResponse)
-> (ByteString -> Either String PostInvoicesInvoiceVoidResponse)
-> ByteString
-> PostInvoicesInvoiceVoidResponse
forall b c a. (b -> c) -> (a -> b) -> a -> c
GHC.Base.. ( \Response ByteString
response ByteString
body ->
                               if
                                   | (\Status
status_1 -> Status -> Int
Network.HTTP.Types.Status.statusCode Status
status_1 Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
GHC.Classes.== Int
200) (Response ByteString -> Status
forall body. Response body -> Status
Network.HTTP.Client.Types.responseStatus Response ByteString
response) ->
                                     Invoice -> PostInvoicesInvoiceVoidResponse
PostInvoicesInvoiceVoidResponse200
                                       (Invoice -> PostInvoicesInvoiceVoidResponse)
-> Either String Invoice
-> Either String PostInvoicesInvoiceVoidResponse
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Data.Functor.<$> ( ByteString -> Either String Invoice
forall a. FromJSON a => ByteString -> Either String a
Data.Aeson.eitherDecodeStrict ByteString
body ::
                                                            Data.Either.Either
                                                              GHC.Base.String
                                                              Invoice
                                                        )
                                   | Bool -> Status -> Bool
forall a b. a -> b -> a
GHC.Base.const Bool
GHC.Types.True (Response ByteString -> Status
forall body. Response body -> Status
Network.HTTP.Client.Types.responseStatus Response ByteString
response) ->
                                     Error -> PostInvoicesInvoiceVoidResponse
PostInvoicesInvoiceVoidResponseDefault
                                       (Error -> PostInvoicesInvoiceVoidResponse)
-> Either String Error
-> Either String PostInvoicesInvoiceVoidResponse
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Data.Functor.<$> ( ByteString -> Either String Error
forall a. FromJSON a => ByteString -> Either String a
Data.Aeson.eitherDecodeStrict ByteString
body ::
                                                            Data.Either.Either
                                                              GHC.Base.String
                                                              Error
                                                        )
                                   | Bool
GHC.Base.otherwise -> String -> Either String PostInvoicesInvoiceVoidResponse
forall a b. a -> Either a b
Data.Either.Left String
"Missing default response type"
                           )
                  Response ByteString
response_0
            )
            Response ByteString
response_0
      )
      (Text
-> Text
-> [QueryParameter]
-> Maybe PostInvoicesInvoiceVoidRequestBody
-> RequestBodyEncoding
-> StripeT m (Response ByteString)
forall (m :: * -> *) body.
(MonadHTTP m, ToJSON body) =>
Text
-> Text
-> [QueryParameter]
-> Maybe body
-> RequestBodyEncoding
-> StripeT m (Response ByteString)
StripeAPI.Common.doBodyCallWithConfigurationM (Text -> Text
Data.Text.toUpper (Text -> Text) -> Text -> Text
forall a b. (a -> b) -> a -> b
GHC.Base.$ String -> Text
Data.Text.pack String
"POST") (String -> Text
Data.Text.pack (String
"/v1/invoices/" String -> String -> String
forall a. [a] -> [a] -> [a]
GHC.Base.++ (ByteString -> String
Data.ByteString.Char8.unpack (Bool -> ByteString -> ByteString
Network.HTTP.Types.URI.urlEncode Bool
GHC.Types.True (ByteString -> ByteString) -> ByteString -> ByteString
forall a b. (a -> b) -> a -> b
GHC.Base.$ (String -> ByteString
Data.ByteString.Char8.pack (String -> ByteString) -> String -> ByteString
forall a b. (a -> b) -> a -> b
GHC.Base.$ Text -> String
forall a. StringifyModel a => a -> String
StripeAPI.Common.stringifyModel Text
invoice)) String -> String -> String
forall a. [a] -> [a] -> [a]
GHC.Base.++ String
"/void"))) [QueryParameter]
forall a. Monoid a => a
GHC.Base.mempty Maybe PostInvoicesInvoiceVoidRequestBody
body RequestBodyEncoding
StripeAPI.Common.RequestBodyEncodingFormData)

-- | Defines the object schema located at @paths.\/v1\/invoices\/{invoice}\/void.POST.requestBody.content.application\/x-www-form-urlencoded.schema@ in the specification.
data PostInvoicesInvoiceVoidRequestBody = PostInvoicesInvoiceVoidRequestBody
  { -- | expand: Specifies which fields in the response should be expanded.
    PostInvoicesInvoiceVoidRequestBody -> Maybe [Text]
postInvoicesInvoiceVoidRequestBodyExpand :: (GHC.Maybe.Maybe ([Data.Text.Internal.Text]))
  }
  deriving
    ( Int -> PostInvoicesInvoiceVoidRequestBody -> String -> String
[PostInvoicesInvoiceVoidRequestBody] -> String -> String
PostInvoicesInvoiceVoidRequestBody -> String
(Int -> PostInvoicesInvoiceVoidRequestBody -> String -> String)
-> (PostInvoicesInvoiceVoidRequestBody -> String)
-> ([PostInvoicesInvoiceVoidRequestBody] -> String -> String)
-> Show PostInvoicesInvoiceVoidRequestBody
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
showList :: [PostInvoicesInvoiceVoidRequestBody] -> String -> String
$cshowList :: [PostInvoicesInvoiceVoidRequestBody] -> String -> String
show :: PostInvoicesInvoiceVoidRequestBody -> String
$cshow :: PostInvoicesInvoiceVoidRequestBody -> String
showsPrec :: Int -> PostInvoicesInvoiceVoidRequestBody -> String -> String
$cshowsPrec :: Int -> PostInvoicesInvoiceVoidRequestBody -> String -> String
GHC.Show.Show,
      PostInvoicesInvoiceVoidRequestBody
-> PostInvoicesInvoiceVoidRequestBody -> Bool
(PostInvoicesInvoiceVoidRequestBody
 -> PostInvoicesInvoiceVoidRequestBody -> Bool)
-> (PostInvoicesInvoiceVoidRequestBody
    -> PostInvoicesInvoiceVoidRequestBody -> Bool)
-> Eq PostInvoicesInvoiceVoidRequestBody
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PostInvoicesInvoiceVoidRequestBody
-> PostInvoicesInvoiceVoidRequestBody -> Bool
$c/= :: PostInvoicesInvoiceVoidRequestBody
-> PostInvoicesInvoiceVoidRequestBody -> Bool
== :: PostInvoicesInvoiceVoidRequestBody
-> PostInvoicesInvoiceVoidRequestBody -> Bool
$c== :: PostInvoicesInvoiceVoidRequestBody
-> PostInvoicesInvoiceVoidRequestBody -> Bool
GHC.Classes.Eq
    )

instance Data.Aeson.Types.ToJSON.ToJSON PostInvoicesInvoiceVoidRequestBody where
  toJSON :: PostInvoicesInvoiceVoidRequestBody -> Value
toJSON PostInvoicesInvoiceVoidRequestBody
obj = [Pair] -> Value
Data.Aeson.Types.Internal.object (Text
"expand" Text -> Maybe [Text] -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Data.Aeson.Types.ToJSON..= PostInvoicesInvoiceVoidRequestBody -> Maybe [Text]
postInvoicesInvoiceVoidRequestBodyExpand PostInvoicesInvoiceVoidRequestBody
obj Pair -> [Pair] -> [Pair]
forall a. a -> [a] -> [a]
: [Pair]
forall a. Monoid a => a
GHC.Base.mempty)
  toEncoding :: PostInvoicesInvoiceVoidRequestBody -> Encoding
toEncoding PostInvoicesInvoiceVoidRequestBody
obj = Series -> Encoding
Data.Aeson.Encoding.Internal.pairs (Text
"expand" Text -> Maybe [Text] -> Series
forall kv v. (KeyValue kv, ToJSON v) => Text -> v -> kv
Data.Aeson.Types.ToJSON..= PostInvoicesInvoiceVoidRequestBody -> Maybe [Text]
postInvoicesInvoiceVoidRequestBodyExpand PostInvoicesInvoiceVoidRequestBody
obj)

instance Data.Aeson.Types.FromJSON.FromJSON PostInvoicesInvoiceVoidRequestBody where
  parseJSON :: Value -> Parser PostInvoicesInvoiceVoidRequestBody
parseJSON = String
-> (Object -> Parser PostInvoicesInvoiceVoidRequestBody)
-> Value
-> Parser PostInvoicesInvoiceVoidRequestBody
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Data.Aeson.Types.FromJSON.withObject String
"PostInvoicesInvoiceVoidRequestBody" (\Object
obj -> (Maybe [Text] -> PostInvoicesInvoiceVoidRequestBody)
-> Parser (Maybe [Text] -> PostInvoicesInvoiceVoidRequestBody)
forall (f :: * -> *) a. Applicative f => a -> f a
GHC.Base.pure Maybe [Text] -> PostInvoicesInvoiceVoidRequestBody
PostInvoicesInvoiceVoidRequestBody Parser (Maybe [Text] -> PostInvoicesInvoiceVoidRequestBody)
-> Parser (Maybe [Text])
-> Parser PostInvoicesInvoiceVoidRequestBody
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
GHC.Base.<*> (Object
obj Object -> Text -> Parser (Maybe [Text])
forall a. FromJSON a => Object -> Text -> Parser (Maybe a)
Data.Aeson.Types.FromJSON..:? Text
"expand"))

-- | Create a new 'PostInvoicesInvoiceVoidRequestBody' with all required fields.
mkPostInvoicesInvoiceVoidRequestBody :: PostInvoicesInvoiceVoidRequestBody
mkPostInvoicesInvoiceVoidRequestBody :: PostInvoicesInvoiceVoidRequestBody
mkPostInvoicesInvoiceVoidRequestBody = PostInvoicesInvoiceVoidRequestBody :: Maybe [Text] -> PostInvoicesInvoiceVoidRequestBody
PostInvoicesInvoiceVoidRequestBody {postInvoicesInvoiceVoidRequestBodyExpand :: Maybe [Text]
postInvoicesInvoiceVoidRequestBodyExpand = Maybe [Text]
forall a. Maybe a
GHC.Maybe.Nothing}

-- | Represents a response of the operation 'postInvoicesInvoiceVoid'.
--
-- The response constructor is chosen by the status code of the response. If no case matches (no specific case for the response code, no range case, no default case), 'PostInvoicesInvoiceVoidResponseError' is used.
data PostInvoicesInvoiceVoidResponse
  = -- | Means either no matching case available or a parse error
    PostInvoicesInvoiceVoidResponseError GHC.Base.String
  | -- | Successful response.
    PostInvoicesInvoiceVoidResponse200 Invoice
  | -- | Error response.
    PostInvoicesInvoiceVoidResponseDefault Error
  deriving (Int -> PostInvoicesInvoiceVoidResponse -> String -> String
[PostInvoicesInvoiceVoidResponse] -> String -> String
PostInvoicesInvoiceVoidResponse -> String
(Int -> PostInvoicesInvoiceVoidResponse -> String -> String)
-> (PostInvoicesInvoiceVoidResponse -> String)
-> ([PostInvoicesInvoiceVoidResponse] -> String -> String)
-> Show PostInvoicesInvoiceVoidResponse
forall a.
(Int -> a -> String -> String)
-> (a -> String) -> ([a] -> String -> String) -> Show a
showList :: [PostInvoicesInvoiceVoidResponse] -> String -> String
$cshowList :: [PostInvoicesInvoiceVoidResponse] -> String -> String
show :: PostInvoicesInvoiceVoidResponse -> String
$cshow :: PostInvoicesInvoiceVoidResponse -> String
showsPrec :: Int -> PostInvoicesInvoiceVoidResponse -> String -> String
$cshowsPrec :: Int -> PostInvoicesInvoiceVoidResponse -> String -> String
GHC.Show.Show, PostInvoicesInvoiceVoidResponse
-> PostInvoicesInvoiceVoidResponse -> Bool
(PostInvoicesInvoiceVoidResponse
 -> PostInvoicesInvoiceVoidResponse -> Bool)
-> (PostInvoicesInvoiceVoidResponse
    -> PostInvoicesInvoiceVoidResponse -> Bool)
-> Eq PostInvoicesInvoiceVoidResponse
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PostInvoicesInvoiceVoidResponse
-> PostInvoicesInvoiceVoidResponse -> Bool
$c/= :: PostInvoicesInvoiceVoidResponse
-> PostInvoicesInvoiceVoidResponse -> Bool
== :: PostInvoicesInvoiceVoidResponse
-> PostInvoicesInvoiceVoidResponse -> Bool
$c== :: PostInvoicesInvoiceVoidResponse
-> PostInvoicesInvoiceVoidResponse -> Bool
GHC.Classes.Eq)