This module implements an iterator for list slices.

@[inline]

instance ListSlice.instToIterator {α : Type u} : Std.ToIterator (Std.Slice (Std.Slice.Internal.ListSliceData α)) Id (Std.Iterators.Types.Take (Std.Iterators.Types.ListIterator α) Id) α

instance instSliceSizeListSliceData {α : Type u} : Std.Slice.SliceSize (Std.Slice.Internal.ListSliceData α)

instance instForInListSliceOfMonad {α : Type u} {m : Type v → Type w} [Monad m] : ForIn m (ListSlice α) α

instance List.instAppendListSlice {α : Type u} : Append (ListSlice α)

def List.ListSlice.repr {α : Type u} [Repr α] (s : ListSlice α) : Std.Format

ListSlice representation.

instance List.instReprListSlice {α : Type u} [Repr α] : Repr (ListSlice α)

instance List.instToStringListSlice {α : Type u} [ToString α] : ToString (ListSlice α)