Partager via


Option.forall<'T>, fonction (F#)

Évalue l'équivalent de List.forall pour un type d'option.

Espace de noms/Chemin du module : Microsoft.FSharp.Core.Option

Assembly : FSharp.Core (in FSharp.Core.dll)

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

// Usage:
forall predicate option

Paramètres

  • predicate
    Type : 'T ->bool

    Fonction qui devient booléenne lorsqu'une valeur du type d'option est fournie.

  • option
    Type : 'Toption

    Option d'entrée.

Valeur de retour

true si l'option est None ; sinon, retourne le résultat de l'application du prédicat à la valeur de l'option.

Notes

L'expression forall p inp renvoie la valeur match inp with None -> true | Some x -> p x.

Cette fonction se nomme ForAll dans les assemblys compilés.Si vous accédez à la fonction à partir d'un langage autre que F# ou par réflexion, utilisez ce nom.

Exemple

Le code suivant illustre l'utilisation de 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

Sortie

  

Plateformes

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

Informations de version

Versions de bibliothèque principale F#

Prise en charge dans : 2,0, 4,0, portables

Voir aussi

Référence

Core.Option, module (F#)

Microsoft.FSharp.Core, espace de noms (F#)