diff arrows/umgather.m @ 27:5de03f77dae1

Added documentation about types and revised arrow type specifications.

--- a/arrows/umgather.m	Sat Jan 19 13:09:31 2013 +0000
+++ b/arrows/umgather.m	Sat Jan 19 14:22:09 2013 +0000
@@ -1,14 +1,14 @@
 % umgather - Run a processing unit and collect multiple outputs
 %
 % ugather :: 
-%    unit({}, A:arglist(K), _) ~'live processing unit with K outputs',
+%    unit({}, A@typelist(K), _) ~'live processing unit with K outputs',
 %    T:natural              ~'number of iterations to run (can be inf)',
 %    options {
 %       draw  :: boolean/false ~'whether or not to call drawnow after each iteration';
 %       quiet :: boolean/false ~'whether or not to suppress progress messages';
 %       chunk :: natural/1     ~'print progress every chunk interations';
 %    } 
-% -> B:arglist(K) ~'collected outputs'.
+% -> B@typelist(K) ~'collected outputs'.
 %
 % This function accepts the live processing unit associated
 % with an arrow (as created by with_arrow). The arrow must