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

Wertet die Entsprechung von List.fold für eine Option aus.

Namespace/Modulpfad: 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

Parameter

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

  Eine Funktion zur Aktualisierung der Zustandsdaten, wenn der Wert einer Option angegeben ist.

• state
  Typ: 'State

  Der Ausgangszustand.

• option
  Typ: 'T option

  Die Eingabeoption.

Rückgabewert

Der ursprüngliche Zustand, wenn die Option None ist; andernfalls wird der aktualisierte Zustand mit dem Ordner und der Option "Wert" zurückgegeben.

Hinweise

Der Ausdruck fold f s inp wird zu match inp with None -> s | Some x -> f s x ausgewertet.

Der Name dieser Funktion in kompilierten Assemblys lautet Fold. Verwenden Sie diesen Namen, wenn Sie in einer anderen .NET-Sprache als F# oder durch Reflektion auf die Funktion zugreifen.

Beispiel

Das folgende Codebeispiel veranschaulicht die Verwendung von 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

Output

Plattformen

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

Versionsinformationen

F#-Runtime

Unterstützt in: 2.0, 4.0

Silverlight

Unterstützt in: 3

Siehe auch

Weitere Ressourcen

Core.Option-Modul (F#)

Microsoft.FSharp.Core-Namespace (F#)

Änderungsprotokoll

Datum	Versionsgeschichte	Grund
Mai 2010	Codebeispiel hinzugefügt.	Informationsergänzung.