Idris2Doc : Data.Stream.Extra

Data.Stream.Extra

Definitions

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
Visibility: public export