module Stratosphere.IoTAnalytics.Dataset.DeltaTimeProperty (
        DeltaTimeProperty(..), mkDeltaTimeProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data DeltaTimeProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotanalytics-dataset-deltatime.html>
    DeltaTimeProperty {DeltaTimeProperty -> ()
haddock_workaround_ :: (),
                       -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotanalytics-dataset-deltatime.html#cfn-iotanalytics-dataset-deltatime-offsetseconds>
                       DeltaTimeProperty -> Value Integer
offsetSeconds :: (Value Prelude.Integer),
                       -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-iotanalytics-dataset-deltatime.html#cfn-iotanalytics-dataset-deltatime-timeexpression>
                       DeltaTimeProperty -> Value Text
timeExpression :: (Value Prelude.Text)}
  deriving stock (DeltaTimeProperty -> DeltaTimeProperty -> Bool
(DeltaTimeProperty -> DeltaTimeProperty -> Bool)
-> (DeltaTimeProperty -> DeltaTimeProperty -> Bool)
-> Eq DeltaTimeProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DeltaTimeProperty -> DeltaTimeProperty -> Bool
== :: DeltaTimeProperty -> DeltaTimeProperty -> Bool
$c/= :: DeltaTimeProperty -> DeltaTimeProperty -> Bool
/= :: DeltaTimeProperty -> DeltaTimeProperty -> Bool
Prelude.Eq, Int -> DeltaTimeProperty -> ShowS
[DeltaTimeProperty] -> ShowS
DeltaTimeProperty -> String
(Int -> DeltaTimeProperty -> ShowS)
-> (DeltaTimeProperty -> String)
-> ([DeltaTimeProperty] -> ShowS)
-> Show DeltaTimeProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DeltaTimeProperty -> ShowS
showsPrec :: Int -> DeltaTimeProperty -> ShowS
$cshow :: DeltaTimeProperty -> String
show :: DeltaTimeProperty -> String
$cshowList :: [DeltaTimeProperty] -> ShowS
showList :: [DeltaTimeProperty] -> ShowS
Prelude.Show)
mkDeltaTimeProperty ::
  Value Prelude.Integer -> Value Prelude.Text -> DeltaTimeProperty
mkDeltaTimeProperty :: Value Integer -> Value Text -> DeltaTimeProperty
mkDeltaTimeProperty Value Integer
offsetSeconds Value Text
timeExpression
  = DeltaTimeProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), offsetSeconds :: Value Integer
offsetSeconds = Value Integer
offsetSeconds,
       timeExpression :: Value Text
timeExpression = Value Text
timeExpression}
instance ToResourceProperties DeltaTimeProperty where
  toResourceProperties :: DeltaTimeProperty -> ResourceProperties
toResourceProperties DeltaTimeProperty {()
Value Integer
Value Text
haddock_workaround_ :: DeltaTimeProperty -> ()
offsetSeconds :: DeltaTimeProperty -> Value Integer
timeExpression :: DeltaTimeProperty -> Value Text
haddock_workaround_ :: ()
offsetSeconds :: Value Integer
timeExpression :: Value Text
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::IoTAnalytics::Dataset.DeltaTime",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Key
"OffsetSeconds" Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Integer
offsetSeconds,
                       Key
"TimeExpression" 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
timeExpression]}
instance JSON.ToJSON DeltaTimeProperty where
  toJSON :: DeltaTimeProperty -> Value
toJSON DeltaTimeProperty {()
Value Integer
Value Text
haddock_workaround_ :: DeltaTimeProperty -> ()
offsetSeconds :: DeltaTimeProperty -> Value Integer
timeExpression :: DeltaTimeProperty -> Value Text
haddock_workaround_ :: ()
offsetSeconds :: Value Integer
timeExpression :: Value Text
..}
    = [(Key, Value)] -> Value
JSON.object
        [Key
"OffsetSeconds" Key -> Value Integer -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
JSON..= Value Integer
offsetSeconds,
         Key
"TimeExpression" 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
timeExpression]
instance Property "OffsetSeconds" DeltaTimeProperty where
  type PropertyType "OffsetSeconds" DeltaTimeProperty = Value Prelude.Integer
  set :: PropertyType "OffsetSeconds" DeltaTimeProperty
-> DeltaTimeProperty -> DeltaTimeProperty
set PropertyType "OffsetSeconds" DeltaTimeProperty
newValue DeltaTimeProperty {()
Value Integer
Value Text
haddock_workaround_ :: DeltaTimeProperty -> ()
offsetSeconds :: DeltaTimeProperty -> Value Integer
timeExpression :: DeltaTimeProperty -> Value Text
haddock_workaround_ :: ()
offsetSeconds :: Value Integer
timeExpression :: Value Text
..}
    = DeltaTimeProperty {offsetSeconds :: Value Integer
offsetSeconds = PropertyType "OffsetSeconds" DeltaTimeProperty
Value Integer
newValue, ()
Value Text
haddock_workaround_ :: ()
timeExpression :: Value Text
haddock_workaround_ :: ()
timeExpression :: Value Text
..}
instance Property "TimeExpression" DeltaTimeProperty where
  type PropertyType "TimeExpression" DeltaTimeProperty = Value Prelude.Text
  set :: PropertyType "TimeExpression" DeltaTimeProperty
-> DeltaTimeProperty -> DeltaTimeProperty
set PropertyType "TimeExpression" DeltaTimeProperty
newValue DeltaTimeProperty {()
Value Integer
Value Text
haddock_workaround_ :: DeltaTimeProperty -> ()
offsetSeconds :: DeltaTimeProperty -> Value Integer
timeExpression :: DeltaTimeProperty -> Value Text
haddock_workaround_ :: ()
offsetSeconds :: Value Integer
timeExpression :: Value Text
..}
    = DeltaTimeProperty {timeExpression :: Value Text
timeExpression = PropertyType "TimeExpression" DeltaTimeProperty
Value Text
newValue, ()
Value Integer
haddock_workaround_ :: ()
offsetSeconds :: Value Integer
haddock_workaround_ :: ()
offsetSeconds :: Value Integer
..}