module Stratosphere.OpenSearchServerless.Index.PropertyMappingProperty (
        module Exports, PropertyMappingProperty(..),
        mkPropertyMappingProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.OpenSearchServerless.Index.MethodProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Value
data PropertyMappingProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-opensearchserverless-index-propertymapping.html>
    PropertyMappingProperty {PropertyMappingProperty -> ()
haddock_workaround_ :: (),
                             -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-opensearchserverless-index-propertymapping.html#cfn-opensearchserverless-index-propertymapping-dimension>
                             PropertyMappingProperty -> Maybe (Value Integer)
dimension :: (Prelude.Maybe (Value Prelude.Integer)),
                             -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-opensearchserverless-index-propertymapping.html#cfn-opensearchserverless-index-propertymapping-index>
                             PropertyMappingProperty -> Maybe (Value Bool)
index :: (Prelude.Maybe (Value Prelude.Bool)),
                             -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-opensearchserverless-index-propertymapping.html#cfn-opensearchserverless-index-propertymapping-method>
                             PropertyMappingProperty -> Maybe MethodProperty
method :: (Prelude.Maybe MethodProperty),
                             -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-opensearchserverless-index-propertymapping.html#cfn-opensearchserverless-index-propertymapping-properties>
                             PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
properties :: (Prelude.Maybe (Prelude.Map Prelude.Text PropertyMappingProperty)),
                             -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-opensearchserverless-index-propertymapping.html#cfn-opensearchserverless-index-propertymapping-type>
                             PropertyMappingProperty -> Value Text
type' :: (Value Prelude.Text),
                             -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-opensearchserverless-index-propertymapping.html#cfn-opensearchserverless-index-propertymapping-value>
                             PropertyMappingProperty -> Maybe (Value Text)
value :: (Prelude.Maybe (Value Prelude.Text))}
  deriving stock (PropertyMappingProperty -> PropertyMappingProperty -> Bool
(PropertyMappingProperty -> PropertyMappingProperty -> Bool)
-> (PropertyMappingProperty -> PropertyMappingProperty -> Bool)
-> Eq PropertyMappingProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PropertyMappingProperty -> PropertyMappingProperty -> Bool
== :: PropertyMappingProperty -> PropertyMappingProperty -> Bool
$c/= :: PropertyMappingProperty -> PropertyMappingProperty -> Bool
/= :: PropertyMappingProperty -> PropertyMappingProperty -> Bool
Prelude.Eq, Int -> PropertyMappingProperty -> ShowS
[PropertyMappingProperty] -> ShowS
PropertyMappingProperty -> String
(Int -> PropertyMappingProperty -> ShowS)
-> (PropertyMappingProperty -> String)
-> ([PropertyMappingProperty] -> ShowS)
-> Show PropertyMappingProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> PropertyMappingProperty -> ShowS
showsPrec :: Int -> PropertyMappingProperty -> ShowS
$cshow :: PropertyMappingProperty -> String
show :: PropertyMappingProperty -> String
$cshowList :: [PropertyMappingProperty] -> ShowS
showList :: [PropertyMappingProperty] -> ShowS
Prelude.Show)
mkPropertyMappingProperty ::
  Value Prelude.Text -> PropertyMappingProperty
mkPropertyMappingProperty :: Value Text -> PropertyMappingProperty
mkPropertyMappingProperty Value Text
type'
  = PropertyMappingProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), type' :: Value Text
type' = Value Text
type',
       dimension :: Maybe (Value Integer)
dimension = Maybe (Value Integer)
forall a. Maybe a
Prelude.Nothing, index :: Maybe (Value Bool)
index = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing,
       method :: Maybe MethodProperty
method = Maybe MethodProperty
forall a. Maybe a
Prelude.Nothing, properties :: Maybe (Map Text PropertyMappingProperty)
properties = Maybe (Map Text PropertyMappingProperty)
forall a. Maybe a
Prelude.Nothing,
       value :: Maybe (Value Text)
value = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties PropertyMappingProperty where
  toResourceProperties :: PropertyMappingProperty -> ResourceProperties
toResourceProperties PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::OpenSearchServerless::Index.PropertyMapping",
         supportsTags :: Bool
supportsTags = Bool
Prelude.False,
         properties :: Object
properties = [Item Object] -> Object
forall l. IsList l => [Item l] -> l
Prelude.fromList
                        ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
                           [Key
"Type" 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
type']
                           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                              [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..=) Key
"Dimension" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
dimension,
                               Key -> Value Bool -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Index" (Value Bool -> (Key, Value))
-> Maybe (Value Bool) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Bool)
index,
                               Key -> MethodProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Method" (MethodProperty -> (Key, Value))
-> Maybe MethodProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe MethodProperty
method,
                               Key -> Map Text PropertyMappingProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Properties" (Map Text PropertyMappingProperty -> (Key, Value))
-> Maybe (Map Text PropertyMappingProperty) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Map Text PropertyMappingProperty)
properties,
                               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
"Value" (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)
value]))}
instance JSON.ToJSON PropertyMappingProperty where
  toJSON :: PropertyMappingProperty -> Value
toJSON PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = [(Key, Value)] -> Value
JSON.object
        ([Item [(Key, Value)]] -> [(Key, Value)]
forall l. IsList l => [Item l] -> l
Prelude.fromList
           ([(Key, Value)] -> [(Key, Value)] -> [(Key, Value)]
forall a. Semigroup a => a -> a -> a
(Prelude.<>)
              [Key
"Type" 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
type']
              ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                 [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..=) Key
"Dimension" (Value Integer -> (Key, Value))
-> Maybe (Value Integer) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Integer)
dimension,
                  Key -> Value Bool -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Index" (Value Bool -> (Key, Value))
-> Maybe (Value Bool) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Value Bool)
index,
                  Key -> MethodProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Method" (MethodProperty -> (Key, Value))
-> Maybe MethodProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe MethodProperty
method,
                  Key -> Map Text PropertyMappingProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Properties" (Map Text PropertyMappingProperty -> (Key, Value))
-> Maybe (Map Text PropertyMappingProperty) -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe (Map Text PropertyMappingProperty)
properties,
                  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
"Value" (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)
value])))
instance Property "Dimension" PropertyMappingProperty where
  type PropertyType "Dimension" PropertyMappingProperty = Value Prelude.Integer
  set :: PropertyType "Dimension" PropertyMappingProperty
-> PropertyMappingProperty -> PropertyMappingProperty
set PropertyType "Dimension" PropertyMappingProperty
newValue PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = PropertyMappingProperty {dimension :: Maybe (Value Integer)
dimension = Value Integer -> Maybe (Value Integer)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Dimension" PropertyMappingProperty
Value Integer
newValue, Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: ()
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
haddock_workaround_ :: ()
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
instance Property "Index" PropertyMappingProperty where
  type PropertyType "Index" PropertyMappingProperty = Value Prelude.Bool
  set :: PropertyType "Index" PropertyMappingProperty
-> PropertyMappingProperty -> PropertyMappingProperty
set PropertyType "Index" PropertyMappingProperty
newValue PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = PropertyMappingProperty {index :: Maybe (Value Bool)
index = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Index" PropertyMappingProperty
Value Bool
newValue, Maybe (Map Text PropertyMappingProperty)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
instance Property "Method" PropertyMappingProperty where
  type PropertyType "Method" PropertyMappingProperty = MethodProperty
  set :: PropertyType "Method" PropertyMappingProperty
-> PropertyMappingProperty -> PropertyMappingProperty
set PropertyType "Method" PropertyMappingProperty
newValue PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = PropertyMappingProperty {method :: Maybe MethodProperty
method = MethodProperty -> Maybe MethodProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Method" PropertyMappingProperty
MethodProperty
newValue, Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
()
Value Text
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
instance Property "Properties" PropertyMappingProperty where
  type PropertyType "Properties" PropertyMappingProperty = Prelude.Map Prelude.Text PropertyMappingProperty
  set :: PropertyType "Properties" PropertyMappingProperty
-> PropertyMappingProperty -> PropertyMappingProperty
set PropertyType "Properties" PropertyMappingProperty
newValue PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = PropertyMappingProperty {properties :: Maybe (Map Text PropertyMappingProperty)
properties = Map Text PropertyMappingProperty
-> Maybe (Map Text PropertyMappingProperty)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure Map Text PropertyMappingProperty
PropertyType "Properties" PropertyMappingProperty
newValue, Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
type' :: Value Text
value :: Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
type' :: Value Text
value :: Maybe (Value Text)
..}
instance Property "Type" PropertyMappingProperty where
  type PropertyType "Type" PropertyMappingProperty = Value Prelude.Text
  set :: PropertyType "Type" PropertyMappingProperty
-> PropertyMappingProperty -> PropertyMappingProperty
set PropertyType "Type" PropertyMappingProperty
newValue PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = PropertyMappingProperty {type' :: Value Text
type' = PropertyType "Type" PropertyMappingProperty
Value Text
newValue, Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
value :: Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
value :: Maybe (Value Text)
..}
instance Property "Value" PropertyMappingProperty where
  type PropertyType "Value" PropertyMappingProperty = Value Prelude.Text
  set :: PropertyType "Value" PropertyMappingProperty
-> PropertyMappingProperty -> PropertyMappingProperty
set PropertyType "Value" PropertyMappingProperty
newValue PropertyMappingProperty {Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe (Value Text)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: PropertyMappingProperty -> ()
dimension :: PropertyMappingProperty -> Maybe (Value Integer)
index :: PropertyMappingProperty -> Maybe (Value Bool)
method :: PropertyMappingProperty -> Maybe MethodProperty
properties :: PropertyMappingProperty -> Maybe (Map Text PropertyMappingProperty)
type' :: PropertyMappingProperty -> Value Text
value :: PropertyMappingProperty -> Maybe (Value Text)
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
value :: Maybe (Value Text)
..}
    = PropertyMappingProperty {value :: Maybe (Value Text)
value = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Value" PropertyMappingProperty
Value Text
newValue, Maybe (Map Text PropertyMappingProperty)
Maybe (Value Bool)
Maybe (Value Integer)
Maybe MethodProperty
()
Value Text
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
haddock_workaround_ :: ()
dimension :: Maybe (Value Integer)
index :: Maybe (Value Bool)
method :: Maybe MethodProperty
properties :: Maybe (Map Text PropertyMappingProperty)
type' :: Value Text
..}