content: module Stratosphere.WAFv2.RuleGroup.AndStatementProperty (
          module Exports, AndStatementProperty(..), mkAndStatementProperty
      ) where
  import qualified Data.Aeson as JSON
  import qualified Stratosphere.Prelude as Prelude
  import Stratosphere.Property
  import {-# SOURCE #-} Stratosphere.WAFv2.RuleGroup.StatementProperty as Exports
  import Stratosphere.ResourceProperties
  data AndStatementProperty
    = AndStatementProperty {statements :: [StatementProperty]}
    deriving stock (Prelude.Eq, Prelude.Show)
  mkAndStatementProperty ::
    [StatementProperty] -> AndStatementProperty
  mkAndStatementProperty statements
    = AndStatementProperty {statements = statements}
  instance ToResourceProperties AndStatementProperty where
    toResourceProperties AndStatementProperty {..}
      = ResourceProperties
          {awsType = "AWS::WAFv2::RuleGroup.AndStatement",
           supportsTags = Prelude.False,
           properties = ["Statements" JSON..= statements]}
  instance JSON.ToJSON AndStatementProperty where
    toJSON AndStatementProperty {..}
      = JSON.object ["Statements" JSON..= statements]
  instance Property "Statements" AndStatementProperty where
    type PropertyType "Statements" AndStatementProperty = [StatementProperty]
    set newValue AndStatementProperty {}
      = AndStatementProperty {statements = newValue, ..}