stream_views ; view_stream

In indexed-stream.diesel:

Stream views of indexed collections are fully positionable, but not insertable, extensible, or removable. (Stream views of arrays could be made extensible.)

extend module Stdlib;

module IndexedStreamView;
class indexed_stream_view[T] isa positionable_stream[T];
class m_indexed_stream_view[T] isa m_positionable_stream[T],
                                          indexed_stream_view[T];

end module IndexedStreamView;

In list-stream.diesel:

Stream views of lists are not positionable or extensible but are insertable and removable.

extend module Stdlib;

module ListStreamView;
class list_stream_view[T] isa m_stream[T],
                                     removable_stream[T], insertable_stream[T];
class m_list_stream_view[T] isa list_stream_view[T];

end module ListStreamView;

In string-stream.diesel:

extend module Stdlib;

module StringStream;
  fun new_string_stream(s:string):positionable_stream[char];

end module StringStream;