search

iu-parfunc / lvars

The LVish Haskell library
http://hackage.haskell.org/package/lvish
80 stars 14 forks source link

par-transformers: split out safe state transformations #117

Open rrnewton opened 9 years ago

rrnewton commented 9 years ago

We originally talked about combinators for zooming in/out on data structures, kind of like lenses and zippers.

The specific case we have is morphToVec21 which acts on the left half of the state, (X,_), and performs the following transform:

But we need to build up a composable series of these transforms! First, both the lens-like focusing action, and then the type-changing (but alias-freedom-preserving) transform.

cc @osa1

rrnewton commented 8 years ago

@DreamLinuxer, when @osa1 was last hacking on this lib, our plan was to include "mergesort" as part of the 2.0 release, and make sure everything related to it was safe and final.

But other stuff (namely the rest of par-transformers) could be left for the next release.