Enumerator
Enumerator
An alternative to the iterator, a helper type that works similar to .NET's IEnumerator. An instance of the enumerator can be obtained with the enumerator operation on a sequence.
Enumerator type
enumerator<Type>
| Subtypes | Supertypes | Comparable types |
|---|---|---|
| none | none | none |
Operations on enumerator
moveNext
| Operand type | Parameter type | Result type |
|---|---|---|
| enumerator<Type> | none | boolean |
Moves to the next element. Returns true if there is an element available.
current
| Operand type | Parameter type | Result type |
|---|---|---|
| enumerator<Type> | none | Type |
Returns the element this enumerator is currently positioned at.
Last modified: 5 July 2019