module Stratosphere.PaymentCryptography.Key.KeyModesOfUseProperty (
        KeyModesOfUseProperty(..), mkKeyModesOfUseProperty
    ) where
import qualified Data.Aeson as JSON
import qualified Stratosphere.Prelude as Prelude
import Stratosphere.Property
import Stratosphere.ResourceProperties
import Stratosphere.Value
data KeyModesOfUseProperty
  = -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html>
    KeyModesOfUseProperty {KeyModesOfUseProperty -> ()
haddock_workaround_ :: (),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-decrypt>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
decrypt :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-derivekey>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-encrypt>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-generate>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-norestrictions>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-sign>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-unwrap>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-verify>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: (Prelude.Maybe (Value Prelude.Bool)),
                           -- | See: <http://docs.aws.amazon.com/AWSCloudFormation/latest/UserGuide/aws-properties-paymentcryptography-key-keymodesofuse.html#cfn-paymentcryptography-key-keymodesofuse-wrap>
                           KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: (Prelude.Maybe (Value Prelude.Bool))}
  deriving stock (KeyModesOfUseProperty -> KeyModesOfUseProperty -> Bool
(KeyModesOfUseProperty -> KeyModesOfUseProperty -> Bool)
-> (KeyModesOfUseProperty -> KeyModesOfUseProperty -> Bool)
-> Eq KeyModesOfUseProperty
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: KeyModesOfUseProperty -> KeyModesOfUseProperty -> Bool
== :: KeyModesOfUseProperty -> KeyModesOfUseProperty -> Bool
$c/= :: KeyModesOfUseProperty -> KeyModesOfUseProperty -> Bool
/= :: KeyModesOfUseProperty -> KeyModesOfUseProperty -> Bool
Prelude.Eq, Int -> KeyModesOfUseProperty -> ShowS
[KeyModesOfUseProperty] -> ShowS
KeyModesOfUseProperty -> String
(Int -> KeyModesOfUseProperty -> ShowS)
-> (KeyModesOfUseProperty -> String)
-> ([KeyModesOfUseProperty] -> ShowS)
-> Show KeyModesOfUseProperty
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> KeyModesOfUseProperty -> ShowS
showsPrec :: Int -> KeyModesOfUseProperty -> ShowS
$cshow :: KeyModesOfUseProperty -> String
show :: KeyModesOfUseProperty -> String
$cshowList :: [KeyModesOfUseProperty] -> ShowS
showList :: [KeyModesOfUseProperty] -> ShowS
Prelude.Show)
mkKeyModesOfUseProperty :: KeyModesOfUseProperty
mkKeyModesOfUseProperty :: KeyModesOfUseProperty
mkKeyModesOfUseProperty
  = KeyModesOfUseProperty
      {haddock_workaround_ :: ()
haddock_workaround_ = (), decrypt :: Maybe (Value Bool)
decrypt = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing,
       deriveKey :: Maybe (Value Bool)
deriveKey = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing, encrypt :: Maybe (Value Bool)
encrypt = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing,
       generate :: Maybe (Value Bool)
generate = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing, noRestrictions :: Maybe (Value Bool)
noRestrictions = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing,
       sign :: Maybe (Value Bool)
sign = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing, unwrap :: Maybe (Value Bool)
unwrap = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing,
       verify :: Maybe (Value Bool)
verify = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing, wrap :: Maybe (Value Bool)
wrap = Maybe (Value Bool)
forall a. Maybe a
Prelude.Nothing}
instance ToResourceProperties KeyModesOfUseProperty where
  toResourceProperties :: KeyModesOfUseProperty -> ResourceProperties
toResourceProperties KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = ResourceProperties
        {awsType :: Text
awsType = Text
"AWS::PaymentCryptography::Key.KeyModesOfUse",
         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 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
"Decrypt" (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)
decrypt,
                            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
"DeriveKey" (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)
deriveKey,
                            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
"Encrypt" (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)
encrypt,
                            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
"Generate" (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)
generate,
                            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
"NoRestrictions" (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)
noRestrictions,
                            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
"Sign" (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)
sign,
                            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
"Unwrap" (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)
unwrap,
                            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
"Verify" (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)
verify,
                            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
"Wrap" (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)
wrap])}
instance JSON.ToJSON KeyModesOfUseProperty where
  toJSON :: KeyModesOfUseProperty -> Value
toJSON KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = [(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 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
"Decrypt" (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)
decrypt,
               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
"DeriveKey" (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)
deriveKey,
               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
"Encrypt" (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)
encrypt,
               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
"Generate" (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)
generate,
               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
"NoRestrictions" (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)
noRestrictions,
               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
"Sign" (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)
sign,
               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
"Unwrap" (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)
unwrap,
               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
"Verify" (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)
verify,
               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
"Wrap" (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)
wrap]))
instance Property "Decrypt" KeyModesOfUseProperty where
  type PropertyType "Decrypt" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "Decrypt" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "Decrypt" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {decrypt :: Maybe (Value Bool)
decrypt = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Decrypt" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "DeriveKey" KeyModesOfUseProperty where
  type PropertyType "DeriveKey" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "DeriveKey" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "DeriveKey" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {deriveKey :: Maybe (Value Bool)
deriveKey = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "DeriveKey" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "Encrypt" KeyModesOfUseProperty where
  type PropertyType "Encrypt" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "Encrypt" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "Encrypt" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {encrypt :: Maybe (Value Bool)
encrypt = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Encrypt" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "Generate" KeyModesOfUseProperty where
  type PropertyType "Generate" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "Generate" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "Generate" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {generate :: Maybe (Value Bool)
generate = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Generate" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "NoRestrictions" KeyModesOfUseProperty where
  type PropertyType "NoRestrictions" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "NoRestrictions" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "NoRestrictions" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty
        {noRestrictions :: Maybe (Value Bool)
noRestrictions = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "NoRestrictions" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "Sign" KeyModesOfUseProperty where
  type PropertyType "Sign" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "Sign" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "Sign" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {sign :: Maybe (Value Bool)
sign = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Sign" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "Unwrap" KeyModesOfUseProperty where
  type PropertyType "Unwrap" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "Unwrap" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "Unwrap" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {unwrap :: Maybe (Value Bool)
unwrap = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Unwrap" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "Verify" KeyModesOfUseProperty where
  type PropertyType "Verify" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "Verify" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "Verify" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {verify :: Maybe (Value Bool)
verify = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Verify" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
instance Property "Wrap" KeyModesOfUseProperty where
  type PropertyType "Wrap" KeyModesOfUseProperty = Value Prelude.Bool
  set :: PropertyType "Wrap" KeyModesOfUseProperty
-> KeyModesOfUseProperty -> KeyModesOfUseProperty
set PropertyType "Wrap" KeyModesOfUseProperty
newValue KeyModesOfUseProperty {Maybe (Value Bool)
()
haddock_workaround_ :: KeyModesOfUseProperty -> ()
decrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
deriveKey :: KeyModesOfUseProperty -> Maybe (Value Bool)
encrypt :: KeyModesOfUseProperty -> Maybe (Value Bool)
generate :: KeyModesOfUseProperty -> Maybe (Value Bool)
noRestrictions :: KeyModesOfUseProperty -> Maybe (Value Bool)
sign :: KeyModesOfUseProperty -> Maybe (Value Bool)
unwrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
verify :: KeyModesOfUseProperty -> Maybe (Value Bool)
wrap :: KeyModesOfUseProperty -> Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
wrap :: Maybe (Value Bool)
..}
    = KeyModesOfUseProperty {wrap :: Maybe (Value Bool)
wrap = Value Bool -> Maybe (Value Bool)
forall a. a -> Maybe a
forall (f :: * -> *) a. Applicative f => a -> f a
Prelude.pure PropertyType "Wrap" KeyModesOfUseProperty
Value Bool
newValue, Maybe (Value Bool)
()
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
haddock_workaround_ :: ()
decrypt :: Maybe (Value Bool)
deriveKey :: Maybe (Value Bool)
encrypt :: Maybe (Value Bool)
generate :: Maybe (Value Bool)
noRestrictions :: Maybe (Value Bool)
sign :: Maybe (Value Bool)
unwrap :: Maybe (Value Bool)
verify :: Maybe (Value Bool)
..}