module Patrol.Type.CError where
import qualified Data.Aeson as Aeson
import qualified Data.Text as Text
import qualified Patrol.Extra.Aeson as Aeson
data CError = CError
{ CError -> Text
name :: Text.Text,
CError -> Maybe Int
number :: Maybe Int
}
deriving (CError -> CError -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CError -> CError -> Bool
$c/= :: CError -> CError -> Bool
== :: CError -> CError -> Bool
$c== :: CError -> CError -> Bool
Eq, Int -> CError -> ShowS
[CError] -> ShowS
CError -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CError] -> ShowS
$cshowList :: [CError] -> ShowS
show :: CError -> String
$cshow :: CError -> String
showsPrec :: Int -> CError -> ShowS
$cshowsPrec :: Int -> CError -> ShowS
Show)
instance Aeson.ToJSON CError where
toJSON :: CError -> Value
toJSON CError
cError =
[Pair] -> Value
Aeson.intoObject
[ forall a. ToJSON a => String -> a -> Pair
Aeson.pair String
"name" forall a b. (a -> b) -> a -> b
$ CError -> Text
name CError
cError,
forall a. ToJSON a => String -> a -> Pair
Aeson.pair String
"number" forall a b. (a -> b) -> a -> b
$ CError -> Maybe Int
number CError
cError
]
empty :: CError
empty :: CError
empty =
CError
{ name :: Text
name = Text
Text.empty,
number :: Maybe Int
number = forall a. Maybe a
Nothing
}