module Stratosphere.IoTSiteWise.Portal.PortalTypeEntryProperty (
        PortalTypeEntryProperty(..), mkPortalTypeEntryProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data PortalTypeEntryProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotsitewise-portal-portaltypeentry.html>
    PortalTypeEntryProperty {PortalTypeEntryProperty -> ()
haddock_workaround_ :: (),
                             -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotsitewise-portal-portaltypeentry.html#cfn-iotsitewise-portal-portaltypeentry-portaltools>
                             PortalTypeEntryProperty -> ValueList Text
portalTools :: (ValueList Prelude.Text)}
  deriving stock (PortalTypeEntryProperty -> PortalTypeEntryProperty -> Bool
(PortalTypeEntryProperty -> PortalTypeEntryProperty -> Bool)
-> (PortalTypeEntryProperty -> PortalTypeEntryProperty -> Bool)
-> Eq PortalTypeEntryProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PortalTypeEntryProperty -> PortalTypeEntryProperty -> Bool
== :: PortalTypeEntryProperty -> PortalTypeEntryProperty -> Bool
$c/= :: PortalTypeEntryProperty -> PortalTypeEntryProperty -> Bool
/= :: PortalTypeEntryProperty -> PortalTypeEntryProperty -> Bool
Prelude.Eq, Int -> PortalTypeEntryProperty -> ShowS
[PortalTypeEntryProperty] -> ShowS
PortalTypeEntryProperty -> String
(Int -> PortalTypeEntryProperty -> ShowS)
-> (PortalTypeEntryProperty -> String)
-> ([PortalTypeEntryProperty] -> ShowS)
-> Show PortalTypeEntryProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> PortalTypeEntryProperty -> ShowS
showsPrec :: Int -> PortalTypeEntryProperty -> ShowS
$cshow :: PortalTypeEntryProperty -> String
show :: PortalTypeEntryProperty -> String
$cshowList :: [PortalTypeEntryProperty] -> ShowS
showList :: [PortalTypeEntryProperty] -> ShowS
Prelude.Show)
mkPortalTypeEntryProperty ::
  ValueList Prelude.Text -> PortalTypeEntryProperty
mkPortalTypeEntryProperty :: ValueList Text -> PortalTypeEntryProperty
mkPortalTypeEntryProperty ValueList Text
portalTools
  = PortalTypeEntryProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), portalTools :: ValueList Text
portalTools = ValueList Text
portalTools}
instance ToResourceProperties PortalTypeEntryProperty where
  toResourceProperties :: PortalTypeEntryProperty -> ResourceProperties
toResourceProperties PortalTypeEntryProperty {()
ValueList Text
haddock_workaround_ :: PortalTypeEntryProperty -> ()
portalTools :: PortalTypeEntryProperty -> ValueList Text
haddock_workaround_ :: ()
portalTools :: ValueList Text
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::IoTSiteWise::Portal.PortalTypeEntry",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Key
"PortalTools" 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..= ValueList Text
portalTools]}
instance JSON.ToJSON PortalTypeEntryProperty where
  toJSON :: PortalTypeEntryProperty -> Value
toJSON PortalTypeEntryProperty {()
ValueList Text
haddock_workaround_ :: PortalTypeEntryProperty -> ()
portalTools :: PortalTypeEntryProperty -> ValueList Text
haddock_workaround_ :: ()
portalTools :: ValueList Text
..}
    = [(Key, Value)] -> Value
JSON.object [Key
"PortalTools" 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..= ValueList Text
portalTools]
instance Property "PortalTools" PortalTypeEntryProperty where
  type PropertyType "PortalTools" PortalTypeEntryProperty = ValueList Prelude.Text
  set :: PropertyType "PortalTools" PortalTypeEntryProperty
-> PortalTypeEntryProperty -> PortalTypeEntryProperty
set PropertyType "PortalTools" PortalTypeEntryProperty
newValue PortalTypeEntryProperty {()
ValueList Text
haddock_workaround_ :: PortalTypeEntryProperty -> ()
portalTools :: PortalTypeEntryProperty -> ValueList Text
haddock_workaround_ :: ()
portalTools :: ValueList Text
..}
    = PortalTypeEntryProperty {portalTools :: ValueList Text
portalTools = PropertyType "PortalTools" PortalTypeEntryProperty
ValueList Text
newValue, ()
haddock_workaround_ :: ()
haddock_workaround_ :: ()
..}