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

Articolo
02/18/2013

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: 'Toption

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 8, Windows 7, Windows Server 2012, Windows Server 2008 R2

Informazioni sulla versione

Versioni della libreria di base F#

Supportato in: 2,0, 4,0, portabile

Vedere anche

Riferimenti

Modulo Core.Option (F#)

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

Condividi tramite