-- | The credentials used to verify the device credentials. No more than 10
-- credentials can be bound to a single registry at a time. The
-- verification process occurs at the time of device creation or update. If
-- this field is empty, no verification is performed. Otherwise, the
-- credentials of a newly created device or added credentials of an updated
-- device should be signed with one of these registry credentials. Note,
-- however, that existing devices will never be affected by modifications
-- to this list of credentials: after a device has been successfully
-- created in a registry, it should be able to connect even if its registry
-- credentials are revoked, deleted, or modified.
drCredentials :: Lens' DeviceRegistry [RegistryCredential]
drCredentials
  = lens _drCredentials
      (\ s a -> s{_drCredentials = a})
      . _Default
      . _Coerce
drCredentials :: Lens' DeviceRegistry [RegistryCredential]
drCredentials
  = lens _drCredentials
      (\ s a -> s{_drCredentials = a})
      . _Default
      . _Coerce
drCredentials
  = lens _drCredentials
      (\ s a -> s{_drCredentials = a})
      . _Default
      . _Coerce