module Stratosphere.InspectorV2.Filter.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-inspectorv2-filter-numberfilter.html>
    NumberFilterProperty {NumberFilterProperty -> ()
haddock_workaround_ :: (),
                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-inspectorv2-filter-numberfilter.html#cfn-inspectorv2-filter-numberfilter-lowerinclusive>
                          NumberFilterProperty -> Maybe (Value Double)
lowerInclusive :: (Prelude.Maybe (Value Prelude.Double)),
                          -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-inspectorv2-filter-numberfilter.html#cfn-inspectorv2-filter-numberfilter-upperinclusive>
                          NumberFilterProperty -> Maybe (Value Double)
upperInclusive :: (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_ = (), lowerInclusive :: Maybe (Value Double)
lowerInclusive = Maybe (Value Double)
forall a. Maybe a
Prelude.Nothing,
       upperInclusive :: Maybe (Value Double)
upperInclusive = Maybe (Value Double)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties NumberFilterProperty where
  toResourceProperties :: NumberFilterProperty -> ResourceProperties
toResourceProperties NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
lowerInclusive :: NumberFilterProperty -> Maybe (Value Double)
upperInclusive :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
lowerInclusive :: Maybe (Value Double)
upperInclusive :: Maybe (Value Double)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::InspectorV2::Filter.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
"LowerInclusive" (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)
lowerInclusive,
                            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
"UpperInclusive" (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)
upperInclusive])}
instance JSON.ToJSON NumberFilterProperty where
  toJSON :: NumberFilterProperty -> Value
toJSON NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
lowerInclusive :: NumberFilterProperty -> Maybe (Value Double)
upperInclusive :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
lowerInclusive :: Maybe (Value Double)
upperInclusive :: 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
"LowerInclusive" (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)
lowerInclusive,
               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
"UpperInclusive" (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)
upperInclusive]))
instance Property "LowerInclusive" NumberFilterProperty where
  type PropertyType "LowerInclusive" NumberFilterProperty = Value Prelude.Double
  set :: PropertyType "LowerInclusive" NumberFilterProperty
-> NumberFilterProperty -> NumberFilterProperty
set PropertyType "LowerInclusive" NumberFilterProperty
newValue NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
lowerInclusive :: NumberFilterProperty -> Maybe (Value Double)
upperInclusive :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
lowerInclusive :: Maybe (Value Double)
upperInclusive :: Maybe (Value Double)
..}
    = NumberFilterProperty {lowerInclusive :: Maybe (Value Double)
lowerInclusive = Value Double -> Maybe (Value Double)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "LowerInclusive" NumberFilterProperty
Value Double
newValue, Maybe (Value Double)
()
haddock_workaround_ :: ()
upperInclusive :: Maybe (Value Double)
haddock_workaround_ :: ()
upperInclusive :: Maybe (Value Double)
..}
instance Property "UpperInclusive" NumberFilterProperty where
  type PropertyType "UpperInclusive" NumberFilterProperty = Value Prelude.Double
  set :: PropertyType "UpperInclusive" NumberFilterProperty
-> NumberFilterProperty -> NumberFilterProperty
set PropertyType "UpperInclusive" NumberFilterProperty
newValue NumberFilterProperty {Maybe (Value Double)
()
haddock_workaround_ :: NumberFilterProperty -> ()
lowerInclusive :: NumberFilterProperty -> Maybe (Value Double)
upperInclusive :: NumberFilterProperty -> Maybe (Value Double)
haddock_workaround_ :: ()
lowerInclusive :: Maybe (Value Double)
upperInclusive :: Maybe (Value Double)
..}
    = NumberFilterProperty {upperInclusive :: Maybe (Value Double)
upperInclusive = Value Double -> Maybe (Value Double)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "UpperInclusive" NumberFilterProperty
Value Double
newValue, Maybe (Value Double)
()
haddock_workaround_ :: ()
lowerInclusive :: Maybe (Value Double)
haddock_workaround_ :: ()
lowerInclusive :: Maybe (Value Double)
..}