Функция Seq.exists<'T> (F#)
Проверяет, удовлетворяет ли какой-либо элемент последовательности заданному предикату.
Пространство имен/путь к модулю: Microsoft.FSharp.Collections.Seq
Сборка: FSharp.Core (в FSharp.Core.dll)
// Signature:
Seq.exists : ('T -> bool) -> seq<'T> -> bool
// Usage:
Seq.exists predicate source
Параметры
predicate
Тип: 'T -> boolФункция для тестирования каждого элемента входной последовательности.
source
Тип: seq<'T>Входная последовательность.
Исключения
Исключение |
Атрибут Condition |
---|---|
Создается при указании в качестве входной последовательности значения NULL. |
Возвращаемое значение
Предикат применяется к элементам входной последовательности. Если какое-либо приложение возвращает значение true, для окончательного результата также устанавливается значение true и последующие элементы не проверяются. В противном случае возвращает значение false.
Заметки
В скомпилированных сборках имя этой функции — Exists. При обращении к функции из языка, отличного от F#, или посредством отражения следует использовать это имя.
Пример
Следующий код показывает, как использовать функцию Seq.exists.
// Use Seq.exists to determine whether there is an element of a sequence
// that satisfies a given Boolean expression.
// containsNumber returns true if any of the elements of the supplied sequence match
// the supplied number.
let containsNumber number seq1 = Seq.exists (fun elem -> elem = number) seq1
let seq0to3 = seq {0 .. 3}
printfn "For sequence %A, contains zero is %b" seq0to3 (containsNumber 0 seq0to3)
Output
Платформы
Windows 7, Windows Vista с пакетом обновления 2 (SP2), Windows XP с пакетом обновления 3 (SP3), Windows XP x64 с пакетом обновления 2 (SP2), Windows Server 2008 R2, Windows Server 2008 с пакетом обновления 2 (SP2), Windows Server 2003 с пакетом обновления 2 (SP2)
Сведения о версии
Среда выполнения F#
Поддерживается в версиях 2.0, 4.0
Silverlight
Поддерживается в версии 3
См. также
Ссылки
Пространство имен Microsoft.FSharp.Collections (F#)
Журнал изменений
Дата |
Журнал |
Причина |
---|---|---|
Август 2010 |
Добавлен пример кода. |
Улучшение информации. |