Changeset 4005


Ignore:
Timestamp:
Oct 28, 2008, 4:17:18 PM (12 years ago)
Author:
yura
Message:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/refal/refal/plus/List2.rf

    r4004 r4005  
    6262$public $func Filter t.func e.list = e.list;
    6363Filter t.func e.list = <Map (&FilterHelp t.func) e.list>;
     64
     65$func FilterWithContextHelp t.func (e.left) t.term (e.right) = e.term_or_empty;
     66FilterWithContextHelp t.func (e.left) t.term (e.right) = { <Apply t.func (e.left) t.term (e.right)> :: e = t.term; ; };
     67
     68$public $func FilterWithContext t.func e.list = e.list;
     69FilterWithContext t.func e.list = <MapWithContext (&FilterWithContextHelp t.func) e.list>;
    6470
    6571$public $func Split t.func e.list = (e.true_list) (e.false_list);
Note: See TracChangeset for help on using the changeset viewer.