module Stratosphere.EntityResolution.PolicyStatement (
        PolicyStatement(..), mkPolicyStatement
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data PolicyStatement
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-entityresolution-policystatement.html>
    PolicyStatement {PolicyStatement -> ()
haddock_workaround_ :: (),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-entityresolution-policystatement.html#cfn-entityresolution-policystatement-action>
                     PolicyStatement -> Maybe (ValueList Text)
action :: (Prelude.Maybe (ValueList Prelude.Text)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-entityresolution-policystatement.html#cfn-entityresolution-policystatement-arn>
                     PolicyStatement -> Value Text
arn :: (Value Prelude.Text),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-entityresolution-policystatement.html#cfn-entityresolution-policystatement-condition>
                     PolicyStatement -> Maybe (Value Text)
condition :: (Prelude.Maybe (Value Prelude.Text)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-entityresolution-policystatement.html#cfn-entityresolution-policystatement-effect>
                     PolicyStatement -> Maybe (Value Text)
effect :: (Prelude.Maybe (Value Prelude.Text)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-entityresolution-policystatement.html#cfn-entityresolution-policystatement-principal>
                     PolicyStatement -> Maybe (ValueList Text)
principal :: (Prelude.Maybe (ValueList Prelude.Text)),
                     -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-entityresolution-policystatement.html#cfn-entityresolution-policystatement-statementid>
                     PolicyStatement -> Value Text
statementId :: (Value Prelude.Text)}
  deriving stock (PolicyStatement -> PolicyStatement -> Bool
(PolicyStatement -> PolicyStatement -> Bool)
-> (PolicyStatement -> PolicyStatement -> Bool)
-> Eq PolicyStatement
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PolicyStatement -> PolicyStatement -> Bool
== :: PolicyStatement -> PolicyStatement -> Bool
$c/= :: PolicyStatement -> PolicyStatement -> Bool
/= :: PolicyStatement -> PolicyStatement -> Bool
Prelude.Eq, Int -> PolicyStatement -> ShowS
[PolicyStatement] -> ShowS
PolicyStatement -> String
(Int -> PolicyStatement -> ShowS)
-> (PolicyStatement -> String)
-> ([PolicyStatement] -> ShowS)
-> Show PolicyStatement
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> PolicyStatement -> ShowS
showsPrec :: Int -> PolicyStatement -> ShowS
$cshow :: PolicyStatement -> String
show :: PolicyStatement -> String
$cshowList :: [PolicyStatement] -> ShowS
showList :: [PolicyStatement] -> ShowS
Prelude.Show)
mkPolicyStatement ::
  Value Prelude.Text -> Value Prelude.Text -> PolicyStatement
mkPolicyStatement :: Value Text -> Value Text -> PolicyStatement
mkPolicyStatement Value Text
arn Value Text
statementId
  = PolicyStatement
      {haddock_workaround_ :: ()
haddock_workaround_ = (), arn :: Value Text
arn = Value Text
arn, statementId :: Value Text
statementId = Value Text
statementId,
       action :: Maybe (ValueList Text)
action = Maybe (ValueList Text)
forall a. Maybe a
Prelude.Nothing, condition :: Maybe (Value Text)
condition = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       effect :: Maybe (Value Text)
effect = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, principal :: Maybe (ValueList Text)
principal = Maybe (ValueList Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties PolicyStatement where
  toResourceProperties :: PolicyStatement -> ResourceProperties
toResourceProperties PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::EntityResolution::PolicyStatement",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
                           [Key
"Arn" 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..= Value Text
arn, Key
"StatementId" 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..= Value Text
statementId]
                           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                              [Key -> ValueList 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
"Action" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
action,
                               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
"Condition" (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)
condition,
                               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
"Effect" (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)
effect,
                               Key -> ValueList 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
"Principal" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
principal]))}
instance JSON.ToJSON PolicyStatement where
  toJSON :: PolicyStatement -> Value
toJSON PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
              [Key
"Arn" 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..= Value Text
arn, Key
"StatementId" 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..= Value Text
statementId]
              ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                 [Key -> ValueList 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
"Action" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
action,
                  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
"Condition" (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)
condition,
                  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
"Effect" (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)
effect,
                  Key -> ValueList 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
"Principal" (ValueList Text -> (Key, Value))
-> Maybe (ValueList Text) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (ValueList Text)
principal])))
instance Property "Action" PolicyStatement where
  type PropertyType "Action" PolicyStatement = ValueList Prelude.Text
  set :: PropertyType "Action" PolicyStatement
-> PolicyStatement -> PolicyStatement
set PropertyType "Action" PolicyStatement
newValue PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = PolicyStatement {action :: Maybe (ValueList Text)
action = ValueList Text -> Maybe (ValueList Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Action" PolicyStatement
ValueList Text
newValue, Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
haddock_workaround_ :: ()
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
instance Property "Arn" PolicyStatement where
  type PropertyType "Arn" PolicyStatement = Value Prelude.Text
  set :: PropertyType "Arn" PolicyStatement
-> PolicyStatement -> PolicyStatement
set PropertyType "Arn" PolicyStatement
newValue PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = PolicyStatement {arn :: Value Text
arn = PropertyType "Arn" PolicyStatement
Value Text
newValue, Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
instance Property "Condition" PolicyStatement where
  type PropertyType "Condition" PolicyStatement = Value Prelude.Text
  set :: PropertyType "Condition" PolicyStatement
-> PolicyStatement -> PolicyStatement
set PropertyType "Condition" PolicyStatement
newValue PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = PolicyStatement {condition :: Maybe (Value Text)
condition = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Condition" PolicyStatement
Value Text
newValue, Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
instance Property "Effect" PolicyStatement where
  type PropertyType "Effect" PolicyStatement = Value Prelude.Text
  set :: PropertyType "Effect" PolicyStatement
-> PolicyStatement -> PolicyStatement
set PropertyType "Effect" PolicyStatement
newValue PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = PolicyStatement {effect :: Maybe (Value Text)
effect = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Effect" PolicyStatement
Value Text
newValue, Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
instance Property "Principal" PolicyStatement where
  type PropertyType "Principal" PolicyStatement = ValueList Prelude.Text
  set :: PropertyType "Principal" PolicyStatement
-> PolicyStatement -> PolicyStatement
set PropertyType "Principal" PolicyStatement
newValue PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = PolicyStatement {principal :: Maybe (ValueList Text)
principal = ValueList Text -> Maybe (ValueList Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Principal" PolicyStatement
ValueList Text
newValue, Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
statementId :: Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
statementId :: Value Text
..}
instance Property "StatementId" PolicyStatement where
  type PropertyType "StatementId" PolicyStatement = Value Prelude.Text
  set :: PropertyType "StatementId" PolicyStatement
-> PolicyStatement -> PolicyStatement
set PropertyType "StatementId" PolicyStatement
newValue PolicyStatement {Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: PolicyStatement -> ()
action :: PolicyStatement -> Maybe (ValueList Text)
arn :: PolicyStatement -> Value Text
condition :: PolicyStatement -> Maybe (Value Text)
effect :: PolicyStatement -> Maybe (Value Text)
principal :: PolicyStatement -> Maybe (ValueList Text)
statementId :: PolicyStatement -> Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
statementId :: Value Text
..}
    = PolicyStatement {statementId :: Value Text
statementId = PropertyType "StatementId" PolicyStatement
Value Text
newValue, Maybe (ValueList Text)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
haddock_workaround_ :: ()
action :: Maybe (ValueList Text)
arn :: Value Text
condition :: Maybe (Value Text)
effect :: Maybe (Value Text)
principal :: Maybe (ValueList Text)
..}