OrdList.dcl 583 Bytes
Newer Older
Steffen Michels's avatar
Steffen Michels committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
definition module Data.OrdList

/**	This module extends StdOrdList with extra functions.
*/

import StdOrdList

/** removeMembersSortedList @xs @ys = @zs:
       removes all occurrences of elements in @ys from @xs, resulting in @zs.
       The function assumes that both @xs and @ys are sorted and contain no duplicate elements.
*/
removeMembersSortedList :: ![a] ![a] -> [a] | Eq, Ord a

/** removeDupSortedList @xs = @zs:
       removes all duplicate elements from @xs, resulting in @zs.
       The function assumes that @xs is sorted.
*/
removeDupSortedList :: ![a] -> [a] | Eq a