Minnesota Extensible Language Tools Group

[silver:util:treeset]

Contents of [silver:util:treeset]:

Defined in this grammar:

One should always import this via ‘import silver:util:treemap as …’ The names are too general otherwise.

fun empty   (Ord a => Set<a> ::= )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 13.

Returns a new, empty, set using Ord for comparison.

function emptyWith   (Set<a> ::= comparator::(Integer ::= a a) )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 18.

Returns a new, empty, set using the specified comparator.

WARNING!
An ‘insert’ function is deliberating omitted due to its inefficiency, but there’s add:

function add   (Set<a> ::= lst::[a] set::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 31.

Adds a list of elements to a set.

fun fromList   (Ord a => Set<a> ::= lst::[a] )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 42.

Converts a list to a set.

function toList   ([a] ::= set::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 47.

Converts a set back to a list, in sorted order.

function union   (Set<a> ::= l::Set<a> r::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 58.

Computes the union of the two sets.

function intersect   (Set<a> ::= l::Set<a> r::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 69.

Computes the intersection of the two sets.

function difference   (Set<a> ::= l::Set<a> r::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 80.

Computes the difference of the two sets. (l - r)

function contains   (Boolean ::= e::a set::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 91.

Determines if the element e is in the set.

function containsAll   (Boolean ::= e::[a] set::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 102.

Determines if all of the elements in e are in the set.

function subset   (Boolean ::= l::Set<a> r::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 113.

Determines if l is a subset of r.

function isEmpty   (Boolean ::= s::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 124.

Determines if a set is empty.

function size   (Integer ::= s::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 135.

Determines the size of a set.

function filter   (Set<a> ::= f::(Boolean ::= a) s::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 146.

Removes elements from a set, whenever ‘f’ return false.

function removeAll   (Set<a> ::= lst::[a] set::Set<a> )

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 157.

Remove all elements from the set (returns set - lst)

ffi type Set

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 8.

(Undocumented.)

instance Eq Set<a>

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 165.

(Undocumented.)

instance Eq Set<a>.eq

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 166.

(Undocumented.)

instance Semigroup Set<a>

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 169.

(Undocumented.)

instance Semigroup Set<a>.append

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 170.

(Undocumented.)

instance Monoid Set<a>

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 173.

(Undocumented.)

instance Monoid Set<a>.mempty

Contained in grammar [silver:util:treeset]. Defined at silver/util/treeset/TreeSet.sv line 174.

(Undocumented.)