Поделиться через


Функция Seq.forall<'T> (F#)

Проверяет, все ли элементы последовательности удовлетворяют заданному предикату.

Пространство имен/путь к модулю: Microsoft.FSharp.Collections.Seq

Сборка: FSharp.Core (в FSharp.Core.dll)

// Signature:
Seq.forall : ('T -> bool) -> seq<'T> -> bool

// Usage:
Seq.forall predicate source

Параметры

  • predicate
    Тип: 'T -> bool

    Функция для проверки элемента входной последовательности.

  • source
    Тип: seq<'T>

    Входная последовательность.

Исключения

Исключение

Атрибут Condition

ArgumentNullException

Создается при указании в качестве входной последовательности значения NULL.

Возвращаемое значение

Предикат применяется к элементам входной последовательности. Если какое-либо приложение возвращает значение false, для окончательного результата также устанавливается значение false и последующие элементы не проверяются. В противном случае возвращает значение true.

Заметки

В скомпилированных сборках имя этой функции — ForAll. При обращении к функции из языка платформы .NET Framework, отличного от F#, или посредством отражения следует использовать это имя.

Пример

Следующий код показывает, как использовать функцию Seq.forall.

// This function can be used on any sequence, so the same function
// works with both lists and arrays.
let allPositive = Seq.forall (fun elem -> elem > 0)
printfn "%A" (allPositive [| 0; 1; 2; 3 |])
printfn "%A" (allPositive [ 1; 2; 3 ])

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

См. также

Ссылки

Модуль Collections.Seq (F#)

Пространство имен Microsoft.FSharp.Collections (F#)

Журнал изменений

Дата

Журнал

Причина

Август 2010

Добавлен пример кода.

Улучшение информации.