-- | Error types for Claude API
module Claude.V1.Error
    ( -- * Types
      Error(..)
    , ErrorType(..)
    ) where

import Claude.Prelude

-- | The type of error that occurred
data ErrorType
    = Invalid_Request_Error
    | Authentication_Error
    | Permission_Error
    | Not_Found_Error
    | Rate_Limit_Error
    | Api_Error
    | Overloaded_Error
    deriving stock (ErrorType -> ErrorType -> Bool
(ErrorType -> ErrorType -> Bool)
-> (ErrorType -> ErrorType -> Bool) -> Eq ErrorType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ErrorType -> ErrorType -> Bool
== :: ErrorType -> ErrorType -> Bool
$c/= :: ErrorType -> ErrorType -> Bool
/= :: ErrorType -> ErrorType -> Bool
Eq, (forall x. ErrorType -> Rep ErrorType x)
-> (forall x. Rep ErrorType x -> ErrorType) -> Generic ErrorType
forall x. Rep ErrorType x -> ErrorType
forall x. ErrorType -> Rep ErrorType x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ErrorType -> Rep ErrorType x
from :: forall x. ErrorType -> Rep ErrorType x
$cto :: forall x. Rep ErrorType x -> ErrorType
to :: forall x. Rep ErrorType x -> ErrorType
Generic, Int -> ErrorType -> ShowS
[ErrorType] -> ShowS
ErrorType -> String
(Int -> ErrorType -> ShowS)
-> (ErrorType -> String)
-> ([ErrorType] -> ShowS)
-> Show ErrorType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> ErrorType -> ShowS
showsPrec :: Int -> ErrorType -> ShowS
$cshow :: ErrorType -> String
show :: ErrorType -> String
$cshowList :: [ErrorType] -> ShowS
showList :: [ErrorType] -> ShowS
Show)

errorTypeOptions :: Options
errorTypeOptions :: Options
errorTypeOptions = Options
aesonOptions
    { constructorTagModifier = stripPrefix "" }

instance FromJSON ErrorType where
    parseJSON :: Value -> Parser ErrorType
parseJSON = Options -> Value -> Parser ErrorType
forall a.
(Generic a, GFromJSON Zero (Rep a)) =>
Options -> Value -> Parser a
genericParseJSON Options
errorTypeOptions

instance ToJSON ErrorType where
    toJSON :: ErrorType -> Value
toJSON = Options -> ErrorType -> Value
forall a.
(Generic a, GToJSON' Value Zero (Rep a)) =>
Options -> a -> Value
genericToJSON Options
errorTypeOptions

-- | Error information returned by the Claude API
data Error = Error
    { Error -> ErrorType
type_ :: ErrorType
    , Error -> Text
message :: Text
    } deriving stock ((forall x. Error -> Rep Error x)
-> (forall x. Rep Error x -> Error) -> Generic Error
forall x. Rep Error x -> Error
forall x. Error -> Rep Error x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Error -> Rep Error x
from :: forall x. Error -> Rep Error x
$cto :: forall x. Rep Error x -> Error
to :: forall x. Rep Error x -> Error
Generic, Int -> Error -> ShowS
[Error] -> ShowS
Error -> String
(Int -> Error -> ShowS)
-> (Error -> String) -> ([Error] -> ShowS) -> Show Error
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Error -> ShowS
showsPrec :: Int -> Error -> ShowS
$cshow :: Error -> String
show :: Error -> String
$cshowList :: [Error] -> ShowS
showList :: [Error] -> ShowS
Show)

instance FromJSON Error where
    parseJSON :: Value -> Parser Error
parseJSON = Options -> Value -> Parser Error
forall a.
(Generic a, GFromJSON Zero (Rep a)) =>
Options -> Value -> Parser a
genericParseJSON Options
aesonOptions

instance ToJSON Error where
    toJSON :: Error -> Value
toJSON = Options -> Error -> Value
forall a.
(Generic a, GToJSON' Value Zero (Rep a)) =>
Options -> a -> Value
genericToJSON Options
aesonOptions