Set.isProperSuperset<'T> Function (F#)

Evaluates to true if all elements of the second set are in the first, and at least one element of the first is not in the second.

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

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

// Signature:
Set.isProperSuperset : Set<'T> -> Set<'T> -> bool (requires comparison)

// Usage:
Set.isProperSuperset set1 set2

Parameters

  • set1
    Type: Set<'T>

    The potential superset.

  • set2
    Type: Set<'T>

    The set to test against.

Return Value

True if set1 is a proper superset of set2.

Remarks

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

Example

The following code illustrates the use of the Set.isProperSuperset function.

let set1 = Set.ofList [ 1 .. 6 ]
let set2 = Set.ofList [ 1 .. 9 ]
let set3 = Set.ofList [ 1 .. 6 ]
let set4 = Set.ofList [ 5 .. 10 ]
printfn "%A is a proper superset of %A: %b" set2 set1 (Set.isProperSuperset set2 set1)
printfn "%A is a proper superset of %A: %b" set3 set1 (Set.isProperSuperset set3 set1) 
printfn "%A is a proper superset of %A: %b" set4 set1 (Set.isProperSuperset set4 set1) 

Output

set [1; 2; 3; 4; 5; 6; 7; 8; 9] is a proper superset of set [1; 2; 3; 4; 5; 6]: true
set [1; 2; 3; 4; 5; 6] is a proper superset of set [1; 2; 3; 4; 5; 6]: false
set [5; 6; 7; 8; 9; 10] is a proper superset of set [1; 2; 3; 4; 5; 6]: false

Platforms

Windows 7, Windows Vista SP2, Windows XP SP3, Windows XP x64 SP2, Windows Server 2008 R2, Windows Server 2008 SP2, Windows Server 2003 SP2

Version Information

F# Runtime

Supported in: 2.0, 4.0

Silverlight

Supported in: 3

See Also

Reference

Collections.Set Module (F#)

Microsoft.FSharp.Collections Namespace (F#)