IdrisDoc: Data.Stream.Extra

Data.Stream.Extra

startWith : Foldable t => (pfx : t a) -> (stream : 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