From ec90597cdea2ffbfba140e041803c0dbba21873e Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 16 Dec 2007 19:07:09 +0000 Subject: SF/1850100 * bags.spad.pamphlet (parts$Stack): Implement. (map$Stack): Likewise. (map!$Stack): Likewise. --- src/algebra/ChangeLog | 7 +++++++ src/algebra/bags.spad.pamphlet | 10 ++++++++++ 2 files changed, 17 insertions(+) diff --git a/src/algebra/ChangeLog b/src/algebra/ChangeLog index 524a01ba..895cb077 100644 --- a/src/algebra/ChangeLog +++ b/src/algebra/ChangeLog @@ -1,3 +1,10 @@ +2007-12-16 Gabriel Dos Reis + + SF/1850100 + * bags.spad.pamphlet (parts$Stack): Implement. + (map$Stack): Likewise. + (map!$Stack): Likewise. + 2007-12-12 Gabriel Dos Reis * domain.spad (showSummary$Domain): New. diff --git a/src/algebra/bags.spad.pamphlet b/src/algebra/bags.spad.pamphlet index a00b49e6..ed8b82a6 100644 --- a/src/algebra/bags.spad.pamphlet +++ b/src/algebra/bags.spad.pamphlet @@ -42,6 +42,16 @@ Stack(S: Type): StackAggregate S with s = t == deref s = deref t + parts s == -- from HOAGG + deref s + + map(f: S -> S, s: %) == -- from HOAGG + ref map(f, deref s)$List(S) + + map!(f: S -> S, s: %) == -- from HOAGG + map!(f, deref s)$List(S) + s + copy s == ref copy deref s depth s == # deref s # s == depth s -- cgit v1.2.3