Option.forall<'T> 函数 (F#)

更新:2010 年 5 月

为选项类型计算 List.forall 的等效。

命名空间/模块路径:Microsoft.FSharp.Core.Option

程序集:FSharp.Core(在 FSharp.Core.dll 中)

// Signature:
forall : ('T -> bool) -> 'T option -> bool

// Usage:
forall predicate option

参数

  • predicate
    类型:'T -> bool

    当给定选项类型的值时计算结果为布尔值的函数。

  • option
    类型:'T option

    输入选项。

返回值

如果选项是 None,则为 true,否则它返回将谓词应用于选项值的结果。

备注

表达式 forall p inp 计算为 match inp with None -> true | Some x -> p x。

此函数在编译的程序集中名为 ForAll。 如果从 F# 以外的语言中访问函数,或通过反射访问成员,请使用此名称。

示例

下面的代码阐释了 Option.forall 的用法。

let isEven opt =
    Option.forall (fun elem -> elem % 2 = 0) opt
printfn "%b" <| isEven (Some(2))
printfn "%b" <| isEven None
printfn "%b" <| isEven (Some(1))

// Use this function with an array of int options.
let forAllOptions function1 = List.forall (fun opt -> Option.forall function1 opt)
let list1 = [ for i in 1 .. 10 do yield Some(i) ]
let list2 = [ for i in 1 .. 10 do yield if (i % 2) = 0 then Some(i) else None ]
let list3 = [ for i in 1 .. 10 do yield if (i % 2) = 1 then Some(i) else None ]
let evalList list = printfn "%b" <| forAllOptions (fun value -> value % 2 = 0) list
let lists = [ list1; list2; list3 ]
List.iter evalList lists

Output

  

平台

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

版本信息

F# 运行时

受以下版本支持:2.0、4.0

Silverlight

受以下版本支持:3

请参见

参考

Core.Option 模块 (F#)

Microsoft.FSharp.Core 命名空间 (F#)

修订记录

Date

修订记录

原因

2010 年 5 月

添加了代码示例。

信息补充。