diff options
Diffstat (limited to 'src/algebra/stream.spad.pamphlet')
| -rw-r--r-- | src/algebra/stream.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet index 66d7a227..a691aab2 100644 --- a/src/algebra/stream.spad.pamphlet +++ b/src/algebra/stream.spad.pamphlet @@ -587,13 +587,11 @@ Stream(S): Exports == Implementation where NNI ==> NonNegativeInteger U ==> UniversalSegment I - Exports ==> LazyStreamAggregate(S) with + Exports == Join(LazyStreamAggregate(S),CoercibleFrom L S) with shallowlyMutable ++ one may destructively alter a stream by assigning new ++ values to its entries. - coerce: L S -> % - ++ coerce(l) converts a list l to a stream. repeating: L S -> % ++ repeating(l) is a repeating stream whose period is the list l. if S has SetCategory then |