module Stratosphere.SecurityHub.Insight.DateFilterProperty (
        module Exports, DateFilterProperty(..), mkDateFilterProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.SecurityHub.Insight.DateRangeProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Value
data DateFilterProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-insight-datefilter.html>
    DateFilterProperty {DateFilterProperty -> ()
haddock_workaround_ :: (),
                        -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-insight-datefilter.html#cfn-securityhub-insight-datefilter-daterange>
                        DateFilterProperty -> Maybe DateRangeProperty
dateRange :: (Prelude.Maybe DateRangeProperty),
                        -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-insight-datefilter.html#cfn-securityhub-insight-datefilter-end>
                        DateFilterProperty -> Maybe (Value Text)
end :: (Prelude.Maybe (Value Prelude.Text)),
                        -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-insight-datefilter.html#cfn-securityhub-insight-datefilter-start>
                        DateFilterProperty -> Maybe (Value Text)
start :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (DateFilterProperty -> DateFilterProperty -> Bool
(DateFilterProperty -> DateFilterProperty -> Bool)
-> (DateFilterProperty -> DateFilterProperty -> Bool)
-> Eq DateFilterProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DateFilterProperty -> DateFilterProperty -> Bool
== :: DateFilterProperty -> DateFilterProperty -> Bool
$c/= :: DateFilterProperty -> DateFilterProperty -> Bool
/= :: DateFilterProperty -> DateFilterProperty -> Bool
Prelude.Eq, Int -> DateFilterProperty -> ShowS
[DateFilterProperty] -> ShowS
DateFilterProperty -> String
(Int -> DateFilterProperty -> ShowS)
-> (DateFilterProperty -> String)
-> ([DateFilterProperty] -> ShowS)
-> Show DateFilterProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DateFilterProperty -> ShowS
showsPrec :: Int -> DateFilterProperty -> ShowS
$cshow :: DateFilterProperty -> String
show :: DateFilterProperty -> String
$cshowList :: [DateFilterProperty] -> ShowS
showList :: [DateFilterProperty] -> ShowS
Prelude.Show)
mkDateFilterProperty :: DateFilterProperty
mkDateFilterProperty :: DateFilterProperty
mkDateFilterProperty
  = DateFilterProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), dateRange :: Maybe DateRangeProperty
dateRange = Maybe DateRangeProperty
forall a. Maybe a
Prelude.Nothing,
       end :: Maybe (Value Text)
end = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, start :: Maybe (Value Text)
start = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties DateFilterProperty where
  toResourceProperties :: DateFilterProperty -> ResourceProperties
toResourceProperties DateFilterProperty {Maybe (Value Text)
Maybe DateRangeProperty
()
haddock_workaround_ :: DateFilterProperty -> ()
dateRange :: DateFilterProperty -> Maybe DateRangeProperty
end :: DateFilterProperty -> Maybe (Value Text)
start :: DateFilterProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
end :: Maybe (Value Text)
start :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::SecurityHub::Insight.DateFilter",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                           [Key -> DateRangeProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DateRange" (DateRangeProperty -> (Key, Value))
-> Maybe DateRangeProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe DateRangeProperty
dateRange,
                            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
"End" (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)
end,
                            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
"Start" (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)
start])}
instance JSON.ToJSON DateFilterProperty where
  toJSON :: DateFilterProperty -> Value
toJSON DateFilterProperty {Maybe (Value Text)
Maybe DateRangeProperty
()
haddock_workaround_ :: DateFilterProperty -> ()
dateRange :: DateFilterProperty -> Maybe DateRangeProperty
end :: DateFilterProperty -> Maybe (Value Text)
start :: DateFilterProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
end :: Maybe (Value Text)
start :: Maybe (Value Text)
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
              [Key -> DateRangeProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DateRange" (DateRangeProperty -> (Key, Value))
-> Maybe DateRangeProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe DateRangeProperty
dateRange,
               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
"End" (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)
end,
               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
"Start" (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)
start]))
instance Property "DateRange" DateFilterProperty where
  type PropertyType "DateRange" DateFilterProperty = DateRangeProperty
  set :: PropertyType "DateRange" DateFilterProperty
-> DateFilterProperty -> DateFilterProperty
set PropertyType "DateRange" DateFilterProperty
newValue DateFilterProperty {Maybe (Value Text)
Maybe DateRangeProperty
()
haddock_workaround_ :: DateFilterProperty -> ()
dateRange :: DateFilterProperty -> Maybe DateRangeProperty
end :: DateFilterProperty -> Maybe (Value Text)
start :: DateFilterProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
end :: Maybe (Value Text)
start :: Maybe (Value Text)
..}
    = DateFilterProperty {dateRange :: Maybe DateRangeProperty
dateRange = DateRangeProperty -> Maybe DateRangeProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "DateRange" DateFilterProperty
DateRangeProperty
newValue, Maybe (Value Text)
()
haddock_workaround_ :: ()
end :: Maybe (Value Text)
start :: Maybe (Value Text)
haddock_workaround_ :: ()
end :: Maybe (Value Text)
start :: Maybe (Value Text)
..}
instance Property "End" DateFilterProperty where
  type PropertyType "End" DateFilterProperty = Value Prelude.Text
  set :: PropertyType "End" DateFilterProperty
-> DateFilterProperty -> DateFilterProperty
set PropertyType "End" DateFilterProperty
newValue DateFilterProperty {Maybe (Value Text)
Maybe DateRangeProperty
()
haddock_workaround_ :: DateFilterProperty -> ()
dateRange :: DateFilterProperty -> Maybe DateRangeProperty
end :: DateFilterProperty -> Maybe (Value Text)
start :: DateFilterProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
end :: Maybe (Value Text)
start :: Maybe (Value Text)
..}
    = DateFilterProperty {end :: Maybe (Value Text)
end = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "End" DateFilterProperty
Value Text
newValue, Maybe (Value Text)
Maybe DateRangeProperty
()
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
start :: Maybe (Value Text)
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
start :: Maybe (Value Text)
..}
instance Property "Start" DateFilterProperty where
  type PropertyType "Start" DateFilterProperty = Value Prelude.Text
  set :: PropertyType "Start" DateFilterProperty
-> DateFilterProperty -> DateFilterProperty
set PropertyType "Start" DateFilterProperty
newValue DateFilterProperty {Maybe (Value Text)
Maybe DateRangeProperty
()
haddock_workaround_ :: DateFilterProperty -> ()
dateRange :: DateFilterProperty -> Maybe DateRangeProperty
end :: DateFilterProperty -> Maybe (Value Text)
start :: DateFilterProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
end :: Maybe (Value Text)
start :: Maybe (Value Text)
..}
    = DateFilterProperty {start :: Maybe (Value Text)
start = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Start" DateFilterProperty
Value Text
newValue, Maybe (Value Text)
Maybe DateRangeProperty
()
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
end :: Maybe (Value Text)
haddock_workaround_ :: ()
dateRange :: Maybe DateRangeProperty
end :: Maybe (Value Text)
..}