List.forall2<'T1,'T2> (Función de F#)
Comprueba si todos los elementos correspondientes de la colección satisfacen el predicado especificado en pares.
Espacio de nombres/Ruta de acceso del módulo: Microsoft.FSharp.Collections.List
Ensamblado: FSharp.Core (en FSharp.Core.dll)
// Signature:
List.forall2 : ('T1 -> 'T2 -> bool) -> 'T1 list -> 'T2 list -> bool
// Usage:
List.forall2 predicate list1 list2
Parámetros
predicate
Tipo: 'T1 -> 'T2 -> boolFunción que se va a usar para comprobar los elementos de entrada.
list1
Tipo: 'T1 listaPrimera lista de entrada.
list2
Tipo: 'T2 listaSegunda lista de entrada.
Excepciones
Excepción |
Condition |
---|---|
Se produce cuando las listas de entrada tienen longitudes diferentes. |
Valor devuelto
true si todos los pares de elementos satisfacen el predicado. En caso contrario, devuelve false.
Comentarios
El predicado se aplica a los elementos coincidentes de las dos colecciones. Si alguna aplicación devuelve false, el resultado general es false y no se comprueban más elementos. De lo contrario, si una colección es más larga que la otra, se producirá la excepción ArgumentException. En caso contrario, devuelve true.
Esta función se denomina ForAll2 en los ensamblados compilados. Si obtiene acceso a la función desde un lenguaje .NET distinto de F# o mediante reflexión, use este nombre.
Ejemplo
En el siguiente ejemplo de código, se muestra el uso de List.forall2.
let listEqual list1 list2 = List.forall2 (fun elem1 elem2 -> elem1 = elem2) list1 list2
printfn "%b" (listEqual [0; 1; 2] [0; 1; 2])
printfn "%b" (listEqual [0; 0; 0] [0; 1; 0])
Output
Plataformas
Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2
Información de versiones
Runtime de F#
Se admite en las versiones: 2.0, 4.0
Silverlight
Se admite en la versión: 3
Vea también
Referencia
Collections.List (Módulo de F#)
Microsoft.FSharp.Collections (Espacio de nombres de F#)
Historial de cambios
Fecha |
Historial |
Motivo |
---|---|---|
Mayo de 2010 |
Se ha agregado un ejemplo de código. |
Mejora de la información. |