Partager via


List.exists2<'T1,'T2>, fonction (F#)

Teste si une paire d'éléments correspondants des listes répond au prédicat donné.

Espace de noms/Chemin du module : Microsoft.FSharp.Collections.List

Assembly : FSharp.Core (in FSharp.Core.dll)

// Signature:
List.exists2 : ('T1 -> 'T2 -> bool) -> 'T1 list -> 'T2 list -> bool

// Usage:
List.exists2 predicate list1 list2

Paramètres

  • predicate
    Type : 'T1 -> 'T2 ->bool

    Fonction permettant de tester les éléments d'entrée.

  • list1
    Type : 'T1list

    Première liste d'entrée.

  • list2
    Type : 'T2list

    Deuxième liste d'entrée.

Valeur de retour

trueTrue si une paire d'éléments répond au prédicat.Sinon, retourne false.

Notes

Le prédicat est appliqué aux éléments correspondants dans les deux collections jusqu'à la plus courte des deux longueurs des collections.Si une application retourne la valeur true, le résultat global a la valeur true et aucun autre élément n'est testé.

Cette fonction se nomme Exists2 dans les assemblys compilés.Si vous accédez à la fonction à partir d'un langage .NET autre que F# ou par réflexion, utilisez ce nom.

Exemple

L'exemple de code suivant illustre l'utilisation de List.exists2.

// Use List.exists2 to compare elements in two lists.
// isEqualElement returns true if any elements at the same position in two supplied
// lists match.
let isEqualElement list1 list2 = List.exists2 (fun elem1 elem2 -> elem1 = elem2) list1 list2
let list1to5 = [ 1 .. 5 ]
let list5to1 = [ 5 .. -1 .. 1 ]
if (isEqualElement list1to5 list5to1) then
    printfn "Lists %A and %A have at least one equal element at the same position." list1to5 list5to1
else
    printfn "Lists %A and %A do not have an equal element at the same position." list1to5 list5to1

Sortie

  

Plateformes

Windows 8, Windows 7, Windows Server 2012, Windows Server 2008 R2

Informations de version

Versions de bibliothèque principale F#

Prise en charge dans : 2,0, 4,0, portables

Voir aussi

Référence

Collections.List, module (F#)

Microsoft.FSharp.Collections, espace de noms (F#)