{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DerivingStrategies #-}

module Hercules.API.Build.EvaluationDetail where

import Data.OpenApi qualified as O3
import Hercules.API.Attribute (Attribute)
import Hercules.API.Build.AgentRequirements (AgentRequirements)
import Hercules.API.Build.EvaluationDependency
  ( EvaluationDependency,
  )
import Hercules.API.Derivation (Derivation, DerivationStatus)
import Hercules.API.Evaluation.AttributeError
  ( AttributeError,
  )
import Hercules.API.Evaluation.Evaluation
  ( Evaluation,
  )
import Hercules.API.Message (Message)
import Hercules.API.Prelude
import Hercules.API.Result (Result)

data EvaluationDetail = EvaluationDetail
  { EvaluationDetail -> Id Evaluation
id :: Id Evaluation,
    EvaluationDetail -> Text
agentHostname :: Text,
    EvaluationDetail -> Text
agentVersion :: Text,
    EvaluationDetail -> [Message]
messages :: [Message],
    EvaluationDetail -> [Attribute (Result AttributeError Derivation)]
attributes :: [Attribute (Result AttributeError Derivation)],
    EvaluationDetail -> [IFDAttribute]
ifdAttributes :: [IFDAttribute],
    EvaluationDetail -> [EvaluationDependency]
evaluationDependencies :: [EvaluationDependency],
    EvaluationDetail -> Maybe (Id "log")
evaluationLog :: Maybe (Id "log"),
    -- | A set of (path, derivationstatus) that is relevant to the evaluation
    EvaluationDetail -> Map Text DerivationStatus
derivations :: Map Text DerivationStatus,
    EvaluationDetail -> Int
derivationsWaitingCount :: Int,
    EvaluationDetail -> Int
derivationsBuildingCount :: Int,
    EvaluationDetail -> Int
derivationsBuildFailureCount :: Int,
    EvaluationDetail -> Int
derivationsDependencyFailureCount :: Int,
    EvaluationDetail -> Int
derivationsBuildSuccessCount :: Int,
    EvaluationDetail -> Int
derivationsCancelledCount :: Int,
    EvaluationDetail -> [AgentRequirements]
unmetAgentRequirements :: [AgentRequirements]
  }
  deriving ((forall x. EvaluationDetail -> Rep EvaluationDetail x)
-> (forall x. Rep EvaluationDetail x -> EvaluationDetail)
-> Generic EvaluationDetail
forall x. Rep EvaluationDetail x -> EvaluationDetail
forall x. EvaluationDetail -> Rep EvaluationDetail x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. EvaluationDetail -> Rep EvaluationDetail x
from :: forall x. EvaluationDetail -> Rep EvaluationDetail x
$cto :: forall x. Rep EvaluationDetail x -> EvaluationDetail
to :: forall x. Rep EvaluationDetail x -> EvaluationDetail
Generic, Int -> EvaluationDetail -> ShowS
[EvaluationDetail] -> ShowS
EvaluationDetail -> String
(Int -> EvaluationDetail -> ShowS)
-> (EvaluationDetail -> String)
-> ([EvaluationDetail] -> ShowS)
-> Show EvaluationDetail
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> EvaluationDetail -> ShowS
showsPrec :: Int -> EvaluationDetail -> ShowS
$cshow :: EvaluationDetail -> String
show :: EvaluationDetail -> String
$cshowList :: [EvaluationDetail] -> ShowS
showList :: [EvaluationDetail] -> ShowS
Show, EvaluationDetail -> EvaluationDetail -> Bool
(EvaluationDetail -> EvaluationDetail -> Bool)
-> (EvaluationDetail -> EvaluationDetail -> Bool)
-> Eq EvaluationDetail
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: EvaluationDetail -> EvaluationDetail -> Bool
== :: EvaluationDetail -> EvaluationDetail -> Bool
$c/= :: EvaluationDetail -> EvaluationDetail -> Bool
/= :: EvaluationDetail -> EvaluationDetail -> Bool
Eq)
  deriving anyclass (EvaluationDetail -> ()
(EvaluationDetail -> ()) -> NFData EvaluationDetail
forall a. (a -> ()) -> NFData a
$crnf :: EvaluationDetail -> ()
rnf :: EvaluationDetail -> ()
NFData, [EvaluationDetail] -> Value
[EvaluationDetail] -> Encoding
EvaluationDetail -> Value
EvaluationDetail -> Encoding
(EvaluationDetail -> Value)
-> (EvaluationDetail -> Encoding)
-> ([EvaluationDetail] -> Value)
-> ([EvaluationDetail] -> Encoding)
-> ToJSON EvaluationDetail
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
$ctoJSON :: EvaluationDetail -> Value
toJSON :: EvaluationDetail -> Value
$ctoEncoding :: EvaluationDetail -> Encoding
toEncoding :: EvaluationDetail -> Encoding
$ctoJSONList :: [EvaluationDetail] -> Value
toJSONList :: [EvaluationDetail] -> Value
$ctoEncodingList :: [EvaluationDetail] -> Encoding
toEncodingList :: [EvaluationDetail] -> Encoding
ToJSON, Value -> Parser [EvaluationDetail]
Value -> Parser EvaluationDetail
(Value -> Parser EvaluationDetail)
-> (Value -> Parser [EvaluationDetail])
-> FromJSON EvaluationDetail
forall a.
(Value -> Parser a) -> (Value -> Parser [a]) -> FromJSON a
$cparseJSON :: Value -> Parser EvaluationDetail
parseJSON :: Value -> Parser EvaluationDetail
$cparseJSONList :: Value -> Parser [EvaluationDetail]
parseJSONList :: Value -> Parser [EvaluationDetail]
FromJSON, Proxy EvaluationDetail -> Declare (Definitions Schema) NamedSchema
(Proxy EvaluationDetail
 -> Declare (Definitions Schema) NamedSchema)
-> ToSchema EvaluationDetail
forall a.
(Proxy a -> Declare (Definitions Schema) NamedSchema) -> ToSchema a
$cdeclareNamedSchema :: Proxy EvaluationDetail -> Declare (Definitions Schema) NamedSchema
declareNamedSchema :: Proxy EvaluationDetail -> Declare (Definitions Schema) NamedSchema
ToSchema, Typeable EvaluationDetail
Typeable EvaluationDetail =>
(Proxy EvaluationDetail
 -> Declare (Definitions Schema) NamedSchema)
-> ToSchema EvaluationDetail
Proxy EvaluationDetail -> Declare (Definitions Schema) NamedSchema
forall a.
Typeable a =>
(Proxy a -> Declare (Definitions Schema) NamedSchema) -> ToSchema a
$cdeclareNamedSchema :: Proxy EvaluationDetail -> Declare (Definitions Schema) NamedSchema
declareNamedSchema :: Proxy EvaluationDetail -> Declare (Definitions Schema) NamedSchema
O3.ToSchema)

newtype IFDAttribute = IFDAttribute (Attribute Derivation)
  deriving ((forall x. IFDAttribute -> Rep IFDAttribute x)
-> (forall x. Rep IFDAttribute x -> IFDAttribute)
-> Generic IFDAttribute
forall x. Rep IFDAttribute x -> IFDAttribute
forall x. IFDAttribute -> Rep IFDAttribute x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. IFDAttribute -> Rep IFDAttribute x
from :: forall x. IFDAttribute -> Rep IFDAttribute x
$cto :: forall x. Rep IFDAttribute x -> IFDAttribute
to :: forall x. Rep IFDAttribute x -> IFDAttribute
Generic, Int -> IFDAttribute -> ShowS
[IFDAttribute] -> ShowS
IFDAttribute -> String
(Int -> IFDAttribute -> ShowS)
-> (IFDAttribute -> String)
-> ([IFDAttribute] -> ShowS)
-> Show IFDAttribute
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> IFDAttribute -> ShowS
showsPrec :: Int -> IFDAttribute -> ShowS
$cshow :: IFDAttribute -> String
show :: IFDAttribute -> String
$cshowList :: [IFDAttribute] -> ShowS
showList :: [IFDAttribute] -> ShowS
Show, IFDAttribute -> IFDAttribute -> Bool
(IFDAttribute -> IFDAttribute -> Bool)
-> (IFDAttribute -> IFDAttribute -> Bool) -> Eq IFDAttribute
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: IFDAttribute -> IFDAttribute -> Bool
== :: IFDAttribute -> IFDAttribute -> Bool
$c/= :: IFDAttribute -> IFDAttribute -> Bool
/= :: IFDAttribute -> IFDAttribute -> Bool
Eq)
  deriving anyclass (IFDAttribute -> ()
(IFDAttribute -> ()) -> NFData IFDAttribute
forall a. (a -> ()) -> NFData a
$crnf :: IFDAttribute -> ()
rnf :: IFDAttribute -> ()
NFData, [IFDAttribute] -> Value
[IFDAttribute] -> Encoding
IFDAttribute -> Value
IFDAttribute -> Encoding
(IFDAttribute -> Value)
-> (IFDAttribute -> Encoding)
-> ([IFDAttribute] -> Value)
-> ([IFDAttribute] -> Encoding)
-> ToJSON IFDAttribute
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
$ctoJSON :: IFDAttribute -> Value
toJSON :: IFDAttribute -> Value
$ctoEncoding :: IFDAttribute -> Encoding
toEncoding :: IFDAttribute -> Encoding
$ctoJSONList :: [IFDAttribute] -> Value
toJSONList :: [IFDAttribute] -> Value
$ctoEncodingList :: [IFDAttribute] -> Encoding
toEncodingList :: [IFDAttribute] -> Encoding
ToJSON, Value -> Parser [IFDAttribute]
Value -> Parser IFDAttribute
(Value -> Parser IFDAttribute)
-> (Value -> Parser [IFDAttribute]) -> FromJSON IFDAttribute
forall a.
(Value -> Parser a) -> (Value -> Parser [a]) -> FromJSON a
$cparseJSON :: Value -> Parser IFDAttribute
parseJSON :: Value -> Parser IFDAttribute
$cparseJSONList :: Value -> Parser [IFDAttribute]
parseJSONList :: Value -> Parser [IFDAttribute]
FromJSON, Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema
(Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema)
-> ToSchema IFDAttribute
forall a.
(Proxy a -> Declare (Definitions Schema) NamedSchema) -> ToSchema a
$cdeclareNamedSchema :: Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema
declareNamedSchema :: Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema
ToSchema, Typeable IFDAttribute
Typeable IFDAttribute =>
(Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema)
-> ToSchema IFDAttribute
Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema
forall a.
Typeable a =>
(Proxy a -> Declare (Definitions Schema) NamedSchema) -> ToSchema a
$cdeclareNamedSchema :: Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema
declareNamedSchema :: Proxy IFDAttribute -> Declare (Definitions Schema) NamedSchema
O3.ToSchema)