Compartilhar via

List.forall2 <'T1 ' T2 > Função (F#)

  • Artigo

Se todos os elementos correspondentes da coleção satisfazem o determinado predicado pairwise de testes.

Caminho do namespace/módulo: Microsoft.FSharp.Collections.List

Assembly: FSharp.Core (em 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 -> bool

    A função para testar os elementos de entrada.

  • list1
    Tipo: 'T1 lista

    A primeira lista de entrada.

  • list2
    Tipo: 'T2 lista

    A segunda lista de entrada.

Exceções

Exceção

Condição

ArgumentException

Lançada quando as listas de entrada têm tamanhos diferem.

Valor de retorno

trueSe todos os pares de elementos satisfazem o predicado. Caso contrário, retornará false.

Comentários

O predicado é aplicado a elementos em duas coleções de correspondência. Se qualquer aplicativo retorna false , o resultado geral é false e não há mais elementos são testados. Caso contrário, se uma coleção é maior do que o outro, em seguida, o ArgumentException exceção. Caso contrário, true é retornado.

Esta função é chamada de ForAll2 em módulos (assemblies) compilados. Se você estiver acessando a função de um.NET de idioma diferente, por exemplo, F#, ou através de reflexão, usar este nome.

Exemplo

O exemplo de código a seguir ilustra o uso do 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])

Saída

Plataformas

O Windows 7, SP2 do Windows Vista, Windows XP SP3, Windows XP Professional x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2

Informações sobre versão

O tempo de execução F#

Compatível com: 2.0, 4.0

Silverlight

Compatível com: 3

Consulte também

Referência

Módulo de Collections.List (F#)

Microsoft.FSharp.Collections Namespace (F#)

Histórico de alterações

Date

History

Motivo

Maio de 2010

Exemplo de código adicionado.

Aprimoramento de informações.