Option.Fold < T',' estado > Função (F#)

Avalia o equivalente a List.fold de uma opção.

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

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

// Signature:
fold : ('State -> 'T -> 'State) -> 'State -> 'T option -> 'State

// Usage:
fold folder state option

Parâmetros

• folder
  Tipo: 'State -> 'T -> 'State

  Uma função para atualizar os dados de estado quando recebe um valor de uma opção.

• state
  Tipo: 'State

  O estado inicial.

• option
  Tipo: 'T opção

  A opção de entrada.

Valor de retorno

O estado original se a opção for None, caso contrário retorna o estado atualizado com a pasta e o valor de opção.

Comentários

A expressão fold f s inp for avaliada como match inp with None -> s | Some x -> f s x.

Esta função é chamada de Fold 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.fold.

let consOption list opt =
    Option.fold (fun state value -> value :: state) list opt
printfn "%A" <| consOption [1 .. 10] None
printfn "%A" <| consOption [1 .. 10] (Some(0))

// Read input from the console, and if the input parses as
// an integer, cons to the list.
let readNumber () =
    let line = System.Console.ReadLine()
    let (success, value) = System.Int32.TryParse(line)
    if success then Some(value) else None
let mutable list1 = []
let mutable count = 0
while count < 5 do
    printfn "Enter a number: "
    list1 <- consOption list1 (readNumber())
    printfn "New list: %A" <| list1
    count <- count + 1

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.