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
(CError -> CError -> Bool)
-> (CError -> CError -> Bool) -> Eq CError
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: CError -> CError -> Bool
== :: CError -> CError -> Bool
$c/= :: CError -> CError -> Bool
/= :: CError -> CError -> Bool
Eq, Int -> CError -> ShowS
[CError] -> ShowS
CError -> String
(Int -> CError -> ShowS)
-> (CError -> String) -> ([CError] -> ShowS) -> Show CError
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> CError -> ShowS
showsPrec :: Int -> CError -> ShowS
$cshow :: CError -> String
show :: CError -> String
$cshowList :: [CError] -> ShowS
showList :: [CError] -> ShowS
Show)
instance Aeson.ToJSON CError where
toJSON :: CError -> Value
toJSON CError
cError =
[Pair] -> Value
Aeson.intoObject
[ String -> Text -> Pair
forall a. ToJSON a => String -> a -> Pair
Aeson.pair String
"name" (Text -> Pair) -> Text -> Pair
forall a b. (a -> b) -> a -> b
$ CError -> Text
name CError
cError,
String -> Maybe Int -> Pair
forall a. ToJSON a => String -> a -> Pair
Aeson.pair String
"number" (Maybe Int -> Pair) -> Maybe Int -> Pair
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 = Maybe Int
forall a. Maybe a
Nothing
}