{-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveAnyClass #-} module Hercules.API.Build.Log where import Hercules.API.Build.LogLine import Hercules.API.Prelude data Log = Log { Log -> Id "log" id :: Id "log", Log -> [LogLine] lines :: [LogLine], Log -> Bool done :: Bool } deriving ((forall x. Log -> Rep Log x) -> (forall x. Rep Log x -> Log) -> Generic Log forall x. Rep Log x -> Log forall x. Log -> Rep Log x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep Log x -> Log $cfrom :: forall x. Log -> Rep Log x Generic, Int -> Log -> ShowS [Log] -> ShowS Log -> String (Int -> Log -> ShowS) -> (Log -> String) -> ([Log] -> ShowS) -> Show Log forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Log] -> ShowS $cshowList :: [Log] -> ShowS show :: Log -> String $cshow :: Log -> String showsPrec :: Int -> Log -> ShowS $cshowsPrec :: Int -> Log -> ShowS Show, Log -> Log -> Bool (Log -> Log -> Bool) -> (Log -> Log -> Bool) -> Eq Log forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: Log -> Log -> Bool $c/= :: Log -> Log -> Bool == :: Log -> Log -> Bool $c== :: Log -> Log -> Bool Eq, Log -> () (Log -> ()) -> NFData Log forall a. (a -> ()) -> NFData a rnf :: Log -> () $crnf :: Log -> () NFData, [Log] -> Encoding [Log] -> Value Log -> Encoding Log -> Value (Log -> Value) -> (Log -> Encoding) -> ([Log] -> Value) -> ([Log] -> Encoding) -> ToJSON Log forall a. (a -> Value) -> (a -> Encoding) -> ([a] -> Value) -> ([a] -> Encoding) -> ToJSON a toEncodingList :: [Log] -> Encoding $ctoEncodingList :: [Log] -> Encoding toJSONList :: [Log] -> Value $ctoJSONList :: [Log] -> Value toEncoding :: Log -> Encoding $ctoEncoding :: Log -> Encoding toJSON :: Log -> Value $ctoJSON :: Log -> Value ToJSON, Value -> Parser [Log] Value -> Parser Log (Value -> Parser Log) -> (Value -> Parser [Log]) -> FromJSON Log forall a. (Value -> Parser a) -> (Value -> Parser [a]) -> FromJSON a parseJSONList :: Value -> Parser [Log] $cparseJSONList :: Value -> Parser [Log] parseJSON :: Value -> Parser Log $cparseJSON :: Value -> Parser Log FromJSON, Proxy Log -> Declare (Definitions Schema) NamedSchema (Proxy Log -> Declare (Definitions Schema) NamedSchema) -> ToSchema Log forall a. (Proxy a -> Declare (Definitions Schema) NamedSchema) -> ToSchema a declareNamedSchema :: Proxy Log -> Declare (Definitions Schema) NamedSchema $cdeclareNamedSchema :: Proxy Log -> Declare (Definitions Schema) NamedSchema ToSchema)