Share via

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

  • Articolo

Esegue l'equivalente dell'operazione di List.foldBack su un'opzione.

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

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

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

// Usage:
foldBack folder option state

Parametri

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

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

  • option
    Tipo: 'T option

    Opzione di input.

  • state
    Tipo: 'State

    Stato iniziale.

Valore restituito

Se l'opzione è None, restituisce il valore iniziale di state. In caso contrario, restituisce lo stato aggiornato, il risultato dell'applicazione della funzione folder con il valore dell'opzione e lo stato iniziale.

Note

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

Questa funzione è denominata FoldBack 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.foldBack.

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

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#)