diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 00:20:06 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 00:20:06 +0000 |
| commit | ec665f7a23f25ff744435152d93480b4f31d3a08 (patch) | |
| tree | b80bf272042ac7ce5a46d23382ebd82662917c89 /src/algebra/aggcat.spad.pamphlet | |
| parent | a386f6c3b624936b2561b18948997837a88522ef (diff) | |
| download | open-axiom-ec665f7a23f25ff744435152d93480b4f31d3a08.tar.gz | |
* algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 2d539d44..baa4a420 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -208,6 +208,25 @@ FiniteAggregate(S: Type): Category == Exports where @ +\section{} + +<<category SMAGG ShallowlyMutableAggregate>>= +)abbrev category SMAGG ShallowlyMutableAggregate +++ Author: Gabriel Dos Reis +++ Date Created: May 17, 2013 +++ Date Last Created: May 17, 2013 +++ Description: +++ This category describes the class of homogeneous aggregates +++ that support in place mutation that do not change their general +++ shapes. +ShallowlyMutableAggregate(S: Type): Category == Exports where + Exports == HomogeneousAggregate S with + shallowlyMutable -- FIXME: TEMPORARY. + map!: (S->S,%) -> % + ++ \spad{map!(f,u)} destructively replaces each element + ++ \spad{x} of \spad{u} by \spad{f(x)} + +@ @@ -2801,6 +2820,7 @@ BitAggregate(): Category == <<category AGG Aggregate>> <<category HOAGG HomogeneousAggregate>> +<<category SMAGG ShallowlyMutableAggregate>> <<category FINAGG FiniteAggregate>> <<category CLAGG Collection>> <<category BGAGG BagAggregate>> |