Closed recursion-ninja closed 6 years ago
The non-empty vector required a modified type signature for the generating function to ensure that at least one element was generated while unfolding. Consequently, the implementation had to be changed because the generating function had a slightly different type signature. Couldn't simply wrap the unfoldr
function from the possibly empty vector library.
This has been implemented in master
, see 66df579.
Requires manual definition, cannot just reused
Data.Vector.unfoldr
.