diff options
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 2dd2fc74..512bf628 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -1662,6 +1662,13 @@ UnaryRecursiveAggregate(S:Type): Category == RecursiveAggregate S with setrest!(x, empty()) y + map!(f,x) == + y := x + while not empty? y repeat + setfirst!(y,f first y) + y := rest y + x + @ \section{category STAGG StreamAggregate} @@ -1735,13 +1742,6 @@ StreamAggregate(S:Type): Category == empty? l => empty() concat!(copy first l, concat rest l) - map!(f, l) == - y := l - while not empty? l repeat - setfirst!(l, f first l) - l := rest l - y - fill!(x, s) == y := x while not empty? y repeat (setfirst!(y, s); y := rest y) |