Generator

Usage

import from Generator T

Parameter	Type	Description
T	Type	the type of the elements generated

Description

Generator T is a type which allows values of type T to be obtained serially in a `repeat' or `collect' form.

Exports

concat:	List % $\to$ %	concatenation
interlacing:	List % $\to$ %	interlacing
next!:	% $\to$ T	get the next element
partialNext!:	% $\to$ Partial T	get the next element