{-# LANGUAGE DeriveAnyClass #-}

module Hercules.API.Agent.Evaluate.EvaluateEvent.DerivationInfo where

import Control.Applicative
import Control.Lens
import qualified Data.Aeson as A
import Data.Aeson.Lens
import Hercules.API.Prelude

type OutputNameText = Text

type DerivationPathText = Text

-- | Derivation fields that are relevant to CI, notably excluding the details
-- that make it buildable and may be sensitive such as the builder script or
-- output hashes.
data DerivationInfo = DerivationInfo
  { DerivationInfo -> DerivationPathText
derivationPath :: DerivationPathText,
    DerivationInfo -> DerivationPathText
platform :: Text,
    DerivationInfo -> [DerivationPathText]
requiredSystemFeatures :: [Text],
    DerivationInfo -> Map DerivationPathText [DerivationPathText]
inputDerivations :: Map DerivationPathText [OutputNameText],
    DerivationInfo -> [DerivationPathText]
inputSources :: [DerivationPathText],
    DerivationInfo -> Map DerivationPathText OutputInfo
outputs :: Map OutputNameText OutputInfo
  }
  deriving ((forall x. DerivationInfo -> Rep DerivationInfo x)
-> (forall x. Rep DerivationInfo x -> DerivationInfo)
-> Generic DerivationInfo
forall x. Rep DerivationInfo x -> DerivationInfo
forall x. DerivationInfo -> Rep DerivationInfo x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. DerivationInfo -> Rep DerivationInfo x
from :: forall x. DerivationInfo -> Rep DerivationInfo x
$cto :: forall x. Rep DerivationInfo x -> DerivationInfo
to :: forall x. Rep DerivationInfo x -> DerivationInfo
Generic, Int -> DerivationInfo -> ShowS
[DerivationInfo] -> ShowS
DerivationInfo -> String
(Int -> DerivationInfo -> ShowS)
-> (DerivationInfo -> String)
-> ([DerivationInfo] -> ShowS)
-> Show DerivationInfo
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DerivationInfo -> ShowS
showsPrec :: Int -> DerivationInfo -> ShowS
$cshow :: DerivationInfo -> String
show :: DerivationInfo -> String
$cshowList :: [DerivationInfo] -> ShowS
showList :: [DerivationInfo] -> ShowS
Show, DerivationInfo -> DerivationInfo -> Bool
(DerivationInfo -> DerivationInfo -> Bool)
-> (DerivationInfo -> DerivationInfo -> Bool) -> Eq DerivationInfo
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DerivationInfo -> DerivationInfo -> Bool
== :: DerivationInfo -> DerivationInfo -> Bool
$c/= :: DerivationInfo -> DerivationInfo -> Bool
/= :: DerivationInfo -> DerivationInfo -> Bool
Eq, DerivationInfo -> ()
(DerivationInfo -> ()) -> NFData DerivationInfo
forall a. (a -> ()) -> NFData a
$crnf :: DerivationInfo -> ()
rnf :: DerivationInfo -> ()
NFData, [DerivationInfo] -> Value
[DerivationInfo] -> Encoding
DerivationInfo -> Value
DerivationInfo -> Encoding
(DerivationInfo -> Value)
-> (DerivationInfo -> Encoding)
-> ([DerivationInfo] -> Value)
-> ([DerivationInfo] -> Encoding)
-> ToJSON DerivationInfo
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
$ctoJSON :: DerivationInfo -> Value
toJSON :: DerivationInfo -> Value
$ctoEncoding :: DerivationInfo -> Encoding
toEncoding :: DerivationInfo -> Encoding
$ctoJSONList :: [DerivationInfo] -> Value
toJSONList :: [DerivationInfo] -> Value
$ctoEncodingList :: [DerivationInfo] -> Encoding
toEncodingList :: [DerivationInfo] -> Encoding
ToJSON)

instance FromJSON DerivationInfo where
  parseJSON :: Value -> Parser DerivationInfo
parseJSON = Options -> Value -> Parser DerivationInfo
forall a.
(Generic a, GFromJSON Zero (Rep a)) =>
Options -> Value -> Parser a
A.genericParseJSON Options
A.defaultOptions (Value -> Parser DerivationInfo)
-> (Value -> Value) -> Value -> Parser DerivationInfo
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Value -> Value
fixup
    where
      fixup :: A.Value -> A.Value
      fixup :: Value -> Value
fixup = (KeyMap Value -> Identity (KeyMap Value))
-> Value -> Identity Value
forall t. AsValue t => Prism' t (KeyMap Value)
Prism' Value (KeyMap Value)
_Object ((KeyMap Value -> Identity (KeyMap Value))
 -> Value -> Identity Value)
-> ((Maybe Value -> Identity (Maybe Value))
    -> KeyMap Value -> Identity (KeyMap Value))
-> (Maybe Value -> Identity (Maybe Value))
-> Value
-> Identity Value
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Index (KeyMap Value)
-> Lens' (KeyMap Value) (Maybe (IxValue (KeyMap Value)))
forall m. At m => Index m -> Lens' m (Maybe (IxValue m))
at Key
Index (KeyMap Value)
"requiredSystemFeatures" ((Maybe Value -> Identity (Maybe Value))
 -> Value -> Identity Value)
-> (Maybe Value -> Maybe Value) -> Value -> Value
forall s t a b. ASetter s t a b -> (a -> b) -> s -> t
%~ (Maybe Value -> Maybe Value -> Maybe Value
forall a. Maybe a -> Maybe a -> Maybe a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> Value -> Maybe Value
forall a. a -> Maybe a
Just (Array -> Value
A.Array Array
forall a. Monoid a => a
mempty))

data OutputInfo = OutputInfo
  { OutputInfo -> Maybe DerivationPathText
path :: Maybe Text,
    OutputInfo -> Bool
isFixed :: Bool
  }
  deriving ((forall x. OutputInfo -> Rep OutputInfo x)
-> (forall x. Rep OutputInfo x -> OutputInfo) -> Generic OutputInfo
forall x. Rep OutputInfo x -> OutputInfo
forall x. OutputInfo -> Rep OutputInfo x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. OutputInfo -> Rep OutputInfo x
from :: forall x. OutputInfo -> Rep OutputInfo x
$cto :: forall x. Rep OutputInfo x -> OutputInfo
to :: forall x. Rep OutputInfo x -> OutputInfo
Generic, Int -> OutputInfo -> ShowS
[OutputInfo] -> ShowS
OutputInfo -> String
(Int -> OutputInfo -> ShowS)
-> (OutputInfo -> String)
-> ([OutputInfo] -> ShowS)
-> Show OutputInfo
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> OutputInfo -> ShowS
showsPrec :: Int -> OutputInfo -> ShowS
$cshow :: OutputInfo -> String
show :: OutputInfo -> String
$cshowList :: [OutputInfo] -> ShowS
showList :: [OutputInfo] -> ShowS
Show, OutputInfo -> OutputInfo -> Bool
(OutputInfo -> OutputInfo -> Bool)
-> (OutputInfo -> OutputInfo -> Bool) -> Eq OutputInfo
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: OutputInfo -> OutputInfo -> Bool
== :: OutputInfo -> OutputInfo -> Bool
$c/= :: OutputInfo -> OutputInfo -> Bool
/= :: OutputInfo -> OutputInfo -> Bool
Eq, OutputInfo -> ()
(OutputInfo -> ()) -> NFData OutputInfo
forall a. (a -> ()) -> NFData a
$crnf :: OutputInfo -> ()
rnf :: OutputInfo -> ()
NFData, [OutputInfo] -> Value
[OutputInfo] -> Encoding
OutputInfo -> Value
OutputInfo -> Encoding
(OutputInfo -> Value)
-> (OutputInfo -> Encoding)
-> ([OutputInfo] -> Value)
-> ([OutputInfo] -> Encoding)
-> ToJSON OutputInfo
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
$ctoJSON :: OutputInfo -> Value
toJSON :: OutputInfo -> Value
$ctoEncoding :: OutputInfo -> Encoding
toEncoding :: OutputInfo -> Encoding
$ctoJSONList :: [OutputInfo] -> Value
toJSONList :: [OutputInfo] -> Value
$ctoEncodingList :: [OutputInfo] -> Encoding
toEncodingList :: [OutputInfo] -> Encoding
ToJSON, Value -> Parser [OutputInfo]
Value -> Parser OutputInfo
(Value -> Parser OutputInfo)
-> (Value -> Parser [OutputInfo]) -> FromJSON OutputInfo
forall a.
(Value -> Parser a) -> (Value -> Parser [a]) -> FromJSON a
$cparseJSON :: Value -> Parser OutputInfo
parseJSON :: Value -> Parser OutputInfo
$cparseJSONList :: Value -> Parser [OutputInfo]
parseJSONList :: Value -> Parser [OutputInfo]
FromJSON)