Option.ForAll <'T>. Função (F#)

Avalia o equivalente a List.forall para o tipo de opção.

Caminho do namespace/módulo: Microsoft.FSharp.Core.Option

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

// Signature:
forall : ('T -> bool) -> 'T option -> bool

// Usage:
forall predicate option

Parâmetros

• predicate
  Tipo: 'T -> bool

  Uma função que é avaliada como um booleano quando é atribuído um valor do tipo de opção.

• option
  Tipo: 'T opção

  A opção de entrada.

Valor de retorno

trueSe a opção for None, caso contrário retorna o resultado da aplicação de predicado para o valor de opção.

Comentários

A expressão forall p inp for avaliada como match inp with None -> true | Some x -> p x.

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

Exemplo

O código a seguir ilustra o uso do Option.forall.

let isEven opt =
    Option.forall (fun elem -> elem % 2 = 0) opt
printfn "%b" <| isEven (Some(2))
printfn "%b" <| isEven None
printfn "%b" <| isEven (Some(1))

// Use this function with an array of int options.
let forAllOptions function1 = List.forall (fun opt -> Option.forall function1 opt)
let list1 = [ for i in 1 .. 10 do yield Some(i) ]
let list2 = [ for i in 1 .. 10 do yield if (i % 2) = 0 then Some(i) else None ]
let list3 = [ for i in 1 .. 10 do yield if (i % 2) = 1 then Some(i) else None ]
let evalList list = printfn "%b" <| forAllOptions (fun value -> value % 2 = 0) list
let lists = [ list1; list2; list3 ]
List.iter evalList lists

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 Core.Option (F#)

Microsoft.FSharp.Core Namespace (F#)

Histórico de alterações

Date	History	Motivo
Maio de 2010	Exemplo de código adicionado.	Aprimoramento de informações.