anchor.diff:      };
     };
   
  +  promTypes.basic_auth = types.submodule {
  +    options = {
  +      username = mkOption {
  +        type = types.str;
  +        description = ''
  +          HTTP username
  +        '';
  +      };
  +      password = mkOpt types.str "HTTP password";
  +      password_file = mkOpt types.str "HTTP password file";
  +    };
  +  };
  +
     promTypes.remote_read = types.submodule {
       options = {
         url = mkOption {
  
positive.code:         Whether reads should be made for queries for time ranges that
          the local storage should have complete data for.
        '';
        basic_auth = mkOpt (types.submodule {
          options = {
            username = mkOption {
              type = types.str;
              description = ''
                HTTP username
              '';
            };
            password = mkOpt types.str "HTTP password";
            password_file = mkOpt types.str "HTTP password file";
          };
        }) ''
          Sets the `Authorization` header on every remote read request with the
          configured username and password.
          password and password_file are mutually exclusive.
  
negative.code:         relevant Prometheus configuration docs</link> for more detail.
        '';
  
        http_sd_configs = mkOpt (types.listOf promTypes.http_sd_config) ''
          List of HTTP service discovery configurations.
        '';
  
        static_configs = mkOpt (types.listOf promTypes.static_config) ''
          List of labeled target groups for this job.
        '';
  