class ELT_ALG{ETP}




Public


Features
count_if(c:CTP, test:ROUT{ETP}:BOOL):INT .. Included as count_if
**** The number of elements which satisfy `test'.
elt_if(c:CTP,test:ROUT{ETP}:BOOL,out res:ETP):BOOL .. Included as elt_if
**** Return true if the container has an element that satisfies the predicate 'test'. The out argument 'res' is set to the return value
elt_str(e: $OB,i: INT): STR .. Included as elt_str
every(c:CTP,test:ROUT{ETP}:BOOL):BOOL .. Included as every
**** True if every element of self satisfies `test'. Self may be void.
notany(c:CTP,test:ROUT{ETP}:BOOL):BOOL .. Included as notany
**** True if none of the elements of self satisfies `test'. Self may be void.
notevery(c:CTP, test:ROUT{ETP}:BOOL):BOOL .. Included as notevery
**** True if not every element of self satisfies `test'. Self may be void.
some(c:CTP, test:ROUT{ETP}:BOOL):BOOL .. Included as some
**** True if some element of self satisfies `test'. Self may be void.
str(arr:$ELT{ETP}):STR .. Included as str
**** Print out a string version of the array

Iters
filter!(c:CTP, once f:ROUT{ETP}:BOOL): ETP .. Included as filter!
**** Yield all elements that satisfy the boolean predicate "f"
filter_not!(c:CTP, once f:ROUT{ETP}:BOOL): ETP .. Included as filter_not!
**** Yield all elements that do not satisfy the boolean predicate "f"
unique!(c:CTP):ETP .. Included as unique!
**** Yield the unique elements of 'c'

The Sather Home Page