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

Article
06/10/2015

Évalue l'équivalent de List.fold pour une option.

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

Paramètres

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

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

État initial.
option
Type : 'T option

Option d'entrée.

Valeur de retour

État d'origine si l'option a la valeur None ; sinon, retourne l'état mis à jour avec le dossier et la valeur d'option.

Notes

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

Cette fonction se nomme Fold 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.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

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

Partager via