module Stratosphere.Bedrock.AutomatedReasoningPolicy.PolicyDefinitionProperty (
        module Exports, PolicyDefinitionProperty(..),
        mkPolicyDefinitionProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.Bedrock.AutomatedReasoningPolicy.PolicyDefinitionRuleProperty as Exports
import {-# SOURCE #-} Stratosphere.Bedrock.AutomatedReasoningPolicy.PolicyDefinitionTypeProperty as Exports
import {-# SOURCE #-} Stratosphere.Bedrock.AutomatedReasoningPolicy.PolicyDefinitionVariableProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Value
data PolicyDefinitionProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-bedrock-automatedreasoningpolicy-policydefinition.html>
    PolicyDefinitionProperty {PolicyDefinitionProperty -> ()
haddock_workaround_ :: (),
                              -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-bedrock-automatedreasoningpolicy-policydefinition.html#cfn-bedrock-automatedreasoningpolicy-policydefinition-rules>
                              PolicyDefinitionProperty -> Maybe [PolicyDefinitionRuleProperty]
rules :: (Prelude.Maybe [PolicyDefinitionRuleProperty]),
                              -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-bedrock-automatedreasoningpolicy-policydefinition.html#cfn-bedrock-automatedreasoningpolicy-policydefinition-types>
                              PolicyDefinitionProperty -> Maybe [PolicyDefinitionTypeProperty]
types :: (Prelude.Maybe [PolicyDefinitionTypeProperty]),
                              -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-bedrock-automatedreasoningpolicy-policydefinition.html#cfn-bedrock-automatedreasoningpolicy-policydefinition-variables>
                              PolicyDefinitionProperty
-> Maybe [PolicyDefinitionVariableProperty]
variables :: (Prelude.Maybe [PolicyDefinitionVariableProperty]),
                              -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-bedrock-automatedreasoningpolicy-policydefinition.html#cfn-bedrock-automatedreasoningpolicy-policydefinition-version>
                              PolicyDefinitionProperty -> Maybe (Value Text)
version :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (PolicyDefinitionProperty -> PolicyDefinitionProperty -> Bool
(PolicyDefinitionProperty -> PolicyDefinitionProperty -> Bool)
-> (PolicyDefinitionProperty -> PolicyDefinitionProperty -> Bool)
-> Eq PolicyDefinitionProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PolicyDefinitionProperty -> PolicyDefinitionProperty -> Bool
== :: PolicyDefinitionProperty -> PolicyDefinitionProperty -> Bool
$c/= :: PolicyDefinitionProperty -> PolicyDefinitionProperty -> Bool
/= :: PolicyDefinitionProperty -> PolicyDefinitionProperty -> Bool
Prelude.Eq, Int -> PolicyDefinitionProperty -> ShowS
[PolicyDefinitionProperty] -> ShowS
PolicyDefinitionProperty -> String
(Int -> PolicyDefinitionProperty -> ShowS)
-> (PolicyDefinitionProperty -> String)
-> ([PolicyDefinitionProperty] -> ShowS)
-> Show PolicyDefinitionProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> PolicyDefinitionProperty -> ShowS
showsPrec :: Int -> PolicyDefinitionProperty -> ShowS
$cshow :: PolicyDefinitionProperty -> String
show :: PolicyDefinitionProperty -> String
$cshowList :: [PolicyDefinitionProperty] -> ShowS
showList :: [PolicyDefinitionProperty] -> ShowS
Prelude.Show)
mkPolicyDefinitionProperty :: PolicyDefinitionProperty
mkPolicyDefinitionProperty :: PolicyDefinitionProperty
mkPolicyDefinitionProperty
  = PolicyDefinitionProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), rules :: Maybe [PolicyDefinitionRuleProperty]
rules = Maybe [PolicyDefinitionRuleProperty]
forall a. Maybe a
Prelude.Nothing,
       types :: Maybe [PolicyDefinitionTypeProperty]
types = Maybe [PolicyDefinitionTypeProperty]
forall a. Maybe a
Prelude.Nothing, variables :: Maybe [PolicyDefinitionVariableProperty]
variables = Maybe [PolicyDefinitionVariableProperty]
forall a. Maybe a
Prelude.Nothing,
       version :: Maybe (Value Text)
version = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties PolicyDefinitionProperty where
  toResourceProperties :: PolicyDefinitionProperty -> ResourceProperties
toResourceProperties PolicyDefinitionProperty {Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: PolicyDefinitionProperty -> ()
rules :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionRuleProperty]
types :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionTypeProperty]
variables :: PolicyDefinitionProperty
-> Maybe [PolicyDefinitionVariableProperty]
version :: PolicyDefinitionProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::Bedrock::AutomatedReasoningPolicy.PolicyDefinition",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                           [Key -> [PolicyDefinitionRuleProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Rules" ([PolicyDefinitionRuleProperty] -> (Key, Value))
-> Maybe [PolicyDefinitionRuleProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyDefinitionRuleProperty]
rules,
                            Key -> [PolicyDefinitionTypeProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Types" ([PolicyDefinitionTypeProperty] -> (Key, Value))
-> Maybe [PolicyDefinitionTypeProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyDefinitionTypeProperty]
types,
                            Key -> [PolicyDefinitionVariableProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Variables" ([PolicyDefinitionVariableProperty] -> (Key, Value))
-> Maybe [PolicyDefinitionVariableProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyDefinitionVariableProperty]
variables,
                            Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Version" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
version])}
instance JSON.ToJSON PolicyDefinitionProperty where
  toJSON :: PolicyDefinitionProperty -> Value
toJSON PolicyDefinitionProperty {Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: PolicyDefinitionProperty -> ()
rules :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionRuleProperty]
types :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionTypeProperty]
variables :: PolicyDefinitionProperty
-> Maybe [PolicyDefinitionVariableProperty]
version :: PolicyDefinitionProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
              [Key -> [PolicyDefinitionRuleProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Rules" ([PolicyDefinitionRuleProperty] -> (Key, Value))
-> Maybe [PolicyDefinitionRuleProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyDefinitionRuleProperty]
rules,
               Key -> [PolicyDefinitionTypeProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Types" ([PolicyDefinitionTypeProperty] -> (Key, Value))
-> Maybe [PolicyDefinitionTypeProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyDefinitionTypeProperty]
types,
               Key -> [PolicyDefinitionVariableProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Variables" ([PolicyDefinitionVariableProperty] -> (Key, Value))
-> Maybe [PolicyDefinitionVariableProperty] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [PolicyDefinitionVariableProperty]
variables,
               Key -> Value Text -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Version" (Value Text -> (Key, Value))
-> Maybe (Value Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Text)
version]))
instance Property "Rules" PolicyDefinitionProperty where
  type PropertyType "Rules" PolicyDefinitionProperty = [PolicyDefinitionRuleProperty]
  set :: PropertyType "Rules" PolicyDefinitionProperty
-> PolicyDefinitionProperty -> PolicyDefinitionProperty
set PropertyType "Rules" PolicyDefinitionProperty
newValue PolicyDefinitionProperty {Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: PolicyDefinitionProperty -> ()
rules :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionRuleProperty]
types :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionTypeProperty]
variables :: PolicyDefinitionProperty
-> Maybe [PolicyDefinitionVariableProperty]
version :: PolicyDefinitionProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
    = PolicyDefinitionProperty {rules :: Maybe [PolicyDefinitionRuleProperty]
rules = [PolicyDefinitionRuleProperty]
-> Maybe [PolicyDefinitionRuleProperty]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [PolicyDefinitionRuleProperty]
PropertyType "Rules" PolicyDefinitionProperty
newValue, Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: ()
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
haddock_workaround_ :: ()
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
instance Property "Types" PolicyDefinitionProperty where
  type PropertyType "Types" PolicyDefinitionProperty = [PolicyDefinitionTypeProperty]
  set :: PropertyType "Types" PolicyDefinitionProperty
-> PolicyDefinitionProperty -> PolicyDefinitionProperty
set PropertyType "Types" PolicyDefinitionProperty
newValue PolicyDefinitionProperty {Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: PolicyDefinitionProperty -> ()
rules :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionRuleProperty]
types :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionTypeProperty]
variables :: PolicyDefinitionProperty
-> Maybe [PolicyDefinitionVariableProperty]
version :: PolicyDefinitionProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
    = PolicyDefinitionProperty {types :: Maybe [PolicyDefinitionTypeProperty]
types = [PolicyDefinitionTypeProperty]
-> Maybe [PolicyDefinitionTypeProperty]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [PolicyDefinitionTypeProperty]
PropertyType "Types" PolicyDefinitionProperty
newValue, Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
instance Property "Variables" PolicyDefinitionProperty where
  type PropertyType "Variables" PolicyDefinitionProperty = [PolicyDefinitionVariableProperty]
  set :: PropertyType "Variables" PolicyDefinitionProperty
-> PolicyDefinitionProperty -> PolicyDefinitionProperty
set PropertyType "Variables" PolicyDefinitionProperty
newValue PolicyDefinitionProperty {Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: PolicyDefinitionProperty -> ()
rules :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionRuleProperty]
types :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionTypeProperty]
variables :: PolicyDefinitionProperty
-> Maybe [PolicyDefinitionVariableProperty]
version :: PolicyDefinitionProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
    = PolicyDefinitionProperty {variables :: Maybe [PolicyDefinitionVariableProperty]
variables = [PolicyDefinitionVariableProperty]
-> Maybe [PolicyDefinitionVariableProperty]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [PolicyDefinitionVariableProperty]
PropertyType "Variables" PolicyDefinitionProperty
newValue, Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe (Value Text)
()
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
version :: Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
version :: Maybe (Value Text)
..}
instance Property "Version" PolicyDefinitionProperty where
  type PropertyType "Version" PolicyDefinitionProperty = Value Prelude.Text
  set :: PropertyType "Version" PolicyDefinitionProperty
-> PolicyDefinitionProperty -> PolicyDefinitionProperty
set PropertyType "Version" PolicyDefinitionProperty
newValue PolicyDefinitionProperty {Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
Maybe (Value Text)
()
haddock_workaround_ :: PolicyDefinitionProperty -> ()
rules :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionRuleProperty]
types :: PolicyDefinitionProperty -> Maybe [PolicyDefinitionTypeProperty]
variables :: PolicyDefinitionProperty
-> Maybe [PolicyDefinitionVariableProperty]
version :: PolicyDefinitionProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
version :: Maybe (Value Text)
..}
    = PolicyDefinitionProperty {version :: Maybe (Value Text)
version = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Version" PolicyDefinitionProperty
Value Text
newValue, Maybe [PolicyDefinitionRuleProperty]
Maybe [PolicyDefinitionTypeProperty]
Maybe [PolicyDefinitionVariableProperty]
()
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
haddock_workaround_ :: ()
rules :: Maybe [PolicyDefinitionRuleProperty]
types :: Maybe [PolicyDefinitionTypeProperty]
variables :: Maybe [PolicyDefinitionVariableProperty]
..}