module Stratosphere.EVS.Environment.CheckProperty (
        CheckProperty(..), mkCheckProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data CheckProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-evs-environment-check.html>
    CheckProperty {CheckProperty -> ()
haddock_workaround_ :: (),
                   -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-evs-environment-check.html#cfn-evs-environment-check-impairedsince>
                   CheckProperty -> Maybe (Value Text)
impairedSince :: (Prelude.Maybe (Value Prelude.Text)),
                   -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-evs-environment-check.html#cfn-evs-environment-check-result>
                   CheckProperty -> Value Text
result :: (Value Prelude.Text),
                   -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-evs-environment-check.html#cfn-evs-environment-check-type>
                   CheckProperty -> Value Text
type' :: (Value Prelude.Text)}
  deriving stock (CheckProperty -> CheckProperty -> Bool
(CheckProperty -> CheckProperty -> Bool)
-> (CheckProperty -> CheckProperty -> Bool) -> Eq CheckProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: CheckProperty -> CheckProperty -> Bool
== :: CheckProperty -> CheckProperty -> Bool
$c/= :: CheckProperty -> CheckProperty -> Bool
/= :: CheckProperty -> CheckProperty -> Bool
Prelude.Eq, Int -> CheckProperty -> ShowS
[CheckProperty] -> ShowS
CheckProperty -> String
(Int -> CheckProperty -> ShowS)
-> (CheckProperty -> String)
-> ([CheckProperty] -> ShowS)
-> Show CheckProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> CheckProperty -> ShowS
showsPrec :: Int -> CheckProperty -> ShowS
$cshow :: CheckProperty -> String
show :: CheckProperty -> String
$cshowList :: [CheckProperty] -> ShowS
showList :: [CheckProperty] -> ShowS
Prelude.Show)
mkCheckProperty ::
  Value Prelude.Text -> Value Prelude.Text -> CheckProperty
mkCheckProperty :: Value Text -> Value Text -> CheckProperty
mkCheckProperty Value Text
result Value Text
type'
  = CheckProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), result :: Value Text
result = Value Text
result, type' :: Value Text
type' = Value Text
type',
       impairedSince :: Maybe (Value Text)
impairedSince = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties CheckProperty where
  toResourceProperties :: CheckProperty -> ResourceProperties
toResourceProperties CheckProperty {Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CheckProperty -> ()
impairedSince :: CheckProperty -> Maybe (Value Text)
result :: CheckProperty -> Value Text
type' :: CheckProperty -> Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
result :: Value Text
type' :: Value Text
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::EVS::Environment.Check",
         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
"Result" 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
result, Key
"Type" 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
type']
                           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                              [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
"ImpairedSince" (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)
impairedSince]))}
instance JSON.ToJSON CheckProperty where
  toJSON :: CheckProperty -> Value
toJSON CheckProperty {Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CheckProperty -> ()
impairedSince :: CheckProperty -> Maybe (Value Text)
result :: CheckProperty -> Value Text
type' :: CheckProperty -> Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
result :: Value Text
type' :: 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
"Result" 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
result, Key
"Type" 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
type']
              ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                 [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
"ImpairedSince" (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)
impairedSince])))
instance Property "ImpairedSince" CheckProperty where
  type PropertyType "ImpairedSince" CheckProperty = Value Prelude.Text
  set :: PropertyType "ImpairedSince" CheckProperty
-> CheckProperty -> CheckProperty
set PropertyType "ImpairedSince" CheckProperty
newValue CheckProperty {Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CheckProperty -> ()
impairedSince :: CheckProperty -> Maybe (Value Text)
result :: CheckProperty -> Value Text
type' :: CheckProperty -> Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
result :: Value Text
type' :: Value Text
..}
    = CheckProperty {impairedSince :: Maybe (Value Text)
impairedSince = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "ImpairedSince" CheckProperty
Value Text
newValue, ()
Value Text
haddock_workaround_ :: ()
result :: Value Text
type' :: Value Text
haddock_workaround_ :: ()
result :: Value Text
type' :: Value Text
..}
instance Property "Result" CheckProperty where
  type PropertyType "Result" CheckProperty = Value Prelude.Text
  set :: PropertyType "Result" CheckProperty
-> CheckProperty -> CheckProperty
set PropertyType "Result" CheckProperty
newValue CheckProperty {Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CheckProperty -> ()
impairedSince :: CheckProperty -> Maybe (Value Text)
result :: CheckProperty -> Value Text
type' :: CheckProperty -> Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
result :: Value Text
type' :: Value Text
..}
    = CheckProperty {result :: Value Text
result = PropertyType "Result" CheckProperty
Value Text
newValue, Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
type' :: Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
type' :: Value Text
..}
instance Property "Type" CheckProperty where
  type PropertyType "Type" CheckProperty = Value Prelude.Text
  set :: PropertyType "Type" CheckProperty -> CheckProperty -> CheckProperty
set PropertyType "Type" CheckProperty
newValue CheckProperty {Maybe (Value Text)
()
Value Text
haddock_workaround_ :: CheckProperty -> ()
impairedSince :: CheckProperty -> Maybe (Value Text)
result :: CheckProperty -> Value Text
type' :: CheckProperty -> Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
result :: Value Text
type' :: Value Text
..}
    = CheckProperty {type' :: Value Text
type' = PropertyType "Type" CheckProperty
Value Text
newValue, Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
result :: Value Text
haddock_workaround_ :: ()
impairedSince :: Maybe (Value Text)
result :: Value Text
..}