add exact size unfoldrN(M)

[cartazio]

unfoldrExactlyNM :: Monad m => Int -> (s -> m ((a, s))) -> s -> Stream m a

or something like that, plus vector level siblings

cc @dolio @davean

[cartazio]

also clarify which sized arg things are hinting vs exact for realted codes like unfoldrN

[lehins]

@cartazio #295 implements this ticket. I am thinking on merging it and closing this ticket. Maybe there is something more you'd like to add?

[cartazio]

Eep, let me forward port the test suite as a pr, then let’s ff merge both? Or ff merge this one as is. Looks reasonable though I’ve not done a close reading. (I can do both tomorrow alternatively )

…

On Thu, Feb 27, 2020 at 9:18 PM Alexey Kuleshevich ***@***.***> wrote: @cartazio <https://github.com/cartazio> #295 <#295> implements this ticket. I am thinking on merging it and closing this ticket. Maybe there is something more you'd like to add? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#140?email_source=notifications&email_token=AAABBQT6IPBRIEDO2EVETFTRFBX7DA5CNFSM4CSLSI52YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOENGW73I#issuecomment-592277485>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAABBQX4AMTXR4WX4EIQFWTRFBX7DANCNFSM4CSLSI5Q> .

[cartazio]

Also due to how this interact with our other ticket let me take some time to ask around for which semantics most users expect on some of these sized operations On Thu, Feb 27, 2020 at 9:22 PM Carter Schonwald <carter.schonwald@gmail.com> wrote:

…

Eep, let me forward port the test suite as a pr, then let’s ff merge both? Or ff merge this one as is. Looks reasonable though I’ve not done a close reading. (I can do both tomorrow alternatively ) On Thu, Feb 27, 2020 at 9:18 PM Alexey Kuleshevich < ***@***.***> wrote: > @cartazio <https://github.com/cartazio> #295 > <#295> implements this ticket. I > am thinking on merging it and closing this ticket. Maybe there is something > more you'd like to add? > > — > You are receiving this because you were mentioned. > Reply to this email directly, view it on GitHub > <#140?email_source=notifications&email_token=AAABBQT6IPBRIEDO2EVETFTRFBX7DA5CNFSM4CSLSI52YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOENGW73I#issuecomment-592277485>, > or unsubscribe > <https://github.com/notifications/unsubscribe-auth/AAABBQX4AMTXR4WX4EIQFWTRFBX7DANCNFSM4CSLSI5Q> > . >