Usage
import from Stream T
Parameter | Type | Description |
---|---|---|
T | Type | the type of the stream entries |
Description
Stream provides streams of entries of type,
-indexed and with bound checking.
Exports
LinearStructureType T #: % Z
number of computed elements constant: % (Z, Partial T)
check for an eventually constant stream generator : % Generator T
iteration over a stream interlacing: List % %
interlacing map!: (T T)
%
%
lift a mapping orbit: (T, T T)
%
creation of a stream stream: T %
creation of a stream (() T)
%
((Z, T) T)
%
(Z, Z T)
%
(Z, Z T, Z, T)
%
(Generator T, T) %
(Generator T, Z, T) %
where
Z == MachineInteger
ifhas OutputType then
OutputType