Stream

Usage

import from Stream T

Parameter	Type	Description
T	Type	the type of the stream entries

Description

Stream provides streams of entries of type $T$, $0$-indexed and with bound checking.

Exports

LinearStructureType T
#:	% $\to$ Z	number of computed elements
constant:	% $\to$ (Z, Partial T)	check for an eventually constant stream
generator :	% $\to$ Generator T	iteration over a stream
interlacing:	List % $\to$ %	interlacing
map!:	(T $\to$ T) $\to$ % $\to$ %	lift a mapping
orbit:	(T, T $\to$ T) $\to$ %	creation of a stream
stream:	T $\to$ %	creation of a stream
	(() $\to$ T) $\to$ %
	((Z, T) $\to$ T) $\to$ %
	(Z, Z $\to$ T) $\to$ %
	(Z, Z $\to$ T, Z, T) $\to$ %
	(Generator T, T) $\to$ %
	(Generator T, Z, T) $\to$ %

where

Z

==

MachineInteger

if $T$ has OutputType then

OutputType