module Stratosphere.SecurityHub.AutomationRule.NumberFilterProperty (
        NumberFilterProperty(..), mkNumberFilterProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data NumberFilterProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-automationrule-numberfilter.html>
    NumberFilterProperty {NumberFilterProperty -> ()
haddock_workaround_ :: (),
                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-automationrule-numberfilter.html#cfn-securityhub-automationrule-numberfilter-eq>
                          NumberFilterProperty -> Maybe (Value Double)
eq :: (Prelude.Maybe (Value Prelude.Double)),
                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-automationrule-numberfilter.html#cfn-securityhub-automationrule-numberfilter-gte>
                          NumberFilterProperty -> Maybe (Value Double)
gte :: (Prelude.Maybe (Value Prelude.Double)),
                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-securityhub-automationrule-numberfilter.html#cfn-securityhub-automationrule-numberfilter-lte>
                          NumberFilterProperty -> Maybe (Value Double)
lte :: (Prelude.Maybe (Value Prelude.Double))}
  deriving stock (NumberFilterProperty -> NumberFilterProperty -> Bool
(NumberFilterProperty -> NumberFilterProperty -> Bool)
-> (NumberFilterProperty -> NumberFilterProperty -> Bool)
-> Eq NumberFilterProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: NumberFilterProperty -> NumberFilterProperty -> Bool
== :: NumberFilterProperty -> NumberFilterProperty -> Bool
$c/= :: NumberFilterProperty -> NumberFilterProperty -> Bool
/= :: NumberFilterProperty -> NumberFilterProperty -> Bool
Prelude.Eq, Int -> NumberFilterProperty -> ShowS
[NumberFilterProperty] -> ShowS
NumberFilterProperty -> String
(Int -> NumberFilterProperty -> ShowS)
-> (NumberFilterProperty -> String)
-> ([NumberFilterProperty] -> ShowS)
-> Show NumberFilterProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> NumberFilterProperty -> ShowS
showsPrec :: Int -> NumberFilterProperty -> ShowS
$cshow :: NumberFilterProperty -> String
show :: NumberFilterProperty -> String
$cshowList :: [NumberFilterProperty] -> ShowS
showList :: [NumberFilterProperty] -> ShowS
Prelude.Show)
mkNumberFilterProperty :: NumberFilterProperty
mkNumberFilterProperty :: NumberFilterProperty
mkNumberFilterProperty
  = NumberFilterProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), eq :: Maybe (Value Double)
eq = Maybe (Value Double)
forall a. Maybe a
Prelude.Nothing,
       gte :: Maybe (Value Double)
gte = Maybe (Value Double)
forall a. Maybe a
Prelude.Nothing, lte :: Maybe (Value Double)
lte = Maybe (Value Double)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties NumberFilterProperty where
  toResourceProperties :: NumberFilterProperty -> ResourceProperties
toResourceProperties NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
eq :: NumberFilterProperty -> Maybe (Value Double)
gte :: NumberFilterProperty -> Maybe (Value Double)
lte :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
gte :: Maybe (Value Double)
lte :: Maybe (Value Double)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::SecurityHub::AutomationRule.NumberFilter",
         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 -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Eq" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
eq, Key -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Gte" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
gte,
                            Key -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Lte" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
lte])}
instance JSON.ToJSON NumberFilterProperty where
  toJSON :: NumberFilterProperty -> Value
toJSON NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
eq :: NumberFilterProperty -> Maybe (Value Double)
gte :: NumberFilterProperty -> Maybe (Value Double)
lte :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
gte :: Maybe (Value Double)
lte :: Maybe (Value Double)
..}
    = [(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 -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Eq" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
eq, Key -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Gte" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
gte,
               Key -> Value Double -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Lte" (Value Double -> (Key, Value))
-> Maybe (Value Double) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Double)
lte]))
instance Property "Eq" NumberFilterProperty where
  type PropertyType "Eq" NumberFilterProperty = Value Prelude.Double
  set :: PropertyType "Eq" NumberFilterProperty
-> NumberFilterProperty -> NumberFilterProperty
set PropertyType "Eq" NumberFilterProperty
newValue NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
eq :: NumberFilterProperty -> Maybe (Value Double)
gte :: NumberFilterProperty -> Maybe (Value Double)
lte :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
gte :: Maybe (Value Double)
lte :: Maybe (Value Double)
..}
    = NumberFilterProperty {eq :: Maybe (Value Double)
eq = Value Double -> Maybe (Value Double)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Eq" NumberFilterProperty
Value Double
newValue, Maybe (Value Double)
()
haddock_workaround_ :: ()
gte :: Maybe (Value Double)
lte :: Maybe (Value Double)
haddock_workaround_ :: ()
gte :: Maybe (Value Double)
lte :: Maybe (Value Double)
..}
instance Property "Gte" NumberFilterProperty where
  type PropertyType "Gte" NumberFilterProperty = Value Prelude.Double
  set :: PropertyType "Gte" NumberFilterProperty
-> NumberFilterProperty -> NumberFilterProperty
set PropertyType "Gte" NumberFilterProperty
newValue NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
eq :: NumberFilterProperty -> Maybe (Value Double)
gte :: NumberFilterProperty -> Maybe (Value Double)
lte :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
gte :: Maybe (Value Double)
lte :: Maybe (Value Double)
..}
    = NumberFilterProperty {gte :: Maybe (Value Double)
gte = Value Double -> Maybe (Value Double)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Gte" NumberFilterProperty
Value Double
newValue, Maybe (Value Double)
()
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
lte :: Maybe (Value Double)
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
lte :: Maybe (Value Double)
..}
instance Property "Lte" NumberFilterProperty where
  type PropertyType "Lte" NumberFilterProperty = Value Prelude.Double
  set :: PropertyType "Lte" NumberFilterProperty
-> NumberFilterProperty -> NumberFilterProperty
set PropertyType "Lte" NumberFilterProperty
newValue NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
eq :: NumberFilterProperty -> Maybe (Value Double)
gte :: NumberFilterProperty -> Maybe (Value Double)
lte :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
gte :: Maybe (Value Double)
lte :: Maybe (Value Double)
..}
    = NumberFilterProperty {lte :: Maybe (Value Double)
lte = Value Double -> Maybe (Value Double)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Lte" NumberFilterProperty
Value Double
newValue, Maybe (Value Double)
()
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
gte :: Maybe (Value Double)
haddock_workaround_ :: ()
eq :: Maybe (Value Double)
gte :: Maybe (Value Double)
..}