Azure Application Gateway HTTP to HTTPS request routing rule

Hi there, I am trying to figure out the snippet for HTTP to HTTPS request routing rule for Azure application gateway.

        request_routing_rules = [
          # HTTP Initial Deployment
          {
            name                       = "http-rule"
            rule_type                  = "Basic"
            http_listener_name         = "http-listener"
            backend_http_settings_name = "wdisp-bkendset"
            backend_address_pool_name  = "wdisp-bkend"
            url_path_map_name          = null
            priority                   = 1
          },
          # HTTPS Deployment 
          {
            name                       = "https-rule"
            rule_type                  = "Basic"
            http_listener_name         = "https-listener"
            backend_http_settings_name = "wdisp-bkendset"
            backend_address_pool_name  = "wdisp-bkend"
            url_path_map_name          = null
            priority                   = 2 
          }
          
        ]

I need to associate the snippet mentioned here:

  redirect_configuration {
    name                 = "redirect-config-http"
    target_listener_name = "https-listener"
    redirect_type        = "Permanent"
    include_path         = true
    include_query_string = true
  }

But not sure where tis map should go?