Table of contents
Learn More
Table of contents +
Visual F#
Visual F# Development Portal
What's new in Visual F#
Visual F# Guided Tour
Using Visual Studio to Write F# Programs
F# Language Reference
F# Compiler (fsc.exe) Reference
F# Interactive (fsi.exe) Reference
F# Core Library Reference
Microsoft.FSharp.Collections Namespace
Array Module
Array2D Module
Array3D Module
Array4D Module
ComparisonIdentity Module
HashIdentity Module
List Module
List.append<'T> Function
List.average<^T> Function
List.averageBy<'T,^U> Function
List.choose<'T,'U> Function
List.chunkBySize<'T> Function
List.collect<'T,'U> Function
List.compareWith<'T> Function
List.concat<'T> Function
List.contains<'T> Function
List.countBy<'T,'Key> Function
List.distinct['t] Function
List.empty<'T> Type Function
List.exists<'T> Function
List.exists2<'T1,'T2> Function
List.filter<'T> Function
List.find<'T> Function
List.findIndex<'T> Function
List.fold<'T,'State> Function
List.fold2<'T1,'T2,'State> Function
List.foldBack<'T,'State> Function
List.foldBack2<'T1,'T2,'State> Function
List.forall<'T> Function
List.forall2<'T1,'T2> Function
List.head<'T> Function
List.init<'T> Function
List.isEmpty<'T> Function
List.iter<'T> Function
List.iter2<'T1,'T2> Function
List.iteri<'T> Function
List.iteri2<'T1,'T2> Function
List.length<'T> Function
List.map<'T,'U> Function
List.map2<'T1,'T2,'U> Function
List.map3<'T1,'T2,'T3,'U> Function
List.mapi<'T,'U> Function
List.mapi2<'T1,'T2,'U> Function
List.max<'T> Function
List.maxBy<'T,'U> Function
List.min<'T> Function
List.minBy<'T,'U> Function
List.nth<'T> Function
List.ofArray<'T> Function
List.ofSeq<'T> Function
List.partition<'T> Function
List.permute<'T> Function
List.pick<'T,'U> Function
List.reduce<'T> Function
List.reduceBack<'T> Function
List.replicate<'T> Function
List.rev<'T> Function
List.scan<'T,'State> Function
List.scanBack<'T,'State> Function
List.sort<'T> Function
List.sortBy<'T,'Key> Function
List.sortWith<'T> Function
List.splitAt<'T> Function
List.sum<^T> Function
List.sumBy<'T,^U> Function
List.tail<'T> Function
List.toArray<'T> Function
List.toSeq<'T> Function
List.tryFind<'T> Function
List.tryFindIndex<'T> Function
List.tryPick<'T,'U> Function
List.unzip<'T1,'T2> Function
List.unzip3<'T1,'T2,'T3> Function
List.zip<'T1,'T2> Function
List.zip3<'T1,'T2,'T3> Function
list<'T> Type Abbreviation
List<'T> Union
Map<'Key,'Value> Class
Collections.Map Module
Collections.ResizeArray<'T> Type Abbreviation
Collections.Seq Module
Collections.seq<'T> Type Abbreviation
Collections.Set<'T> Class
Collections.Set Module
Microsoft.FSharp.Control Namespace (F#)
Microsoft.FSharp.Core Namespace (F#)
Microsoft.FSharp.Core.CompilerServices Namespace (F#)
Microsoft.FSharp.Data Namespace
Microsoft.FSharp.Linq Namespace (F#)
Microsoft.FSharp.NativeInterop Namespace (F#)
Microsoft.FSharp.Quotations Namespace (F#)
Microsoft.FSharp.Reflection Namespace (F#)
System Namespace (F#)
System.Collections Namespace (F#)
System.Numerics Namespace (F#)
System.Threading Namespace (F#)
Visual F# Samples and Walkthroughs
Type Providers (F#)
TOC
Collapse the table of content
Expand the table of content

List.forall2<'T1,'T2> Function (F#)

Den Delimarsky|Last Updated: 8/18/2017
|
2 Contributors

Tests if all corresponding elements of the lists satisfy the given predicate pairwise. The lists must have equal lengths.

Namespace/Module Path: Microsoft.FSharp.Collections.List

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

Syntax

// Signature:
List.forall2 : ('T1 -> 'T2 -> bool) -> 'T1 list -> 'T2 list -> bool

// Usage:
List.forall2 predicate list1 list2

Parameters

predicate Type: 'T1 -> 'T2 ->bool

The function to test the input elements.

list1 Type: 'T1list

The first input list.

list2 Type: 'T2list

The second input list.

Exceptions

ExceptionCondition
ArgumentExceptionThrown when the input lists differ in length.

Return Value

true if all of the pairs of elements satisfy the predicate. Otherwise, returns false.

Remarks

The predicate is applied to matching elements in the two collections. If any application returns false then the overall result is false and no further elements are tested. Otherwise, if one collection is longer than the other then the System.ArgumentException exception is raised. Otherwise, true is returned.

This function is named ForAll2 in compiled assemblies. If you are accessing the function from a .NET language other than F#, or through reflection, use this name.

Example

let listEqual list1 list2 = List.forall2 (fun elem1 elem2 -> elem1 = elem2) list1 list2
printfn "%b" (listEqual [0; 1; 2] [0; 1; 2])
printfn "%b" (listEqual [0; 0; 0] [0; 1; 0])

Output

true
false

Platforms

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

Version Information

F# Core Library Versions

Supported in: 2.0, 4.0, Portable

See Also

Collections.List Module (F#)

Microsoft.FSharp.Collections Namespace (F#)

© 2020 Microsoft