
  0 | module Data.List.Lazy.Extra
  1 | 
  2 | import public Data.List.Lazy
  3 | 
  4 | %default total
  5 | 
  6 | export
  7 | withIndex : LazyList a -> LazyList (Nat, a)
  8 | withIndex = go 0 where
  9 |   go : Nat -> LazyList a -> LazyList (Nat, a)
 10 |   go _ []      = []
 11 |   go n (x::xs) = (n, x) :: go (S n) xs
 12 |