Documentation

Init.Data.Slice.Array.Iterator

This module provides slice notation for array slices (a.k.a. Subarray) and implements an iterator for those slices.

source
instance instToIteratorSubarrayId {α : Type u} {s : Subarray α} :
Std.Iterators.ToIterator s Id α
Equations
  • One or more equations did not get rendered due to their size.