module LaunchDarkly.Server.Integrations.TestData.FlagBuilder
    ( FlagBuilder(..)
    , UserKey
    , VariationIndex
    , newFlagBuilder
    , booleanFlag
    , on
    , fallthroughVariation
    , offVariation
    , variationForAllUsers
    , valueForAllUsers
    , variationForUser
    , variations
    , buildFlag
    , UserAttribute
    , ifMatch
    , ifNotMatch
    , FlagRuleBuilder
    , andMatch
    , andNotMatch
    , thenReturn
    , Variation
    )
    where

import qualified Data.Aeson as Aeson
import           Data.Map.Strict (Map)
import qualified Data.Map.Strict as Map
import           Data.Text (Text)
import qualified Data.Text as T
import           GHC.Natural (Natural)
import qualified LaunchDarkly.Server.Features as F
import qualified LaunchDarkly.Server.Operators as Op
import           Data.Function ((&))

type UserKey = Text
type VariationIndex = Integer

trueVariationForBoolean, falseVariationForBoolean :: VariationIndex
trueVariationForBoolean :: VariationIndex
trueVariationForBoolean = VariationIndex
0
falseVariationForBoolean :: VariationIndex
falseVariationForBoolean = VariationIndex
1

variationForBoolean :: Bool -> VariationIndex
variationForBoolean :: Bool -> VariationIndex
variationForBoolean Bool
True = VariationIndex
trueVariationForBoolean
variationForBoolean Bool
False = VariationIndex
falseVariationForBoolean

-- |
-- A builder for feature flag configurations to be used with "LaunchDarkly.Server.Integrations.TestData".
-- 
-- see 'LaunchDarkly.Server.Integrations.TestData.flag' and
-- 'LaunchDarkly.Server.Integrations.TestData.update'
data FlagBuilder = FlagBuilder
    { FlagBuilder -> Text
fbKey :: Text
    , FlagBuilder -> Maybe VariationIndex
fbOffVariation :: Maybe VariationIndex
    , FlagBuilder -> Bool
fbOn :: Bool
    , FlagBuilder -> Maybe VariationIndex
fbFallthroughVariation :: Maybe VariationIndex
    , FlagBuilder -> [Value]
fbVariations :: [Aeson.Value]
    , FlagBuilder -> Map Text VariationIndex
fbTargetMap :: Map UserKey VariationIndex
    , FlagBuilder -> [FlagRule]
fbRules :: [FlagRule]
    } deriving (Int -> FlagBuilder -> ShowS
[FlagBuilder] -> ShowS
FlagBuilder -> String
(Int -> FlagBuilder -> ShowS)
-> (FlagBuilder -> String)
-> ([FlagBuilder] -> ShowS)
-> Show FlagBuilder
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [FlagBuilder] -> ShowS
$cshowList :: [FlagBuilder] -> ShowS
show :: FlagBuilder -> String
$cshow :: FlagBuilder -> String
showsPrec :: Int -> FlagBuilder -> ShowS
$cshowsPrec :: Int -> FlagBuilder -> ShowS
Show)

fbTargets :: FlagBuilder -> [F.Target]
fbTargets :: FlagBuilder -> [Target]
fbTargets FlagBuilder
flagBuilder =
    Map VariationIndex Target -> [Target]
forall k a. Map k a -> [a]
Map.elems (Map VariationIndex Target -> [Target])
-> Map VariationIndex Target -> [Target]
forall a b. (a -> b) -> a -> b
$
    (VariationIndex -> [Text] -> Target)
-> Map VariationIndex [Text] -> Map VariationIndex Target
forall k a b. (k -> a -> b) -> Map k a -> Map k b
Map.mapWithKey (([Text] -> VariationIndex -> Target)
-> VariationIndex -> [Text] -> Target
forall a b c. (a -> b -> c) -> b -> a -> c
flip [Text] -> VariationIndex -> Target
F.Target) (Map VariationIndex [Text] -> Map VariationIndex Target)
-> Map VariationIndex [Text] -> Map VariationIndex Target
forall a b. (a -> b) -> a -> b
$
    (Text
 -> VariationIndex
 -> Map VariationIndex [Text]
 -> Map VariationIndex [Text])
-> Map VariationIndex [Text]
-> Map Text VariationIndex
-> Map VariationIndex [Text]
forall k a b. (k -> a -> b -> b) -> b -> Map k a -> b
Map.foldrWithKey Text
-> VariationIndex
-> Map VariationIndex [Text]
-> Map VariationIndex [Text]
forall k a. Ord k => a -> k -> Map k [a] -> Map k [a]
go Map VariationIndex [Text]
forall a. Monoid a => a
mempty (FlagBuilder -> Map Text VariationIndex
fbTargetMap FlagBuilder
flagBuilder)
  where
    go :: a -> k -> Map k [a] -> Map k [a]
go a
userKey k
variation =
        ([a] -> [a] -> [a]) -> k -> [a] -> Map k [a] -> Map k [a]
forall k a. Ord k => (a -> a -> a) -> k -> a -> Map k a -> Map k a
Map.insertWith [a] -> [a] -> [a]
forall a. Semigroup a => a -> a -> a
(<>) k
variation [a
userKey]

buildFlag :: Natural -> FlagBuilder -> F.Flag
buildFlag :: Natural -> FlagBuilder -> Flag
buildFlag Natural
version FlagBuilder
flagBuilder =
    Flag :: Text
-> Natural
-> Bool
-> Bool
-> Bool
-> Bool
-> [Prerequisite]
-> Text
-> [Target]
-> [Rule]
-> VariationOrRollout
-> Maybe VariationIndex
-> [Value]
-> Maybe Natural
-> ClientSideAvailability
-> Flag
F.Flag
        { $sel:key:Flag :: Text
F.key = FlagBuilder -> Text
fbKey FlagBuilder
flagBuilder
        , $sel:version:Flag :: Natural
F.version = Natural
version
        , $sel:on:Flag :: Bool
F.on = FlagBuilder -> Bool
fbOn FlagBuilder
flagBuilder
        , $sel:trackEvents:Flag :: Bool
F.trackEvents = Bool
False
        , $sel:trackEventsFallthrough:Flag :: Bool
F.trackEventsFallthrough = Bool
False
        , $sel:deleted:Flag :: Bool
F.deleted = Bool
False
        , $sel:prerequisites:Flag :: [Prerequisite]
F.prerequisites = []
        , $sel:salt:Flag :: Text
F.salt = Text
"salt"
        , $sel:targets:Flag :: [Target]
F.targets = FlagBuilder -> [Target]
fbTargets FlagBuilder
flagBuilder
        , $sel:rules:Flag :: [Rule]
F.rules = (VariationIndex -> FlagRule -> Rule) -> [FlagRule] -> [Rule]
forall num a b. Integral num => (num -> a -> b) -> [a] -> [b]
mapWithIndex VariationIndex -> FlagRule -> Rule
convertFlagRule (FlagBuilder -> [FlagRule]
fbRules FlagBuilder
flagBuilder)
        , $sel:fallthrough:Flag :: VariationOrRollout
F.fallthrough = Maybe VariationIndex -> Maybe Rollout -> VariationOrRollout
F.VariationOrRollout (FlagBuilder -> Maybe VariationIndex
fbFallthroughVariation FlagBuilder
flagBuilder) Maybe Rollout
forall a. Maybe a
Nothing
        , $sel:offVariation:Flag :: Maybe VariationIndex
F.offVariation = FlagBuilder -> Maybe VariationIndex
fbOffVariation FlagBuilder
flagBuilder
        , $sel:variations:Flag :: [Value]
F.variations = FlagBuilder -> [Value]
fbVariations FlagBuilder
flagBuilder
        , $sel:debugEventsUntilDate:Flag :: Maybe Natural
F.debugEventsUntilDate = Maybe Natural
forall a. Maybe a
Nothing
        , $sel:clientSideAvailability:Flag :: ClientSideAvailability
F.clientSideAvailability = Bool -> Bool -> Bool -> ClientSideAvailability
F.ClientSideAvailability Bool
False Bool
False Bool
False
        }

mapWithIndex :: Integral num => (num -> a -> b) -> [a] -> [b]
mapWithIndex :: (num -> a -> b) -> [a] -> [b]
mapWithIndex num -> a -> b
f [a]
l =
    ((num, a) -> b) -> [(num, a)] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((num -> a -> b) -> (num, a) -> b
forall a b c. (a -> b -> c) -> (a, b) -> c
uncurry num -> a -> b
f) ([num] -> [a] -> [(num, a)]
forall a b. [a] -> [b] -> [(a, b)]
zip [num
0..] [a]
l)

newFlagBuilder :: Text -> FlagBuilder
newFlagBuilder :: Text -> FlagBuilder
newFlagBuilder Text
key =
    FlagBuilder :: Text
-> Maybe VariationIndex
-> Bool
-> Maybe VariationIndex
-> [Value]
-> Map Text VariationIndex
-> [FlagRule]
-> FlagBuilder
FlagBuilder
        { $sel:fbKey:FlagBuilder :: Text
fbKey = Text
key
        , $sel:fbOffVariation:FlagBuilder :: Maybe VariationIndex
fbOffVariation = Maybe VariationIndex
forall a. Maybe a
Nothing
        , $sel:fbOn:FlagBuilder :: Bool
fbOn = Bool
True
        , $sel:fbFallthroughVariation:FlagBuilder :: Maybe VariationIndex
fbFallthroughVariation = Maybe VariationIndex
forall a. Maybe a
Nothing
        , $sel:fbVariations:FlagBuilder :: [Value]
fbVariations = [Value]
forall a. Monoid a => a
mempty
        , $sel:fbTargetMap:FlagBuilder :: Map Text VariationIndex
fbTargetMap = Map Text VariationIndex
forall a. Monoid a => a
mempty
        , $sel:fbRules:FlagBuilder :: [FlagRule]
fbRules = [FlagRule]
forall a. Monoid a => a
mempty
        }

booleanFlagVariations :: [Aeson.Value]
booleanFlagVariations :: [Value]
booleanFlagVariations = [Bool -> Value
Aeson.Bool Bool
True, Bool -> Value
Aeson.Bool Bool
False]

isBooleanFlag :: FlagBuilder -> Bool
isBooleanFlag :: FlagBuilder -> Bool
isBooleanFlag FlagBuilder
flagBuilder
  | [Value]
booleanFlagVariations [Value] -> [Value] -> Bool
forall a. Eq a => a -> a -> Bool
== FlagBuilder -> [Value]
fbVariations FlagBuilder
flagBuilder = Bool
True
  | Bool
otherwise = Bool
False

-- | 
-- A shortcut for setting the flag to use the standard boolean configuration.
--
-- This is the default for all new flags created with 'LaunchDarkly.Server.Integrations.TestData.flag'. The flag
-- will have two variations, @True@ and @False@ (in that order); it will return
-- @False@ whenever targeting is off, and @True@ when targeting is on if no other
-- settings specify otherwise.
booleanFlag :: FlagBuilder -> FlagBuilder
booleanFlag :: FlagBuilder -> FlagBuilder
booleanFlag FlagBuilder
flagBuilder
    | FlagBuilder -> Bool
isBooleanFlag FlagBuilder
flagBuilder =
        FlagBuilder
flagBuilder
    | Bool
otherwise =
        FlagBuilder
flagBuilder
            FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& [Value] -> FlagBuilder -> FlagBuilder
variations [Value]
booleanFlagVariations
            FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagBuilder -> FlagBuilder
forall val. Variation val => val -> FlagBuilder -> FlagBuilder
fallthroughVariation VariationIndex
trueVariationForBoolean
            FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagBuilder -> FlagBuilder
forall val. Variation val => val -> FlagBuilder -> FlagBuilder
offVariation VariationIndex
falseVariationForBoolean
-- |
-- Sets targeting to be on or off for this flag.
--
-- The effect of this depends on the rest of the flag configuration, just as it does on the
-- real LaunchDarkly dashboard. In the default configuration that you get from calling
-- 'LaunchDarkly.Server.Integrations.TestData.flag' with a new flag key, the flag will return @False@ 
-- whenever targeting is off, and @True@ when targeting is on.
on :: Bool -- ^ isOn @True@ if targeting should be on
   -> FlagBuilder 
   -> FlagBuilder
on :: Bool -> FlagBuilder -> FlagBuilder
on Bool
isOn FlagBuilder
fb =
    FlagBuilder
fb{ $sel:fbOn:FlagBuilder :: Bool
fbOn = Bool
isOn }

-- |
-- Removes any existing rules from the flag. 
-- This undoes the effect of methods like 'ifMatch' or 'ifNotMatch'
clearRules :: FlagBuilder -> FlagBuilder
clearRules :: FlagBuilder -> FlagBuilder
clearRules FlagBuilder
fb =
    FlagBuilder
fb{ $sel:fbRules:FlagBuilder :: [FlagRule]
fbRules = [FlagRule]
forall a. Monoid a => a
mempty }

-- |
-- Removes any existing user targets from the flag. 
-- This undoes the effect of methods like 'variationForUser'
clearUserTargets :: FlagBuilder -> FlagBuilder
clearUserTargets :: FlagBuilder -> FlagBuilder
clearUserTargets FlagBuilder
fb =
    FlagBuilder
fb{ $sel:fbTargetMap:FlagBuilder :: Map Text VariationIndex
fbTargetMap = Map Text VariationIndex
forall a. Monoid a => a
mempty }

-- |
-- Sets the flag to always return the specified variation value for all users.
--
-- The value may be of any type that implements 'Aeson.ToJSON'. This method changes the
-- flag to have only a single variation, which is this value, and to return the same
-- variation regardless of whether targeting is on or off. Any existing targets or rules
-- are removed.
valueForAllUsers :: Aeson.ToJSON value
                 => value -- the desired value to be returned for all users
                 -> FlagBuilder 
                 -> FlagBuilder
valueForAllUsers :: value -> FlagBuilder -> FlagBuilder
valueForAllUsers value
val FlagBuilder
fb =
    FlagBuilder
fb FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& [Value] -> FlagBuilder -> FlagBuilder
variations [value -> Value
forall a. ToJSON a => a -> Value
Aeson.toJSON value
val]
       FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagBuilder -> FlagBuilder
forall val. Variation val => val -> FlagBuilder -> FlagBuilder
variationForAllUsers (VariationIndex
0 :: VariationIndex)

-- |
-- Changes the allowable variation values for the flag.
--
-- The value may be of any JSON type, as defined by 'Aeson.Value'. For instance, a boolean flag
-- normally has [toJSON True, toJSON False]; a string-valued flag might have
-- [toJSON "red", toJSON "green"]; etc.
variations :: [Aeson.Value] -- ^ the desired variations
           -> FlagBuilder 
           -> FlagBuilder
variations :: [Value] -> FlagBuilder -> FlagBuilder
variations [Value]
values FlagBuilder
fb =
    FlagBuilder
fb{ $sel:fbVariations:FlagBuilder :: [Value]
fbVariations = [Value]
values }

-- Should this actually use overloaded function names?
class Variation val where
    -- |
    -- Specifies the fallthrough variation. The fallthrough is the value
    -- that is returned if targeting is on and the user was not matched by a more specific
    -- target or rule.
    --
    -- If the flag was previously configured with other variations and the variation specified is a boolean,
    -- this also changes it to a boolean flag.
    fallthroughVariation :: val -- ^ @True@ or @False@ or the desired fallthrough variation index: 0 for the first, 1 for the second, etc.
                         -> FlagBuilder 
                         -> FlagBuilder

    -- | 
    -- Specifies the off variation for a flag. This is the variation that is returned
    -- whenever targeting is off.
    --
    -- If the flag was previously configured with other variations and the variation specified is a boolean,
    -- this also changes it to a boolean flag.
    offVariation :: val -- ^ @True@ or @False@ or the desired fallthrough variation index: 0 for the first, 1 for the second, etc.
                 -> FlagBuilder 
                 -> FlagBuilder

    -- |
    -- Sets the flag to always return the specified variation for all users.
    --
    -- The variation is specified, Targeting is switched on, and any existing targets or rules are removed.
    -- The fallthrough variation is set to the specified value. The off variation is left unchanged.
    --
    -- If the flag was previously configured with other variations and the variation specified is a boolean,
    -- this also changes it to a boolean flag.
    variationForAllUsers :: val -- ^ @True@ or @False@ or the desired fallthrough variation index: 0 for the first, 1 for the second, etc.
                         -> FlagBuilder 
                         -> FlagBuilder

    -- |
    -- Sets the flag to return the specified variation for a specific user key when targeting
    -- is on.
    --
    -- This has no effect when targeting is turned off for the flag.
    --
    -- If the flag was previously configured with other variations and the variation specified is a boolean,
    -- this also changes it to a boolean flag.
    variationForUser :: UserKey -- ^ a user key to target
                     -> val -- ^ @True@ or @False@ or the desired fallthrough variation index: 0 for the first, 1 for the second, etc.
                     -> FlagBuilder 
                     -> FlagBuilder
    
    -- |
    -- Finishes defining the rule, specifying the result as either a boolean
    -- or a variation index.
    -- 
    -- If the flag was previously configured with other variations and the variation specified is a boolean,
    -- this also changes it to a boolean flag.
    thenReturn :: val -- ^ @True@ or @False@ or the desired fallthrough variation index: 0 for the first, 1 for the second, etc.
               -> FlagRuleBuilder 
               -> FlagBuilder

instance Variation Integer where
    fallthroughVariation :: VariationIndex -> FlagBuilder -> FlagBuilder
fallthroughVariation VariationIndex
variationIndex FlagBuilder
fb =
        FlagBuilder
fb{ $sel:fbFallthroughVariation:FlagBuilder :: Maybe VariationIndex
fbFallthroughVariation = VariationIndex -> Maybe VariationIndex
forall a. a -> Maybe a
Just VariationIndex
variationIndex }

    offVariation :: VariationIndex -> FlagBuilder -> FlagBuilder
offVariation VariationIndex
variationIndex FlagBuilder
fb =
        FlagBuilder
fb{ $sel:fbOffVariation:FlagBuilder :: Maybe VariationIndex
fbOffVariation = VariationIndex -> Maybe VariationIndex
forall a. a -> Maybe a
Just VariationIndex
variationIndex }

    variationForAllUsers :: VariationIndex -> FlagBuilder -> FlagBuilder
variationForAllUsers VariationIndex
variationIndex FlagBuilder
fb =
        FlagBuilder
fb FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& Bool -> FlagBuilder -> FlagBuilder
on Bool
True
           FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& FlagBuilder -> FlagBuilder
clearRules
           FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& FlagBuilder -> FlagBuilder
clearUserTargets
           FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagBuilder -> FlagBuilder
forall val. Variation val => val -> FlagBuilder -> FlagBuilder
fallthroughVariation VariationIndex
variationIndex

    variationForUser :: Text -> VariationIndex -> FlagBuilder -> FlagBuilder
variationForUser Text
userKey VariationIndex
variationIndex FlagBuilder
fb =
        FlagBuilder
fb{ $sel:fbTargetMap:FlagBuilder :: Map Text VariationIndex
fbTargetMap = Text
-> VariationIndex
-> Map Text VariationIndex
-> Map Text VariationIndex
forall k a. Ord k => k -> a -> Map k a -> Map k a
Map.insert Text
userKey VariationIndex
variationIndex (FlagBuilder -> Map Text VariationIndex
fbTargetMap FlagBuilder
fb) }

    thenReturn :: VariationIndex -> FlagRuleBuilder -> FlagBuilder
thenReturn VariationIndex
variationIndex FlagRuleBuilder
ruleBuilder =
        let fb :: FlagBuilder
fb = FlagRuleBuilder -> FlagBuilder
frbBaseBuilder FlagRuleBuilder
ruleBuilder
        in FlagBuilder
fb{ $sel:fbRules:FlagBuilder :: [FlagRule]
fbRules = [Clause] -> VariationIndex -> FlagRule
FlagRule (FlagRuleBuilder -> [Clause]
frbClauses FlagRuleBuilder
ruleBuilder) VariationIndex
variationIndex FlagRule -> [FlagRule] -> [FlagRule]
forall a. a -> [a] -> [a]
: FlagBuilder -> [FlagRule]
fbRules FlagBuilder
fb }

instance Variation Bool where
    fallthroughVariation :: Bool -> FlagBuilder -> FlagBuilder
fallthroughVariation Bool
value FlagBuilder
fb =
        FlagBuilder
fb FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& FlagBuilder -> FlagBuilder
booleanFlag
           FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagBuilder -> FlagBuilder
forall val. Variation val => val -> FlagBuilder -> FlagBuilder
fallthroughVariation (Bool -> VariationIndex
variationForBoolean Bool
value)
    offVariation :: Bool -> FlagBuilder -> FlagBuilder
offVariation Bool
value FlagBuilder
fb =
        FlagBuilder
fb FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& FlagBuilder -> FlagBuilder
booleanFlag
           FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagBuilder -> FlagBuilder
forall val. Variation val => val -> FlagBuilder -> FlagBuilder
offVariation (Bool -> VariationIndex
variationForBoolean Bool
value)
    variationForAllUsers :: Bool -> FlagBuilder -> FlagBuilder
variationForAllUsers Bool
value FlagBuilder
fb =
        FlagBuilder
fb FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& FlagBuilder -> FlagBuilder
booleanFlag
           FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagBuilder -> FlagBuilder
forall val. Variation val => val -> FlagBuilder -> FlagBuilder
variationForAllUsers (Bool -> VariationIndex
variationForBoolean Bool
value)
    variationForUser :: Text -> Bool -> FlagBuilder -> FlagBuilder
variationForUser Text
userKey Bool
value FlagBuilder
fb =
        FlagBuilder
fb FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& FlagBuilder -> FlagBuilder
booleanFlag
           FlagBuilder -> (FlagBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& Text -> VariationIndex -> FlagBuilder -> FlagBuilder
forall val.
Variation val =>
Text -> val -> FlagBuilder -> FlagBuilder
variationForUser Text
userKey (Bool -> VariationIndex
variationForBoolean Bool
value)
    thenReturn :: Bool -> FlagRuleBuilder -> FlagBuilder
thenReturn Bool
value FlagRuleBuilder
ruleBuilder =
        FlagRuleBuilder
ruleBuilder { $sel:frbBaseBuilder:FlagRuleBuilder :: FlagBuilder
frbBaseBuilder = FlagBuilder -> FlagBuilder
booleanFlag (FlagBuilder -> FlagBuilder) -> FlagBuilder -> FlagBuilder
forall a b. (a -> b) -> a -> b
$ FlagRuleBuilder -> FlagBuilder
frbBaseBuilder FlagRuleBuilder
ruleBuilder }
            FlagRuleBuilder -> (FlagRuleBuilder -> FlagBuilder) -> FlagBuilder
forall a b. a -> (a -> b) -> b
& VariationIndex -> FlagRuleBuilder -> FlagBuilder
forall val. Variation val => val -> FlagRuleBuilder -> FlagBuilder
thenReturn (Bool -> VariationIndex
variationForBoolean Bool
value)

type UserAttribute = Text

-- |
-- Starts defining a flag rule, using the "is one of" operator.
--
-- For example, this creates a rule that returns @True@ if the name is \"Patsy\" or \"Edina\":
-- 
-- @
-- testData
--     & flag "flag"
--     & ifMatch "name" [toJSON \"Patsy\", toJSON \"Edina\"]
--     & thenReturn True
-- @
ifMatch :: UserAttribute -- ^ attribute the user attribute to match against
        -> [Aeson.Value] -- ^ values to compare to
        -> FlagBuilder 
        -> FlagRuleBuilder -- ^ call 'thenReturn' to finish the rule, or add more tests with 'andMatch' or 'andNotMatch' 
ifMatch :: Text -> [Value] -> FlagBuilder -> FlagRuleBuilder
ifMatch Text
userAttribute [Value]
values FlagBuilder
fb =
    FlagBuilder -> FlagRuleBuilder
newFlagRuleBuilder FlagBuilder
fb
     FlagRuleBuilder
-> (FlagRuleBuilder -> FlagRuleBuilder) -> FlagRuleBuilder
forall a b. a -> (a -> b) -> b
& Text -> [Value] -> FlagRuleBuilder -> FlagRuleBuilder
andMatch Text
userAttribute [Value]
values

-- |
-- Starts defining a flag rule, using the "is not one of" operator.
--
-- For example, this creates a rule that returns @True@ if the name is neither \"Saffron\" nor \"Bubble\"
-- 
-- @
-- testData
--     & flag "flag"
--     & ifNotMatch "name" [toJSON \"Saffron\", toJSON \"Bubble\"]
--     & thenReturn True
-- @
ifNotMatch :: UserAttribute -- ^ attribute the user attribute to match against
           -> [Aeson.Value] -- ^ values to compare to
           -> FlagBuilder 
           -> FlagRuleBuilder -- ^ call 'thenReturn' to finish the rule, or add more tests with 'andMatch' or 'andNotMatch' 
ifNotMatch :: Text -> [Value] -> FlagBuilder -> FlagRuleBuilder
ifNotMatch Text
userAttribute [Value]
values FlagBuilder
fb =
    FlagBuilder -> FlagRuleBuilder
newFlagRuleBuilder FlagBuilder
fb
     FlagRuleBuilder
-> (FlagRuleBuilder -> FlagRuleBuilder) -> FlagRuleBuilder
forall a b. a -> (a -> b) -> b
& Text -> [Value] -> FlagRuleBuilder -> FlagRuleBuilder
andNotMatch Text
userAttribute [Value]
values

data Clause = Clause
    { Clause -> Text
clauseAttribute :: UserAttribute
    , Clause -> [Value]
clauseValues    :: [Aeson.Value]
    , Clause -> Bool
clauseNegate    :: Bool
    } deriving (Int -> Clause -> ShowS
[Clause] -> ShowS
Clause -> String
(Int -> Clause -> ShowS)
-> (Clause -> String) -> ([Clause] -> ShowS) -> Show Clause
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Clause] -> ShowS
$cshowList :: [Clause] -> ShowS
show :: Clause -> String
$cshow :: Clause -> String
showsPrec :: Int -> Clause -> ShowS
$cshowsPrec :: Int -> Clause -> ShowS
Show)

data FlagRule = FlagRule
    { FlagRule -> [Clause]
frClauses :: [Clause]
    , FlagRule -> VariationIndex
frVariation :: VariationIndex
    } deriving (Int -> FlagRule -> ShowS
[FlagRule] -> ShowS
FlagRule -> String
(Int -> FlagRule -> ShowS)
-> (FlagRule -> String) -> ([FlagRule] -> ShowS) -> Show FlagRule
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [FlagRule] -> ShowS
$cshowList :: [FlagRule] -> ShowS
show :: FlagRule -> String
$cshow :: FlagRule -> String
showsPrec :: Int -> FlagRule -> ShowS
$cshowsPrec :: Int -> FlagRule -> ShowS
Show)

convertFlagRule :: Integer -> FlagRule -> F.Rule
convertFlagRule :: VariationIndex -> FlagRule -> Rule
convertFlagRule VariationIndex
idx FlagRule
flagRule =
    Rule :: Text -> [Clause] -> VariationOrRollout -> Bool -> Rule
F.Rule
        { $sel:id:Rule :: Text
F.id = String -> Text
T.pack (String -> Text) -> String -> Text
forall a b. (a -> b) -> a -> b
$ String
"rule" String -> ShowS
forall a. Semigroup a => a -> a -> a
<> VariationIndex -> String
forall a. Show a => a -> String
show VariationIndex
idx
        , $sel:variationOrRollout:Rule :: VariationOrRollout
F.variationOrRollout = Maybe VariationIndex -> Maybe Rollout -> VariationOrRollout
F.VariationOrRollout (VariationIndex -> Maybe VariationIndex
forall a. a -> Maybe a
Just (VariationIndex -> Maybe VariationIndex)
-> VariationIndex -> Maybe VariationIndex
forall a b. (a -> b) -> a -> b
$ FlagRule -> VariationIndex
frVariation FlagRule
flagRule) Maybe Rollout
forall a. Maybe a
Nothing
        , $sel:clauses:Rule :: [Clause]
F.clauses = (Clause -> Clause) -> [Clause] -> [Clause]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Clause -> Clause
convertClause (FlagRule -> [Clause]
frClauses FlagRule
flagRule)
        , $sel:trackEvents:Rule :: Bool
F.trackEvents = Bool
False
        }

convertClause :: Clause -> F.Clause
convertClause :: Clause -> Clause
convertClause Clause
clause =
    Clause :: Text -> Bool -> Op -> [Value] -> Clause
F.Clause
        { $sel:attribute:Clause :: Text
F.attribute = Clause -> Text
clauseAttribute Clause
clause
        , $sel:negate:Clause :: Bool
F.negate = Clause -> Bool
clauseNegate Clause
clause
        , $sel:values:Clause :: [Value]
F.values = Clause -> [Value]
clauseValues Clause
clause
        , $sel:op:Clause :: Op
F.op = Op
Op.OpIn
        }
-- |
-- A builder for feature flag rules to be used with 'FlagBuilder'.
--
-- In the LaunchDarkly model, a flag can have any number of rules, and a rule can have any number of
-- clauses. A clause is an individual test such as \"name is \'X\'\". A rule matches a user if all of the
-- rule's clauses match the user.
--
-- To start defining a rule, use one of the matching functions such as 'ifMatch' or 'ifNotMatch'. 
-- This defines the first clause for the rule.
-- Optionally, you may add more clauses with the rule builder functions such as 'andMatch' and 'andNotMatch'. 
-- Finally, call 'thenReturn' to finish defining the rule.
data FlagRuleBuilder = FlagRuleBuilder
    { FlagRuleBuilder -> [Clause]
frbClauses :: [Clause]
    , FlagRuleBuilder -> FlagBuilder
frbBaseBuilder :: FlagBuilder
    } deriving (Int -> FlagRuleBuilder -> ShowS
[FlagRuleBuilder] -> ShowS
FlagRuleBuilder -> String
(Int -> FlagRuleBuilder -> ShowS)
-> (FlagRuleBuilder -> String)
-> ([FlagRuleBuilder] -> ShowS)
-> Show FlagRuleBuilder
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [FlagRuleBuilder] -> ShowS
$cshowList :: [FlagRuleBuilder] -> ShowS
show :: FlagRuleBuilder -> String
$cshow :: FlagRuleBuilder -> String
showsPrec :: Int -> FlagRuleBuilder -> ShowS
$cshowsPrec :: Int -> FlagRuleBuilder -> ShowS
Show)

newFlagRuleBuilder :: FlagBuilder -> FlagRuleBuilder
newFlagRuleBuilder :: FlagBuilder -> FlagRuleBuilder
newFlagRuleBuilder FlagBuilder
baseBuilder =
    FlagRuleBuilder :: [Clause] -> FlagBuilder -> FlagRuleBuilder
FlagRuleBuilder
        { $sel:frbClauses:FlagRuleBuilder :: [Clause]
frbClauses = [Clause]
forall a. Monoid a => a
mempty
        , $sel:frbBaseBuilder:FlagRuleBuilder :: FlagBuilder
frbBaseBuilder = FlagBuilder
baseBuilder
        }
-- |
-- Adds another clause, using the "is one of" operator.
--
-- For example, this creates a rule that returns @True@ if the name is \"Patsy\" and the
-- country is \"gb\":
-- 
-- @
-- testData 
--     & flag "flag"
--     & ifMatch "name" [toJSON \"Patsy\"]
--     & andMatch "country" [toJSON \"gb\"]
--     & thenReturn True
-- @ 
andMatch :: UserAttribute -- ^ the user attribute to match against
         -> [Aeson.Value] -- ^ values to compare to
         -> FlagRuleBuilder 
         -> FlagRuleBuilder
andMatch :: Text -> [Value] -> FlagRuleBuilder -> FlagRuleBuilder
andMatch Text
userAttribute [Value]
values FlagRuleBuilder
ruleBuilder =
    FlagRuleBuilder
ruleBuilder{ $sel:frbClauses:FlagRuleBuilder :: [Clause]
frbClauses = Text -> [Value] -> Bool -> Clause
Clause Text
userAttribute [Value]
values Bool
False Clause -> [Clause] -> [Clause]
forall a. a -> [a] -> [a]
: FlagRuleBuilder -> [Clause]
frbClauses FlagRuleBuilder
ruleBuilder }

-- |
-- Adds another clause, using the "is not one of" operator.
--
-- For example, this creates a rule that returns @True@ if the name is \"Patsy\" and the
-- country is not \"gb\":
-- 
-- @
-- testData 
--     & flag "flag"
--     & ifMatch "name" [toJSON \"Patsy\"]
--     & andNotMatch "country" [toJSON \"gb\"]
--     & thenReturn True
-- @ 
andNotMatch :: UserAttribute -- ^ the user attribute to match against
            -> [Aeson.Value] -- ^ values to compare to
            -> FlagRuleBuilder 
            -> FlagRuleBuilder
andNotMatch :: Text -> [Value] -> FlagRuleBuilder -> FlagRuleBuilder
andNotMatch Text
userAttribute [Value]
values FlagRuleBuilder
ruleBuilder =
    FlagRuleBuilder
ruleBuilder{ $sel:frbClauses:FlagRuleBuilder :: [Clause]
frbClauses = Text -> [Value] -> Bool -> Clause
Clause Text
userAttribute [Value]
values Bool
True Clause -> [Clause] -> [Clause]
forall a. a -> [a] -> [a]
: FlagRuleBuilder -> [Clause]
frbClauses FlagRuleBuilder
ruleBuilder }