source: to-imperative/trunk/library/List/refal/List.rfi @ 2037

// $Source$
// $Revision: 2037 $
// $Date: 2006-07-27 12:45:55 +0000 (Thu, 27 Jul 2006) $

$func Zip (e.list1) (e.list2) = e.new-list;

$func Map s.Fname e.Fargs (e.list) = e.new-list;

$func Filter s.Fname e.Fargs (e.list) = e.new-list;

$func Split s.Fname e.Fargs (e.list) = (e.true-list) (e.false-list);

$func? Elem? e.list t.item = ;

$func Get-Elem s.num (e.list) = term;

$func Foldr s.Fname e.Fargs (e.value) (e.list) = e.value;

$func Foldr1 s.Fname e.Fargs (e.list) = e.value;

$func Concat e.lists = e.list;

$func Paren exprs = e.lists;

$func Reverse e.list = e.rev-list;

$func Intersperse (e.sep) e.list = e.new-list;

$func Nub e.expr = e.selected;

$func Replicate s.n e.expr = e.list;

// Returns number of e.expr entries in e.source and e.source without all e.expr's.
$func Entries e.expr (e.source) = s.num e.res;

// Add to the first list all new elements from the second one.
$func Or (e.list1) e.list2 = e.or;

// Choose from the first list all elements present in the second one.
$func And (e.list1) e.list2 = e.and;

// Choose from the first list all elements not present in the second one.
$func Sub (e.list1) e.list2 = e.not;