module Patrol.Type.Threads where
import qualified Data.Aeson as Aeson
import qualified Patrol.Extra.Aeson as Aeson
import qualified Patrol.Type.Thread as Thread
newtype Threads = Threads
{ Threads -> [Thread]
values :: [Thread.Thread]
}
deriving (Threads -> Threads -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Threads -> Threads -> Bool
$c/= :: Threads -> Threads -> Bool
== :: Threads -> Threads -> Bool
$c== :: Threads -> Threads -> Bool
Eq, Int -> Threads -> ShowS
[Threads] -> ShowS
Threads -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Threads] -> ShowS
$cshowList :: [Threads] -> ShowS
show :: Threads -> String
$cshow :: Threads -> String
showsPrec :: Int -> Threads -> ShowS
$cshowsPrec :: Int -> Threads -> ShowS
Show)
instance Aeson.ToJSON Threads where
toJSON :: Threads -> Value
toJSON Threads
threads =
[Pair] -> Value
Aeson.intoObject
[ forall a. ToJSON a => String -> a -> Pair
Aeson.pair String
"values" forall a b. (a -> b) -> a -> b
$ Threads -> [Thread]
values Threads
threads
]
empty :: Threads
empty :: Threads
empty =
Threads
{ values :: [Thread]
values = []
}