{-# LANGUAGE OverloadedLists #-}
module LaunchDarkly.Server.Details where

import           Data.Aeson.Types       (Value(..), ToJSON, toJSON)
import           Data.Text              (Text)
import           GHC.Exts               (fromList)
import           GHC.Natural            (Natural)
import           GHC.Generics           (Generic)

-- | Combines the result of a flag evaluation with an explanation of how it was
-- calculated.
data EvaluationDetail value = EvaluationDetail
    { forall value. EvaluationDetail value -> value
value          :: !value
      -- ^ The result of the flag evaluation. This will be either one of the
      -- flag's variations or the default value passed by the application.
    , forall value. EvaluationDetail value -> Maybe Integer
variationIndex :: !(Maybe Integer)
      -- ^ The index of the returned value within the flag's list of variations,
      -- e.g. 0 for the first variation - or Nothing if the default value was
      -- returned.
    , forall value. EvaluationDetail value -> EvaluationReason
reason         :: !EvaluationReason
      -- ^ Describes the main factor that influenced the flag evaluation value.
    } deriving (forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall value x.
Rep (EvaluationDetail value) x -> EvaluationDetail value
forall value x.
EvaluationDetail value -> Rep (EvaluationDetail value) x
$cto :: forall value x.
Rep (EvaluationDetail value) x -> EvaluationDetail value
$cfrom :: forall value x.
EvaluationDetail value -> Rep (EvaluationDetail value) x
Generic, EvaluationDetail value -> EvaluationDetail value -> Bool
forall value.
Eq value =>
EvaluationDetail value -> EvaluationDetail value -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EvaluationDetail value -> EvaluationDetail value -> Bool
$c/= :: forall value.
Eq value =>
EvaluationDetail value -> EvaluationDetail value -> Bool
== :: EvaluationDetail value -> EvaluationDetail value -> Bool
$c== :: forall value.
Eq value =>
EvaluationDetail value -> EvaluationDetail value -> Bool
Eq, Int -> EvaluationDetail value -> ShowS
forall value. Show value => Int -> EvaluationDetail value -> ShowS
forall value. Show value => [EvaluationDetail value] -> ShowS
forall value. Show value => EvaluationDetail value -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [EvaluationDetail value] -> ShowS
$cshowList :: forall value. Show value => [EvaluationDetail value] -> ShowS
show :: EvaluationDetail value -> String
$cshow :: forall value. Show value => EvaluationDetail value -> String
showsPrec :: Int -> EvaluationDetail value -> ShowS
$cshowsPrec :: forall value. Show value => Int -> EvaluationDetail value -> ShowS
Show)

instance ToJSON a => ToJSON (EvaluationDetail a) where
    toJSON :: EvaluationDetail a -> Value
toJSON = forall a. ToJSON a => a -> Value
toJSON

-- | Defines the possible values of the Kind property of EvaluationReason.
data EvaluationReason
    = EvaluationReasonOff
      -- ^ Indicates that the flag was off and therefore returned its configured
      -- off value.
    | EvaluationReasonTargetMatch
      -- ^ indicates that the user key was specifically targeted for this flag.
    | EvaluationReasonRuleMatch
          { EvaluationReason -> Natural
ruleIndex    :: !Natural
            -- ^ The index of the rule that was matched (0 being the first).
          , EvaluationReason -> Text
ruleId       :: !Text
            -- ^ The unique identifier of the rule that was matched.
          , EvaluationReason -> Bool
inExperiment :: !Bool
            -- ^ Whether the evaluation was part of an experiment. Is true if
            -- the evaluation resulted in an experiment rollout *and* served
            -- one of the variations in the experiment. Otherwise false.
          }
      -- ^ Indicates that the user matched one of the flag's rules.
    | EvaluationReasonPrerequisiteFailed
          { EvaluationReason -> Text
prerequisiteKey :: !Text
            -- ^ The flag key of the prerequisite that failed.
          }
      -- ^ Indicates that the flag was considered off because it had at least
      -- one prerequisite flag that either was off or did not return the desired
      -- variation.
    | EvaluationReasonFallthrough
          { inExperiment :: !Bool
            -- ^ Whether the evaluation was part of an experiment. Is
            -- true if the evaluation resulted in an experiment rollout *and*
            -- served one of the variations in the experiment. Otherwise false.
          }
      -- ^ Indicates that the flag was on but the user did not match any targets
      -- or rules.
    | EvaluationReasonError
          { EvaluationReason -> EvalErrorKind
errorKind :: !EvalErrorKind
            -- ^ Describes the type of error.
          }
      -- ^ Indicates that the flag could not be evaluated, e.g. because it does
      -- not exist or due to an unexpected error. In this case the result value
      -- will be the default value that the caller passed to the client.
    deriving (forall x. Rep EvaluationReason x -> EvaluationReason
forall x. EvaluationReason -> Rep EvaluationReason x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep EvaluationReason x -> EvaluationReason
$cfrom :: forall x. EvaluationReason -> Rep EvaluationReason x
Generic, EvaluationReason -> EvaluationReason -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EvaluationReason -> EvaluationReason -> Bool
$c/= :: EvaluationReason -> EvaluationReason -> Bool
== :: EvaluationReason -> EvaluationReason -> Bool
$c== :: EvaluationReason -> EvaluationReason -> Bool
Eq, Int -> EvaluationReason -> ShowS
[EvaluationReason] -> ShowS
EvaluationReason -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [EvaluationReason] -> ShowS
$cshowList :: [EvaluationReason] -> ShowS
show :: EvaluationReason -> String
$cshow :: EvaluationReason -> String
showsPrec :: Int -> EvaluationReason -> ShowS
$cshowsPrec :: Int -> EvaluationReason -> ShowS
Show)

instance ToJSON EvaluationReason where
    toJSON :: EvaluationReason -> Value
toJSON EvaluationReason
x = case EvaluationReason
x of
        EvaluationReason
EvaluationReasonOff                                        ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"OFF")]
        EvaluationReason
EvaluationReasonTargetMatch                                ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"TARGET_MATCH")]
        (EvaluationReasonRuleMatch Natural
ruleIndex Text
ruleId Bool
True)  ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"RULE_MATCH"), (Key
"ruleIndex", forall a. ToJSON a => a -> Value
toJSON Natural
ruleIndex), (Key
"ruleId", forall a. ToJSON a => a -> Value
toJSON Text
ruleId), (Key
"inExperiment", forall a. ToJSON a => a -> Value
toJSON Bool
True)]
        (EvaluationReasonRuleMatch Natural
ruleIndex Text
ruleId Bool
False)  ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"RULE_MATCH"), (Key
"ruleIndex", forall a. ToJSON a => a -> Value
toJSON Natural
ruleIndex), (Key
"ruleId", forall a. ToJSON a => a -> Value
toJSON Text
ruleId)]
        (EvaluationReasonPrerequisiteFailed Text
prerequisiteKey)       ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"PREREQUISITE_FAILED"), (Key
"prerequisiteKey", forall a. ToJSON a => a -> Value
toJSON Text
prerequisiteKey)]
        EvaluationReasonFallthrough Bool
True                   ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"FALLTHROUGH"), (Key
"inExperiment", forall a. ToJSON a => a -> Value
toJSON Bool
True)]
        EvaluationReasonFallthrough Bool
False                   ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"FALLTHROUGH")]
        (EvaluationReasonError EvalErrorKind
errorKind)                          ->
            Object -> Value
Object forall a b. (a -> b) -> a -> b
$ forall l. IsList l => [Item l] -> l
fromList [(Key
"kind", Value
"ERROR"), (Key
"errorKind", forall a. ToJSON a => a -> Value
toJSON EvalErrorKind
errorKind)]

isInExperiment :: EvaluationReason -> Bool
isInExperiment :: EvaluationReason -> Bool
isInExperiment EvaluationReason
reason = case EvaluationReason
reason of
    EvaluationReasonRuleMatch Natural
_ Text
_ Bool
inExperiment -> Bool
inExperiment
    EvaluationReasonFallthrough Bool
inExperiment -> Bool
inExperiment
    EvaluationReason
_ -> Bool
False

-- | Defines the possible values of the errorKind property of EvaluationReason.
data EvalErrorKind
    = EvalErrorKindMalformedFlag
      -- ^ Indicates that there was an internal inconsistency in the flag data,
      -- e.g. a rule specified a nonexistent variation.
    | EvalErrorFlagNotFound
      -- ^ Indicates that the caller provided a flag key that did not match any
      -- known flag.
    | EvalErrorWrongType
      -- ^ Indicates that the result value was not of the requested type, e.g.
      -- you called boolVariationDetail but the value was an integer.
    | EvalErrorClientNotReady
      -- ^ Indicates that the caller tried to evaluate a flag before the client
      -- had successfully initialized.
    | EvalErrorExternalStore !Text
      -- ^ Indicates that some error was returned by the external feature store.
    deriving (forall x. Rep EvalErrorKind x -> EvalErrorKind
forall x. EvalErrorKind -> Rep EvalErrorKind x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep EvalErrorKind x -> EvalErrorKind
$cfrom :: forall x. EvalErrorKind -> Rep EvalErrorKind x
Generic, EvalErrorKind -> EvalErrorKind -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EvalErrorKind -> EvalErrorKind -> Bool
$c/= :: EvalErrorKind -> EvalErrorKind -> Bool
== :: EvalErrorKind -> EvalErrorKind -> Bool
$c== :: EvalErrorKind -> EvalErrorKind -> Bool
Eq, Int -> EvalErrorKind -> ShowS
[EvalErrorKind] -> ShowS
EvalErrorKind -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [EvalErrorKind] -> ShowS
$cshowList :: [EvalErrorKind] -> ShowS
show :: EvalErrorKind -> String
$cshow :: EvalErrorKind -> String
showsPrec :: Int -> EvalErrorKind -> ShowS
$cshowsPrec :: Int -> EvalErrorKind -> ShowS
Show)

instance ToJSON EvalErrorKind where
    toJSON :: EvalErrorKind -> Value
toJSON EvalErrorKind
x = Text -> Value
String forall a b. (a -> b) -> a -> b
$ case EvalErrorKind
x of
        EvalErrorKind
EvalErrorKindMalformedFlag -> Text
"MALFORMED_FLAG"
        EvalErrorKind
EvalErrorFlagNotFound      -> Text
"FLAG_NOT_FOUND"
        EvalErrorKind
EvalErrorWrongType         -> Text
"WRONG_TYPE"
        EvalErrorKind
EvalErrorClientNotReady    -> Text
"CLIENT_NOT_READY"
        EvalErrorExternalStore Text
_   -> Text
"EXTERNAL_STORE_ERROR"