LazyList
ADT for streaming data with a Producer. It is either:
ADT for streaming data with a Producer. It is either:
- Done: nothing left to stream
- One: there is just one element
- More(as, next): there are
aselements and the next producer
ADT for streaming data with a Producer. It is either:
ADT for streaming data with a Producer. It is either:
as elements and the next producer