Array iterator #
This module provides an iterator for arrays that is accessible via Array.iter
.
@[inline]
Returns a finite iterator for the given array starting at the given index. The iterator yields the elements of the array in order and then terminates.
The monadic version of this iterator is Array.iterFromIdxM
.
Termination properties:
Finite
instance: alwaysProductive
instance: always
Equations
Instances For
@[inline]
Returns a finite iterator for the given array. The iterator yields the elements of the array in order and then terminates.
The monadic version of this iterator is Array.iterM
.
Termination properties:
Finite
instance: alwaysProductive
instance: always