Data.Stream.Extra

Definitions

startWith : Foldable t => t a -> Stream a -> Stream a

  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