-- | The credentials used to authenticate this device. To allow credential
-- rotation without interruption, multiple device credentials can be bound
-- to this device. No more than 3 credentials can be bound to a single
-- device at a time. When new credentials are added to a device, they are
-- verified against the registry credentials. For details, see the
-- description of the \`DeviceRegistry.credentials\` field.
dCredentials :: Lens' Device [DeviceCredential]
dCredentials
  = lens _dCredentials (\ s a -> s{_dCredentials = a})
      . _Default
      . _Coerce
dCredentials :: Lens' Device [DeviceCredential]
dCredentials
  = lens _dCredentials (\ s a -> s{_dCredentials = a})
      . _Default
      . _Coerce
dCredentials
  = lens _dCredentials (\ s a -> s{_dCredentials = a})
      . _Default
      . _Coerce