Share via


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

オプションの List.fold と同じ評価になります。

名前空間/モジュール パス: Microsoft.FSharp.Core.Option

アセンブリ: FSharp.Core (FSharp.Core.dll)

// Signature:
fold : ('State -> 'T -> 'State) -> 'State -> 'T option -> 'State

// Usage:
fold folder state option

パラメーター

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

    オプションから値を受け取り、状態データを更新する関数。

  • state
    型: 'State

    初期状態です。

  • option
    型: 'Toption

    入力オプション。

戻り値

オプションが None の場合は元の状態、それ以外の場合はフォルダーとオプション値で更新した状態を返します。

解説

式 fold f s inp は match inp with None -> s | Some x -> f s x に評価されます。

この関数は、コンパイルされたアセンブリでは Fold という名前です。F# 以外の言語から、またはリフレクションを使用してこの関数にアクセスする場合は、この名前を使用します。

使用例

次のコードは、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

出力

  

プラットフォーム

Windows 8、Windows 7、Windows Server 2012 で Windows Server 2008 R2

バージョン情報

F# コア ライブラリのバージョン

サポート: ポータブル 2.0、4.0

参照

関連項目

Core.Option モジュール (F#)

Microsoft.FSharp.Core 名前空間 (F#)