Idris2Doc : Data.List.Lazy.Extra

Data.List.Lazy.Extra

(source)
Reexports
import public Data.List.Lazy
Definitions
withIndex : LazyList a -> LazyList (Nat, a)
  Totality: total
  Visibility: export