{-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE DerivingStrategies #-} 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. 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 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 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) deriving anyclass (Log -> () forall a. (a -> ()) -> NFData a rnf :: Log -> () $crnf :: Log -> () NFData, [Log] -> Encoding [Log] -> Value Log -> Encoding Log -> Value 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 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 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)