Sdílet prostřednictvím


Option.forall<'T> – funkce (F#)

Vyhodnocuje ekvivalent List.forall pro typ možnosti.

Cesta k oboru názvů nebo modul: Microsoft.FSharp.Core.Option

Sestavení: FSharp.Core (v FSharp.Core.dll)

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

// Usage:
forall predicate option

Parametry

  • predicate
    Type: 'T ->bool

    Funkce, jehož výsledkem je logická hodnota, pokud je zadána hodnota z typu možnosti.

  • option
    Type: 'Toption

    Možnost vstupu.

Vrácená hodnota

truePokud je možnost None, jinak vrátí výsledek použití predikátů hodnotu možnosti.

Poznámky

Výraz forall p inp vyhodnocen jako match inp with None -> true | Some x -> p x.

Tato funkce se nazývá ForAll v kompilovaný sestavení.Pokud přistupujete k funkci jazyka než F# nebo prostřednictvím reflexe, tento název použijte.

Příklad

Následující kód ilustruje použití 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

Výsledek

  

Platformy

Windows 8, Windows 7, Windows Server 2012 Windows Server 2008 R2

Informace o verzi

F# základní verze knihovny

Podporovány: 2.0, 4.0, přenosné

Viz také

Referenční dokumentace

Core.Option – modul (F#)

Microsoft.FSharp.Core – obor názvů (F#)