[m-dev.] for review: set__divide

[Simon Taylor]

Zoltan wrote:
> Estimated hours taken: 1
> 
> Add a predicate to each of the set, set_ordlist and set_unordlist modules
> that divides a set into two parts: the elements for which a test succeeds
> and the elements for which it fails.
> 
> library/set.m:
> library/set_ordlist.m:
> library/set_unordlist.m:
> 	Add {set,set_ordlist,set_unordlist}_divide.

For consistency with list.m, shouldn't this be called set__filter? 	
It's probably also worth adding a version which only returns
the part of the set for which the test succeeds.

Simon. 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------