anchor.diff:            for the available filters.
           '';
         };
  +
         value = mkOption {
           type = types.listOf types.str;
           default = [];
  
positive.code:       map (filterAttrsListRecursive pred) x
      else x;
  
    promTypes.globalConfig = types.submodule {
      options = {
        scrape_interval = mkOption {
          type = types.nullOr types.str;
          default = null;
          description = ''
            How frequently to scrape targets by default.
          '';
        };
  
        scrape_timeout = mkOption {
          type = types.nullOr types.str;
          default = null;
          description = ''
            How long until a scrape request times out.
          '';
        };
  
        evaluation_interval = mkOption {
          type = types.nullOr types.str;
          default = null;
          description = ''
            How frequently to evaluate rules by default.
          '';
        };
  
        external_labels = mkOption {
          type = types.nullOr (types.attrsOf types.str);
          description = ''
            The labels to add to any time series or alerts when
            communicating with external systems (federation, remote
            storage, Alertmanager).
          '';
          default = null;
        };
      };
    };
  
  
negative.code:           The AWS Region.
          '';
        };
        endpoint = mkOpt types.str ''
          Custom endpoint to be used.
        '';
  
        access_key = mkOpt types.str ''
          The AWS API key id. If blank, the environment variable
          <literal>AWS_ACCESS_KEY_ID</literal> is used.
        '';
  
        secret_key = mkOpt types.str ''
          The AWS API key secret. If blank, the environment variable
           <literal>AWS_SECRET_ACCESS_KEY</literal> is used.
        '';
  
        profile = mkOpt  types.str ''
          Named AWS profile used to connect to the API.
        '';
  
        role_arn = mkOpt types.str ''
          AWS Role ARN, an alternative to using AWS API keys.
        '';
  
        refresh_interval = mkDefOpt types.str "60s" ''
          Refresh interval to re-read the instance list.
        '';
  
        port = mkDefOpt types.int "80" ''
          The port to scrape metrics from. If using the public IP
          address, this must instead be specified in the relabeling
          rule.
        '';
  
        filters = mkOpt (types.listOf promTypes.filter) ''
          Filters can be used optionally to filter the instance list by other criteria.
        '';
      };
    };
  
  