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