Personal tools

Talk:Zipper monad

From HaskellWiki

Jump to: navigation, search

Here's where I'd like to go with this:

TODO

  • Generalise! I'm making good progress on writing a more general lib to cover any traversable data structure. UPDATE done in version 1 DavidHouse 18:55, 19 April 2006 (UTC)
  • Better error reporting. UPDATE done in version 1 DavidHouse 18:55, 19 April 2006 (UTC)
  • Name changes:
    • Change it to the 'Traversal monad' (as you shouldn't have to use the zipper for location). UPDATE decided not to. DavidHouse 18:55, 19 April 2006 (UTC)
    • Change left and right to move from a right branch to its corresponding left one and vice versa: this fits in better with the BTree lib. UPDATE decided not to: left and right are more natural, and we can still have a swap combinator to switch branches. DavidHouse 18:55, 19 April 2006 (UTC)