Funzione Option.fold<'T,'State> (F#)

Valuta l'equivalente di List.fold per un'opzione.

Percorso spazio dei nomi/modulo: Microsoft.FSharp.Core.Option

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

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

// Usage:
fold folder state option

Parametri

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

  Funzione che esegue l'aggiornamento dei dati di stato in base a un valore di un'opzione.

• state
  Tipo: 'State

  Stato iniziale.

• option
  Tipo: 'T option

  Opzione di input.

Valore restituito

Restituisce lo stato originale se l'opzione è None, in caso contrario restituisce lo stato aggiornato con la cartella e il valore dell'opzione.

Note

L'espressione fold f s inp restituisce match inp with None -> s | Some x -> f s x.

Questa funzione è denominata Fold negli assembly compilati. Utilizzare questo nome se si accede alla funzione da un linguaggio diverso da F# o tramite reflection.

Esempio

Nel codice riportato di seguito viene illustrato l'utilizzo di 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

Output

Piattaforme

Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2.

Informazioni sulla versione

F# Runtime

Supportato in: 2.0, 4.0

Silverlight

Supportato in: 3

Vedere anche

Riferimenti

Modulo Core.Option (F#)

Spazio dei nomi Microsoft.FSharp.Core (F#)

Cronologia delle modifiche

Data	Cronologia	Motivo
Maggio 2010	Aggiunto esempio di codice.	Miglioramento delle informazioni.