def METHOD_NAME(resource_group_name: Optional[pulumi.Input[str]] = None,
                                                                      skip_token: Optional[pulumi.Input[Optional[str]]] = None,
                                                                      top: Optional[pulumi.Input[Optional[int]]] = None,
                                                                      virtual_network_name: Optional[pulumi.Input[str]] = None,
                                                                      opts: Optional[pulumi.InvokeOptions] = None) -> pulumi.Output[ListNetworkManagerEffectiveConnectivityConfigurationsResult]:
    """
    List all effective connectivity configurations applied on a virtual network.
    Azure REST API version: 2023-02-01.
    :param str resource_group_name: The name of the resource group.
    :param str skip_token: When present, the value can be passed to a subsequent query call (together with the same query and scopes used in the current request) to retrieve the next page of data.
    :param int top: An optional query parameter which specifies the maximum number of records to be returned by the server.
    :param str virtual_network_name: The name of the virtual network.
    """
    ...