module Stratosphere.QuickSight.Dashboard.ParameterDeclarationProperty (
        module Exports, ParameterDeclarationProperty(..),
        mkParameterDeclarationProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.QuickSight.Dashboard.DateTimeParameterDeclarationProperty as Exports
import {-# SOURCE #-} Stratosphere.QuickSight.Dashboard.DecimalParameterDeclarationProperty as Exports
import {-# SOURCE #-} Stratosphere.QuickSight.Dashboard.IntegerParameterDeclarationProperty as Exports
import {-# SOURCE #-} Stratosphere.QuickSight.Dashboard.StringParameterDeclarationProperty as Exports
import Stratosphere.ResourceProperties
data ParameterDeclarationProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-quicksight-dashboard-parameterdeclaration.html>
    ParameterDeclarationProperty {ParameterDeclarationProperty -> ()
haddock_workaround_ :: (),
                                  -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-quicksight-dashboard-parameterdeclaration.html#cfn-quicksight-dashboard-parameterdeclaration-datetimeparameterdeclaration>
                                  ParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
dateTimeParameterDeclaration :: (Prelude.Maybe DateTimeParameterDeclarationProperty),
                                  -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-quicksight-dashboard-parameterdeclaration.html#cfn-quicksight-dashboard-parameterdeclaration-decimalparameterdeclaration>
                                  ParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
decimalParameterDeclaration :: (Prelude.Maybe DecimalParameterDeclarationProperty),
                                  -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-quicksight-dashboard-parameterdeclaration.html#cfn-quicksight-dashboard-parameterdeclaration-integerparameterdeclaration>
                                  ParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
integerParameterDeclaration :: (Prelude.Maybe IntegerParameterDeclarationProperty),
                                  -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-quicksight-dashboard-parameterdeclaration.html#cfn-quicksight-dashboard-parameterdeclaration-stringparameterdeclaration>
                                  ParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
stringParameterDeclaration :: (Prelude.Maybe StringParameterDeclarationProperty)}
  deriving stock (ParameterDeclarationProperty
-> ParameterDeclarationProperty -> Bool
(ParameterDeclarationProperty
 -> ParameterDeclarationProperty -> Bool)
-> (ParameterDeclarationProperty
    -> ParameterDeclarationProperty -> Bool)
-> Eq ParameterDeclarationProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ParameterDeclarationProperty
-> ParameterDeclarationProperty -> Bool
== :: ParameterDeclarationProperty
-> ParameterDeclarationProperty -> Bool
$c/= :: ParameterDeclarationProperty
-> ParameterDeclarationProperty -> Bool
/= :: ParameterDeclarationProperty
-> ParameterDeclarationProperty -> Bool
Prelude.Eq, Int -> ParameterDeclarationProperty -> ShowS
[ParameterDeclarationProperty] -> ShowS
ParameterDeclarationProperty -> String
(Int -> ParameterDeclarationProperty -> ShowS)
-> (ParameterDeclarationProperty -> String)
-> ([ParameterDeclarationProperty] -> ShowS)
-> Show ParameterDeclarationProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> ParameterDeclarationProperty -> ShowS
showsPrec :: Int -> ParameterDeclarationProperty -> ShowS
$cshow :: ParameterDeclarationProperty -> String
show :: ParameterDeclarationProperty -> String
$cshowList :: [ParameterDeclarationProperty] -> ShowS
showList :: [ParameterDeclarationProperty] -> ShowS
Prelude.Show)
mkParameterDeclarationProperty :: ParameterDeclarationProperty
mkParameterDeclarationProperty :: ParameterDeclarationProperty
mkParameterDeclarationProperty
  = ParameterDeclarationProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (),
       dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
dateTimeParameterDeclaration = Maybe DateTimeParameterDeclarationProperty
forall a. Maybe a
Prelude.Nothing,
       decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
decimalParameterDeclaration = Maybe DecimalParameterDeclarationProperty
forall a. Maybe a
Prelude.Nothing,
       integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
integerParameterDeclaration = Maybe IntegerParameterDeclarationProperty
forall a. Maybe a
Prelude.Nothing,
       stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
stringParameterDeclaration = Maybe StringParameterDeclarationProperty
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties ParameterDeclarationProperty where
  toResourceProperties :: ParameterDeclarationProperty -> ResourceProperties
toResourceProperties ParameterDeclarationProperty {Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ParameterDeclarationProperty -> ()
dateTimeParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: ParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: ParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::QuickSight::Dashboard.ParameterDeclaration",
         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 -> DateTimeParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DateTimeParameterDeclaration"
                              (DateTimeParameterDeclarationProperty -> (Key, Value))
-> Maybe DateTimeParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe DateTimeParameterDeclarationProperty
dateTimeParameterDeclaration,
                            Key -> DecimalParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DecimalParameterDeclaration"
                              (DecimalParameterDeclarationProperty -> (Key, Value))
-> Maybe DecimalParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe DecimalParameterDeclarationProperty
decimalParameterDeclaration,
                            Key -> IntegerParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"IntegerParameterDeclaration"
                              (IntegerParameterDeclarationProperty -> (Key, Value))
-> Maybe IntegerParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe IntegerParameterDeclarationProperty
integerParameterDeclaration,
                            Key -> StringParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"StringParameterDeclaration"
                              (StringParameterDeclarationProperty -> (Key, Value))
-> Maybe StringParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe StringParameterDeclarationProperty
stringParameterDeclaration])}
instance JSON.ToJSON ParameterDeclarationProperty where
  toJSON :: ParameterDeclarationProperty -> Value
toJSON ParameterDeclarationProperty {Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ParameterDeclarationProperty -> ()
dateTimeParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: ParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: ParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
    = [(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 -> DateTimeParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DateTimeParameterDeclaration"
                 (DateTimeParameterDeclarationProperty -> (Key, Value))
-> Maybe DateTimeParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe DateTimeParameterDeclarationProperty
dateTimeParameterDeclaration,
               Key -> DecimalParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"DecimalParameterDeclaration"
                 (DecimalParameterDeclarationProperty -> (Key, Value))
-> Maybe DecimalParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe DecimalParameterDeclarationProperty
decimalParameterDeclaration,
               Key -> IntegerParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"IntegerParameterDeclaration"
                 (IntegerParameterDeclarationProperty -> (Key, Value))
-> Maybe IntegerParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe IntegerParameterDeclarationProperty
integerParameterDeclaration,
               Key -> StringParameterDeclarationProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"StringParameterDeclaration"
                 (StringParameterDeclarationProperty -> (Key, Value))
-> Maybe StringParameterDeclarationProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe StringParameterDeclarationProperty
stringParameterDeclaration]))
instance Property "DateTimeParameterDeclaration" ParameterDeclarationProperty where
  type PropertyType "DateTimeParameterDeclaration" ParameterDeclarationProperty = DateTimeParameterDeclarationProperty
  set :: PropertyType
  "DateTimeParameterDeclaration" ParameterDeclarationProperty
-> ParameterDeclarationProperty -> ParameterDeclarationProperty
set PropertyType
  "DateTimeParameterDeclaration" ParameterDeclarationProperty
newValue ParameterDeclarationProperty {Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ParameterDeclarationProperty -> ()
dateTimeParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: ParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: ParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
    = ParameterDeclarationProperty
        {dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
dateTimeParameterDeclaration = DateTimeParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "DateTimeParameterDeclaration" ParameterDeclarationProperty
DateTimeParameterDeclarationProperty
newValue, Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ()
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
instance Property "DecimalParameterDeclaration" ParameterDeclarationProperty where
  type PropertyType "DecimalParameterDeclaration" ParameterDeclarationProperty = DecimalParameterDeclarationProperty
  set :: PropertyType
  "DecimalParameterDeclaration" ParameterDeclarationProperty
-> ParameterDeclarationProperty -> ParameterDeclarationProperty
set PropertyType
  "DecimalParameterDeclaration" ParameterDeclarationProperty
newValue ParameterDeclarationProperty {Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ParameterDeclarationProperty -> ()
dateTimeParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: ParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: ParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
    = ParameterDeclarationProperty
        {decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
decimalParameterDeclaration = DecimalParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "DecimalParameterDeclaration" ParameterDeclarationProperty
DecimalParameterDeclarationProperty
newValue, Maybe IntegerParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
instance Property "IntegerParameterDeclaration" ParameterDeclarationProperty where
  type PropertyType "IntegerParameterDeclaration" ParameterDeclarationProperty = IntegerParameterDeclarationProperty
  set :: PropertyType
  "IntegerParameterDeclaration" ParameterDeclarationProperty
-> ParameterDeclarationProperty -> ParameterDeclarationProperty
set PropertyType
  "IntegerParameterDeclaration" ParameterDeclarationProperty
newValue ParameterDeclarationProperty {Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ParameterDeclarationProperty -> ()
dateTimeParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: ParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: ParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
    = ParameterDeclarationProperty
        {integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
integerParameterDeclaration = IntegerParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "IntegerParameterDeclaration" ParameterDeclarationProperty
IntegerParameterDeclarationProperty
newValue, Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
instance Property "StringParameterDeclaration" ParameterDeclarationProperty where
  type PropertyType "StringParameterDeclaration" ParameterDeclarationProperty = StringParameterDeclarationProperty
  set :: PropertyType
  "StringParameterDeclaration" ParameterDeclarationProperty
-> ParameterDeclarationProperty -> ParameterDeclarationProperty
set PropertyType
  "StringParameterDeclaration" ParameterDeclarationProperty
newValue ParameterDeclarationProperty {Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
Maybe StringParameterDeclarationProperty
()
haddock_workaround_ :: ParameterDeclarationProperty -> ()
dateTimeParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: ParameterDeclarationProperty
-> Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: ParameterDeclarationProperty
-> Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: ParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
..}
    = ParameterDeclarationProperty
        {stringParameterDeclaration :: Maybe StringParameterDeclarationProperty
stringParameterDeclaration = StringParameterDeclarationProperty
-> Maybe StringParameterDeclarationProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType
  "StringParameterDeclaration" ParameterDeclarationProperty
StringParameterDeclarationProperty
newValue, Maybe IntegerParameterDeclarationProperty
Maybe DecimalParameterDeclarationProperty
Maybe DateTimeParameterDeclarationProperty
()
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
haddock_workaround_ :: ()
dateTimeParameterDeclaration :: Maybe DateTimeParameterDeclarationProperty
decimalParameterDeclaration :: Maybe DecimalParameterDeclarationProperty
integerParameterDeclaration :: Maybe IntegerParameterDeclarationProperty
..}