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

module Hercules.API.Build.EvaluationDetail where

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

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