module Stratosphere.IoTSiteWise.Portal (
        module Exports, Portal(..), mkPortal
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.IoTSiteWise.Portal.AlarmsProperty as Exports
import {-# SOURCE #-} Stratosphere.IoTSiteWise.Portal.PortalTypeEntryProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Tag
import Stratosphere.Value
data Portal
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html>
    Portal {Portal -> ()
haddock_workaround_ :: (),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-alarms>
            Portal -> Maybe AlarmsProperty
alarms :: (Prelude.Maybe AlarmsProperty),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-notificationsenderemail>
            Portal -> Maybe (Value Text)
notificationSenderEmail :: (Prelude.Maybe (Value Prelude.Text)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-portalauthmode>
            Portal -> Maybe (Value Text)
portalAuthMode :: (Prelude.Maybe (Value Prelude.Text)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-portalcontactemail>
            Portal -> Value Text
portalContactEmail :: (Value Prelude.Text),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-portaldescription>
            Portal -> Maybe (Value Text)
portalDescription :: (Prelude.Maybe (Value Prelude.Text)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-portalname>
            Portal -> Value Text
portalName :: (Value Prelude.Text),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-portaltype>
            Portal -> Maybe (Value Text)
portalType :: (Prelude.Maybe (Value Prelude.Text)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-portaltypeconfiguration>
            Portal -> Maybe (Map Text PortalTypeEntryProperty)
portalTypeConfiguration :: (Prelude.Maybe (Prelude.Map Prelude.Text PortalTypeEntryProperty)),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-rolearn>
            Portal -> Value Text
roleArn :: (Value Prelude.Text),
            -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-iotsitewise-portal.html#cfn-iotsitewise-portal-tags>
            Portal -> Maybe [Tag]
tags :: (Prelude.Maybe [Tag])}
  deriving stock (Portal -> Portal -> Bool
(Portal -> Portal -> Bool)
-> (Portal -> Portal -> Bool) -> Eq Portal
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Portal -> Portal -> Bool
== :: Portal -> Portal -> Bool
$c/= :: Portal -> Portal -> Bool
/= :: Portal -> Portal -> Bool
Prelude.Eq, Int -> Portal -> ShowS
[Portal] -> ShowS
Portal -> String
(Int -> Portal -> ShowS)
-> (Portal -> String) -> ([Portal] -> ShowS) -> Show Portal
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Portal -> ShowS
showsPrec :: Int -> Portal -> ShowS
$cshow :: Portal -> String
show :: Portal -> String
$cshowList :: [Portal] -> ShowS
showList :: [Portal] -> ShowS
Prelude.Show)
mkPortal ::
  Value Prelude.Text
  -> Value Prelude.Text -> Value Prelude.Text -> Portal
mkPortal :: Value Text -> Value Text -> Value Text -> Portal
mkPortal Value Text
portalContactEmail Value Text
portalName Value Text
roleArn
  = Portal
      {haddock_workaround_ :: ()
haddock_workaround_ = (), portalContactEmail :: Value Text
portalContactEmail = Value Text
portalContactEmail,
       portalName :: Value Text
portalName = Value Text
portalName, roleArn :: Value Text
roleArn = Value Text
roleArn,
       alarms :: Maybe AlarmsProperty
alarms = Maybe AlarmsProperty
forall a. Maybe a
Prelude.Nothing,
       notificationSenderEmail :: Maybe (Value Text)
notificationSenderEmail = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       portalAuthMode :: Maybe (Value Text)
portalAuthMode = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       portalDescription :: Maybe (Value Text)
portalDescription = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, portalType :: Maybe (Value Text)
portalType = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
portalTypeConfiguration = Maybe (Map Text PortalTypeEntryProperty)
forall a. Maybe a
Prelude.Nothing, tags :: Maybe [Tag]
tags = Maybe [Tag]
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties Portal where
  toResourceProperties :: Portal -> ResourceProperties
toResourceProperties Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::IoTSiteWise::Portal", supportsTags :: Bool
supportsTags = Bool
Prelude.True,
         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
"PortalContactEmail" 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
portalContactEmail,
                            Key
"PortalName" 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
portalName, Key
"RoleArn" 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
roleArn]
                           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                              [Key -> AlarmsProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Alarms" (AlarmsProperty -> (Key, Value))
-> Maybe AlarmsProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe AlarmsProperty
alarms,
                               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
"NotificationSenderEmail"
                                 (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)
notificationSenderEmail,
                               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
"PortalAuthMode" (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)
portalAuthMode,
                               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
"PortalDescription" (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)
portalDescription,
                               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
"PortalType" (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)
portalType,
                               Key -> Map Text PortalTypeEntryProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"PortalTypeConfiguration"
                                 (Map Text PortalTypeEntryProperty -> (Key, Value))
-> Maybe (Map Text PortalTypeEntryProperty) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Map Text PortalTypeEntryProperty)
portalTypeConfiguration,
                               Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags]))}
instance JSON.ToJSON Portal where
  toJSON :: Portal -> Value
toJSON Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = [(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
"PortalContactEmail" 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
portalContactEmail,
               Key
"PortalName" 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
portalName, Key
"RoleArn" 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
roleArn]
              ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                 [Key -> AlarmsProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Alarms" (AlarmsProperty -> (Key, Value))
-> Maybe AlarmsProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe AlarmsProperty
alarms,
                  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
"NotificationSenderEmail"
                    (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)
notificationSenderEmail,
                  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
"PortalAuthMode" (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)
portalAuthMode,
                  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
"PortalDescription" (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)
portalDescription,
                  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
"PortalType" (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)
portalType,
                  Key -> Map Text PortalTypeEntryProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"PortalTypeConfiguration"
                    (Map Text PortalTypeEntryProperty -> (Key, Value))
-> Maybe (Map Text PortalTypeEntryProperty) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Map Text PortalTypeEntryProperty)
portalTypeConfiguration,
                  Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags])))
instance Property "Alarms" Portal where
  type PropertyType "Alarms" Portal = AlarmsProperty
  set :: PropertyType "Alarms" Portal -> Portal -> Portal
set PropertyType "Alarms" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {alarms :: Maybe AlarmsProperty
alarms = AlarmsProperty -> Maybe AlarmsProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Alarms" Portal
AlarmsProperty
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "NotificationSenderEmail" Portal where
  type PropertyType "NotificationSenderEmail" Portal = Value Prelude.Text
  set :: PropertyType "NotificationSenderEmail" Portal -> Portal -> Portal
set PropertyType "NotificationSenderEmail" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {notificationSenderEmail :: Maybe (Value Text)
notificationSenderEmail = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "NotificationSenderEmail" Portal
Value Text
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "PortalAuthMode" Portal where
  type PropertyType "PortalAuthMode" Portal = Value Prelude.Text
  set :: PropertyType "PortalAuthMode" Portal -> Portal -> Portal
set PropertyType "PortalAuthMode" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {portalAuthMode :: Maybe (Value Text)
portalAuthMode = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "PortalAuthMode" Portal
Value Text
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "PortalContactEmail" Portal where
  type PropertyType "PortalContactEmail" Portal = Value Prelude.Text
  set :: PropertyType "PortalContactEmail" Portal -> Portal -> Portal
set PropertyType "PortalContactEmail" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {portalContactEmail :: Value Text
portalContactEmail = PropertyType "PortalContactEmail" Portal
Value Text
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "PortalDescription" Portal where
  type PropertyType "PortalDescription" Portal = Value Prelude.Text
  set :: PropertyType "PortalDescription" Portal -> Portal -> Portal
set PropertyType "PortalDescription" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {portalDescription :: Maybe (Value Text)
portalDescription = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "PortalDescription" Portal
Value Text
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "PortalName" Portal where
  type PropertyType "PortalName" Portal = Value Prelude.Text
  set :: PropertyType "PortalName" Portal -> Portal -> Portal
set PropertyType "PortalName" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..} = Portal {portalName :: Value Text
portalName = PropertyType "PortalName" Portal
Value Text
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "PortalType" Portal where
  type PropertyType "PortalType" Portal = Value Prelude.Text
  set :: PropertyType "PortalType" Portal -> Portal -> Portal
set PropertyType "PortalType" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {portalType :: Maybe (Value Text)
portalType = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "PortalType" Portal
Value Text
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "PortalTypeConfiguration" Portal where
  type PropertyType "PortalTypeConfiguration" Portal = Prelude.Map Prelude.Text PortalTypeEntryProperty
  set :: PropertyType "PortalTypeConfiguration" Portal -> Portal -> Portal
set PropertyType "PortalTypeConfiguration" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
portalTypeConfiguration = Map Text PortalTypeEntryProperty
-> Maybe (Map Text PortalTypeEntryProperty)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure Map Text PortalTypeEntryProperty
PropertyType "PortalTypeConfiguration" Portal
newValue, Maybe [Tag]
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
roleArn :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
instance Property "RoleArn" Portal where
  type PropertyType "RoleArn" Portal = Value Prelude.Text
  set :: PropertyType "RoleArn" Portal -> Portal -> Portal
set PropertyType "RoleArn" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..} = Portal {roleArn :: Value Text
roleArn = PropertyType "RoleArn" Portal
Value Text
newValue, Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
tags :: Maybe [Tag]
..}
instance Property "Tags" Portal where
  type PropertyType "Tags" Portal = [Tag]
  set :: PropertyType "Tags" Portal -> Portal -> Portal
set PropertyType "Tags" Portal
newValue Portal {Maybe [Tag]
Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: Portal -> ()
alarms :: Portal -> Maybe AlarmsProperty
notificationSenderEmail :: Portal -> Maybe (Value Text)
portalAuthMode :: Portal -> Maybe (Value Text)
portalContactEmail :: Portal -> Value Text
portalDescription :: Portal -> Maybe (Value Text)
portalName :: Portal -> Value Text
portalType :: Portal -> Maybe (Value Text)
portalTypeConfiguration :: Portal -> Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Portal -> Value Text
tags :: Portal -> Maybe [Tag]
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
tags :: Maybe [Tag]
..}
    = Portal {tags :: Maybe [Tag]
tags = [Tag] -> Maybe [Tag]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [Tag]
PropertyType "Tags" Portal
newValue, Maybe (Map Text PortalTypeEntryProperty)
Maybe (Value Text)
Maybe AlarmsProperty
()
Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
haddock_workaround_ :: ()
alarms :: Maybe AlarmsProperty
notificationSenderEmail :: Maybe (Value Text)
portalAuthMode :: Maybe (Value Text)
portalContactEmail :: Value Text
portalDescription :: Maybe (Value Text)
portalName :: Value Text
portalType :: Maybe (Value Text)
portalTypeConfiguration :: Maybe (Map Text PortalTypeEntryProperty)
roleArn :: Value Text
..}