diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-16 19:07:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-16 19:07:09 +0000 |
| commit | ec90597cdea2ffbfba140e041803c0dbba21873e (patch) | |
| tree | 82cc5a82234ed16e437a43c78cb2cf7a09d84a8b /src/algebra/bags.spad.pamphlet | |
| parent | 5f43d3d90da0109a83feca96b96399f5eaa72d7c (diff) | |
| download | open-axiom-ec90597cdea2ffbfba140e041803c0dbba21873e.tar.gz | |
SF/1850100
* bags.spad.pamphlet (parts$Stack): Implement.
(map$Stack): Likewise.
(map!$Stack): Likewise.
Diffstat (limited to 'src/algebra/bags.spad.pamphlet')
| -rw-r--r-- | src/algebra/bags.spad.pamphlet | 10 |
1 files changed, 10 insertions, 0 deletions
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 |