nubInt -package:streaming

The nubInt function removes duplicate Int values from a list. In particular, it keeps only the first occurrence of each element. By using an IntSet internally, it attains better asymptotics than the standard nub function. See also nubIntOn, a more widely applicable generalization.

Strictness

nubInt is strict in the elements of the list.

Like nub but specialized to a stream of Int, for better performance. Pre-release

The nubIntOn function behaves just like nubInt except it performs comparisons not on the original datatype, but a user-specified projection from that datatype. For example, nubIntOn fromEnum can be used to nub characters and typical fixed-with numerical types efficiently.

Strictness

nubIntOn is strict in the values of the function applied to the elements of the list.