-- | The DeviceService (HTTP) configuration for this device registry.
drHTTPConfig :: Lens' DeviceRegistry (Maybe HTTPConfig)
drHTTPConfig
  = lens _drHTTPConfig (\ s a -> s{_drHTTPConfig = a})
drHTTPConfig :: Lens' DeviceRegistry (Maybe HTTPConfig)
drHTTPConfig
  = lens _drHTTPConfig (\ s a -> s{_drHTTPConfig = a})
drHTTPConfig
  = lens _drHTTPConfig (\ s a -> s{_drHTTPConfig = a})