Re: [Haskell-cafe] An experimental Zipper using Thrists and first-class Labels. Help or thoughts?

On Tue, Jul 27, 2010 at 1:59 AM, Jason Dagit wrote: > > > On Mon, Jul 26, 2010 at 9:00 PM, Brandon Simmons > wrote: >> >> I had the idea for a simple generic Zipper data structure that I >> thought would be possible to implement using type-threaded lists >> provided by Gabor Greif's thrist packag

Re: [Haskell-cafe] An experimental Zipper using Thrists and first-class Labels. Help or thoughts?

On Mon, Jul 26, 2010 at 10:59 PM, Jason Dagit wrote: > > ($) is application, but in the space of functions it is identity. So, if > you think the elements in your thrist as being values in the space of > functions, you're asking for a right fold that is like, v1 `id` (v2 `id` (v3 > `id` ...), w

Re: [Haskell-cafe] An experimental Zipper using Thrists and first-class Labels. Help or thoughts?

On Mon, Jul 26, 2010 at 9:00 PM, Brandon Simmons < brandon.m.simm...@gmail.com> wrote: > I had the idea for a simple generic Zipper data structure that I > thought would be possible to implement using type-threaded lists > provided by Gabor Greif's thrist package: > >http://hackage.haskell.org

[Haskell-cafe] An experimental Zipper using Thrists and first-class Labels. Help or thoughts?

I had the idea for a simple generic Zipper data structure that I thought would be possible to implement using type-threaded lists provided by Gabor Greif's thrist package: http://hackage.haskell.org/package/thrist ...and the fclabels package by Sebastiaan Visser, Erik Hesselink, Chris Eidhof