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

Effectue l'équivalent de l'opération List.foldBack sur une option.

Espace de noms/Chemin du module : 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

Paramètres

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

  Fonction permettant de mettre à jour les données d'état lorsqu'une valeur issue d'une option est fournie.

• option
  Type : 'T option

  Option d'entrée.

• state
  Type : 'State

  État initial.

Valeur de retour

Si l'option est None, elle retourne la valeur d'origine de state. Sinon, elle retourne l'état mis à jour, le résultat de l'application de la fonction folder avec la valeur d'option et l'état d'origine.

Notes

L'expression fold f inp s renvoie la valeur match inp with None -> s | Some x -> f x s.

Cette fonction se nomme FoldBack dans les assemblys compilés. Si vous accédez à la fonction à partir d'un langage autre que F# ou par réflexion, utilisez ce nom.

Exemple

Le code suivant illustre l'utilisation de 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] 

Sortie

Plateformes

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

Informations de version

Runtime F#

Pris en charge dans : 2.0, 4.0

Silverlight

Prise en charge dans : 3

Voir aussi

Référence

Core.Option, module (F#)

Microsoft.FSharp.Core, espace de noms (F#)

Historique des modifications

Date	Historique	Motif
Mai 2010	Ajout d'un exemple de code	Améliorations apportées aux informations.