Funzione Option.foldBack<'T,'State> (F#)
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 -> 'StateFunzione che esegue l'aggiornamento dei dati di stato in base a un valore di un'opzione.
option
Tipo: 'ToptionOpzione di input.
state
Tipo: 'StateStato 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