search

robrix / freer-cofreer

freer monads and cofreer comonads.
BSD 3-Clause "New" or "Revised" License
21 stars 1 forks source link

Yield first #14

Closed robrix closed 6 years ago

robrix commented 6 years ago

This PR makes iterFreer’s algebra take the continuation as the first argument, which makes it conveniently symmetrical and easier to understand in relation to open recursion in general.