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

Informations de version

Versions de bibliothèque principale F#

Prise en charge dans : 2,0, 4,0, portables

Voir aussi

Référence

Core.Option, module (F#)

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