Idris2Doc : Data.Stream.Extra

Data.Stream.Extra

startWith : Foldablet => ta -> Streama -> Streama
  Insert elements from a Foldable at the start of an existing Stream
@ pfx the Foldable containing elements to prepend
@ stream the Stream to prepend the elements to

Totality: total