Option.forall<'T> — Funkcja (F#)

  • Artykuł

Wynikiem jest równoważne z List.forall dla typu opcji.

Ścieżka obszaru nazw/modułu: Microsoft.FSharp.Core.Option

Zgromadzenie: FSharp.Core (w FSharp.Core.dll)

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

// Usage:
forall predicate option

Parametry

  • predicate
    Type: 'T ->bool

    Funkcja zwracająca wartość logiczną, gdy wartość typu opcji.

  • option
    Type: 'Toption

    Opcja wprowadzania.

Wartość zwracana

trueJeśli opcja jest None, w przeciwnym razie zwraca wynik zastosowania predykat wartość opcji.

Uwagi

Wyrażenie forall p inp wynikiem match inp with None -> true | Some x -> p x.

Ta funkcja o nazwie ForAll w skompilowane zestawy.Jeżeli języka, niż F# lub przez odbicie, uzyskują dostęp do funkcji, należy użyć tej nazwy.

Przykład

Poniższy kod ilustruje użycie 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

Dane wyjściowe

Platformy

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

Informacje o wersji

F# Core wersji biblioteki

Obsługiwane: 2.0, 4.0, przenośne

Zobacz też

Informacje

Core.Option — Moduł (F#)

Microsoft.FSharp.Core — Przestrzeń nazw (F#)