module Stratosphere.NetworkFirewall.LoggingConfiguration.LoggingConfigurationProperty (
        module Exports, LoggingConfigurationProperty(..),
        mkLoggingConfigurationProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.NetworkFirewall.LoggingConfiguration.LogDestinationConfigProperty as Exports
import Stratosphere.ResourceProperties
data LoggingConfigurationProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-networkfirewall-loggingconfiguration-loggingconfiguration.html>
    LoggingConfigurationProperty {LoggingConfigurationProperty -> ()
haddock_workaround_ :: (),
                                  -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-networkfirewall-loggingconfiguration-loggingconfiguration.html#cfn-networkfirewall-loggingconfiguration-loggingconfiguration-logdestinationconfigs>
                                  LoggingConfigurationProperty -> [LogDestinationConfigProperty]
logDestinationConfigs :: [LogDestinationConfigProperty]}
  deriving stock (LoggingConfigurationProperty
-> LoggingConfigurationProperty -> Bool
(LoggingConfigurationProperty
 -> LoggingConfigurationProperty -> Bool)
-> (LoggingConfigurationProperty
    -> LoggingConfigurationProperty -> Bool)
-> Eq LoggingConfigurationProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: LoggingConfigurationProperty
-> LoggingConfigurationProperty -> Bool
== :: LoggingConfigurationProperty
-> LoggingConfigurationProperty -> Bool
$c/= :: LoggingConfigurationProperty
-> LoggingConfigurationProperty -> Bool
/= :: LoggingConfigurationProperty
-> LoggingConfigurationProperty -> Bool
Prelude.Eq, Int -> LoggingConfigurationProperty -> ShowS
[LoggingConfigurationProperty] -> ShowS
LoggingConfigurationProperty -> String
(Int -> LoggingConfigurationProperty -> ShowS)
-> (LoggingConfigurationProperty -> String)
-> ([LoggingConfigurationProperty] -> ShowS)
-> Show LoggingConfigurationProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> LoggingConfigurationProperty -> ShowS
showsPrec :: Int -> LoggingConfigurationProperty -> ShowS
$cshow :: LoggingConfigurationProperty -> String
show :: LoggingConfigurationProperty -> String
$cshowList :: [LoggingConfigurationProperty] -> ShowS
showList :: [LoggingConfigurationProperty] -> ShowS
Prelude.Show)
mkLoggingConfigurationProperty ::
  [LogDestinationConfigProperty] -> LoggingConfigurationProperty
mkLoggingConfigurationProperty :: [LogDestinationConfigProperty] -> LoggingConfigurationProperty
mkLoggingConfigurationProperty [LogDestinationConfigProperty]
logDestinationConfigs
  = LoggingConfigurationProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (),
       logDestinationConfigs :: [LogDestinationConfigProperty]
logDestinationConfigs = [LogDestinationConfigProperty]
logDestinationConfigs}
instance ToResourceProperties LoggingConfigurationProperty where
  toResourceProperties :: LoggingConfigurationProperty -> ResourceProperties
toResourceProperties LoggingConfigurationProperty {[LogDestinationConfigProperty]
()
haddock_workaround_ :: LoggingConfigurationProperty -> ()
logDestinationConfigs :: LoggingConfigurationProperty -> [LogDestinationConfigProperty]
haddock_workaround_ :: ()
logDestinationConfigs :: [LogDestinationConfigProperty]
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::NetworkFirewall::LoggingConfiguration.LoggingConfiguration",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Key
"LogDestinationConfigs"
                         Key -> [LogDestinationConfigProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= [LogDestinationConfigProperty]
logDestinationConfigs]}
instance JSON.ToJSON LoggingConfigurationProperty where
  toJSON :: LoggingConfigurationProperty -> Value
toJSON LoggingConfigurationProperty {[LogDestinationConfigProperty]
()
haddock_workaround_ :: LoggingConfigurationProperty -> ()
logDestinationConfigs :: LoggingConfigurationProperty -> [LogDestinationConfigProperty]
haddock_workaround_ :: ()
logDestinationConfigs :: [LogDestinationConfigProperty]
..}
    = [(Key, Value)] -> Value
JSON.object
        [Key
"LogDestinationConfigs" Key -> [LogDestinationConfigProperty] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= [LogDestinationConfigProperty]
logDestinationConfigs]
instance Property "LogDestinationConfigs" LoggingConfigurationProperty where
  type PropertyType "LogDestinationConfigs" LoggingConfigurationProperty = [LogDestinationConfigProperty]
  set :: PropertyType "LogDestinationConfigs" LoggingConfigurationProperty
-> LoggingConfigurationProperty -> LoggingConfigurationProperty
set PropertyType "LogDestinationConfigs" LoggingConfigurationProperty
newValue LoggingConfigurationProperty {[LogDestinationConfigProperty]
()
haddock_workaround_ :: LoggingConfigurationProperty -> ()
logDestinationConfigs :: LoggingConfigurationProperty -> [LogDestinationConfigProperty]
haddock_workaround_ :: ()
logDestinationConfigs :: [LogDestinationConfigProperty]
..}
    = LoggingConfigurationProperty
        {logDestinationConfigs :: [LogDestinationConfigProperty]
logDestinationConfigs = [LogDestinationConfigProperty]
PropertyType "LogDestinationConfigs" LoggingConfigurationProperty
newValue, ()
haddock_workaround_ :: ()
haddock_workaround_ :: ()
..}