module Stratosphere.EC2.NetworkInsightsPath (
        module Exports, NetworkInsightsPath(..), mkNetworkInsightsPath
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import {-# SOURCE #-} Stratosphere.EC2.NetworkInsightsPath.PathFilterProperty as Exports
import Stratosphere.ResourceProperties
import Stratosphere.Tag
import Stratosphere.Value
data NetworkInsightsPath
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html>
    NetworkInsightsPath {NetworkInsightsPath -> ()
haddock_workaround_ :: (),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-destination>
                         NetworkInsightsPath -> Maybe (Value Text)
destination :: (Prelude.Maybe (Value Prelude.Text)),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-destinationip>
                         NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: (Prelude.Maybe (Value Prelude.Text)),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-destinationport>
                         NetworkInsightsPath -> Maybe (Value Integer)
destinationPort :: (Prelude.Maybe (Value Prelude.Integer)),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-filteratdestination>
                         NetworkInsightsPath -> Maybe PathFilterProperty
filterAtDestination :: (Prelude.Maybe PathFilterProperty),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-filteratsource>
                         NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: (Prelude.Maybe PathFilterProperty),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-protocol>
                         NetworkInsightsPath -> Value Text
protocol :: (Value Prelude.Text),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-source>
                         NetworkInsightsPath -> Value Text
source :: (Value Prelude.Text),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-sourceip>
                         NetworkInsightsPath -> Maybe (Value Text)
sourceIp :: (Prelude.Maybe (Value Prelude.Text)),
                         -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-resource-ec2-networkinsightspath.html#cfn-ec2-networkinsightspath-tags>
                         NetworkInsightsPath -> Maybe [Tag]
tags :: (Prelude.Maybe [Tag])}
  deriving stock (NetworkInsightsPath -> NetworkInsightsPath -> Bool
(NetworkInsightsPath -> NetworkInsightsPath -> Bool)
-> (NetworkInsightsPath -> NetworkInsightsPath -> Bool)
-> Eq NetworkInsightsPath
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: NetworkInsightsPath -> NetworkInsightsPath -> Bool
== :: NetworkInsightsPath -> NetworkInsightsPath -> Bool
$c/= :: NetworkInsightsPath -> NetworkInsightsPath -> Bool
/= :: NetworkInsightsPath -> NetworkInsightsPath -> Bool
Prelude.Eq, Int -> NetworkInsightsPath -> ShowS
[NetworkInsightsPath] -> ShowS
NetworkInsightsPath -> String
(Int -> NetworkInsightsPath -> ShowS)
-> (NetworkInsightsPath -> String)
-> ([NetworkInsightsPath] -> ShowS)
-> Show NetworkInsightsPath
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> NetworkInsightsPath -> ShowS
showsPrec :: Int -> NetworkInsightsPath -> ShowS
$cshow :: NetworkInsightsPath -> String
show :: NetworkInsightsPath -> String
$cshowList :: [NetworkInsightsPath] -> ShowS
showList :: [NetworkInsightsPath] -> ShowS
Prelude.Show)
mkNetworkInsightsPath ::
  Value Prelude.Text -> Value Prelude.Text -> NetworkInsightsPath
mkNetworkInsightsPath :: Value Text -> Value Text -> NetworkInsightsPath
mkNetworkInsightsPath Value Text
protocol Value Text
source
  = NetworkInsightsPath
      {haddock_workaround_ :: ()
haddock_workaround_ = (), protocol :: Value Text
protocol = Value Text
protocol, source :: Value Text
source = Value Text
source,
       destination :: Maybe (Value Text)
destination = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing, destinationIp :: Maybe (Value Text)
destinationIp = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       destinationPort :: Maybe (Value Integer)
destinationPort = Maybe (Value Integer)
forall a. Maybe a
Prelude.Nothing,
       filterAtDestination :: Maybe PathFilterProperty
filterAtDestination = Maybe PathFilterProperty
forall a. Maybe a
Prelude.Nothing,
       filterAtSource :: Maybe PathFilterProperty
filterAtSource = Maybe PathFilterProperty
forall a. Maybe a
Prelude.Nothing, sourceIp :: Maybe (Value Text)
sourceIp = Maybe (Value Text)
forall a. Maybe a
Prelude.Nothing,
       tags :: Maybe [Tag]
tags = Maybe [Tag]
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties NetworkInsightsPath where
  toResourceProperties :: NetworkInsightsPath -> ResourceProperties
toResourceProperties NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::EC2::NetworkInsightsPath",
         supportsTags :: Bool
supportsTags = Bool
Prelude.True,
         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
"Protocol" 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
protocol, Key
"Source" 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
source]
                           ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                              [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
"Destination" (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)
destination,
                               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
"DestinationIp" (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)
destinationIp,
                               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
"DestinationPort" (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)
destinationPort,
                               Key -> PathFilterProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"FilterAtDestination" (PathFilterProperty -> (Key, Value))
-> Maybe PathFilterProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe PathFilterProperty
filterAtDestination,
                               Key -> PathFilterProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"FilterAtSource" (PathFilterProperty -> (Key, Value))
-> Maybe PathFilterProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe PathFilterProperty
filterAtSource,
                               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
"SourceIp" (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)
sourceIp,
                               Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags]))}
instance JSON.ToJSON NetworkInsightsPath where
  toJSON :: NetworkInsightsPath -> Value
toJSON NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = [(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
"Protocol" 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
protocol, Key
"Source" 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
source]
              ([Maybe (Key, Value)] -> [(Key, Value)]
forall a. [Maybe a] -> [a]
Prelude.catMaybes
                 [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
"Destination" (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)
destination,
                  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
"DestinationIp" (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)
destinationIp,
                  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
"DestinationPort" (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)
destinationPort,
                  Key -> PathFilterProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"FilterAtDestination" (PathFilterProperty -> (Key, Value))
-> Maybe PathFilterProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe PathFilterProperty
filterAtDestination,
                  Key -> PathFilterProperty -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"FilterAtSource" (PathFilterProperty -> (Key, Value))
-> Maybe PathFilterProperty -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe PathFilterProperty
filterAtSource,
                  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
"SourceIp" (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)
sourceIp,
                  Key -> [Tag] -> (Key, Value)
forall v. ToJSON v => Key -> v -> (Key, Value)
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
(JSON..=) Key
"Tags" ([Tag] -> (Key, Value)) -> Maybe [Tag] -> Maybe (Key, Value)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude.<$> Maybe [Tag]
tags])))
instance Property "Destination" NetworkInsightsPath where
  type PropertyType "Destination" NetworkInsightsPath = Value Prelude.Text
  set :: PropertyType "Destination" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "Destination" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {destination :: Maybe (Value Text)
destination = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Destination" NetworkInsightsPath
Value Text
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
instance Property "DestinationIp" NetworkInsightsPath where
  type PropertyType "DestinationIp" NetworkInsightsPath = Value Prelude.Text
  set :: PropertyType "DestinationIp" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "DestinationIp" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {destinationIp :: Maybe (Value Text)
destinationIp = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "DestinationIp" NetworkInsightsPath
Value Text
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
instance Property "DestinationPort" NetworkInsightsPath where
  type PropertyType "DestinationPort" NetworkInsightsPath = Value Prelude.Integer
  set :: PropertyType "DestinationPort" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "DestinationPort" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {destinationPort :: Maybe (Value Integer)
destinationPort = Value Integer -> Maybe (Value Integer)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "DestinationPort" NetworkInsightsPath
Value Integer
newValue, Maybe [Tag]
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
instance Property "FilterAtDestination" NetworkInsightsPath where
  type PropertyType "FilterAtDestination" NetworkInsightsPath = PathFilterProperty
  set :: PropertyType "FilterAtDestination" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "FilterAtDestination" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath
        {filterAtDestination :: Maybe PathFilterProperty
filterAtDestination = PathFilterProperty -> Maybe PathFilterProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "FilterAtDestination" NetworkInsightsPath
PathFilterProperty
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
instance Property "FilterAtSource" NetworkInsightsPath where
  type PropertyType "FilterAtSource" NetworkInsightsPath = PathFilterProperty
  set :: PropertyType "FilterAtSource" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "FilterAtSource" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {filterAtSource :: Maybe PathFilterProperty
filterAtSource = PathFilterProperty -> Maybe PathFilterProperty
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "FilterAtSource" NetworkInsightsPath
PathFilterProperty
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
instance Property "Protocol" NetworkInsightsPath where
  type PropertyType "Protocol" NetworkInsightsPath = Value Prelude.Text
  set :: PropertyType "Protocol" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "Protocol" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {protocol :: Value Text
protocol = PropertyType "Protocol" NetworkInsightsPath
Value Text
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
instance Property "Source" NetworkInsightsPath where
  type PropertyType "Source" NetworkInsightsPath = Value Prelude.Text
  set :: PropertyType "Source" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "Source" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {source :: Value Text
source = PropertyType "Source" NetworkInsightsPath
Value Text
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
instance Property "SourceIp" NetworkInsightsPath where
  type PropertyType "SourceIp" NetworkInsightsPath = Value Prelude.Text
  set :: PropertyType "SourceIp" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "SourceIp" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {sourceIp :: Maybe (Value Text)
sourceIp = Value Text -> Maybe (Value Text)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "SourceIp" NetworkInsightsPath
Value Text
newValue, Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
tags :: Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
tags :: Maybe [Tag]
..}
instance Property "Tags" NetworkInsightsPath where
  type PropertyType "Tags" NetworkInsightsPath = [Tag]
  set :: PropertyType "Tags" NetworkInsightsPath
-> NetworkInsightsPath -> NetworkInsightsPath
set PropertyType "Tags" NetworkInsightsPath
newValue NetworkInsightsPath {Maybe [Tag]
Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: NetworkInsightsPath -> ()
destination :: NetworkInsightsPath -> Maybe (Value Text)
destinationIp :: NetworkInsightsPath -> Maybe (Value Text)
destinationPort :: NetworkInsightsPath -> Maybe (Value Integer)
filterAtDestination :: NetworkInsightsPath -> Maybe PathFilterProperty
filterAtSource :: NetworkInsightsPath -> Maybe PathFilterProperty
protocol :: NetworkInsightsPath -> Value Text
source :: NetworkInsightsPath -> Value Text
sourceIp :: NetworkInsightsPath -> Maybe (Value Text)
tags :: NetworkInsightsPath -> Maybe [Tag]
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
tags :: Maybe [Tag]
..}
    = NetworkInsightsPath {tags :: Maybe [Tag]
tags = [Tag] -> Maybe [Tag]
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure [Tag]
PropertyType "Tags" NetworkInsightsPath
newValue, Maybe (Value Integer)
Maybe (Value Text)
Maybe PathFilterProperty
()
Value Text
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
haddock_workaround_ :: ()
destination :: Maybe (Value Text)
destinationIp :: Maybe (Value Text)
destinationPort :: Maybe (Value Integer)
filterAtDestination :: Maybe PathFilterProperty
filterAtSource :: Maybe PathFilterProperty
protocol :: Value Text
source :: Value Text
sourceIp :: Maybe (Value Text)
..}