iteratee LooseMap

[John Lato]

On Sun, Aug 22, 2010 at 12:25 PM, Antoine Latter <aslatter at gmail.com> wrote:

> On Sun, Aug 22, 2010 at 6:19 AM, John Lato <jwlato at gmail.com> wrote:
> > Hi Antoine,
> >
> > Restricting the element types is exactly what it's for.  In the case of a
> > StorableVector (or unboxed Vector, etc.), the instance looks like this:
> >
> >     instance (Storable el, Storable el') => LooseMap StorableVector el
> el'
> > where
> >
> > What difficulties have you had with multi-param typeclasses?  I haven't
> had
> > any problems with LooseMap yet.
> >
> > Arguably it could be in another package, but I don't want to make a
> package
> > for just one class.
> >
>
> Sounds fine to me, I was just looking for a reason.
>
> It looks like you have a second implementation of RFunctor from here:
>
>
> http://hackage.haskell.org/packages/archive/rmonad/0.5/doc/html/Control-RMonad.html
>
> which looks like a worthwhile thing to have around.
>

I actually experimented with using RFunctor and RMonad at first, but I
dropped it because I couldn't figure out how to make folds work.  I suspect
they may be impossible given the type hackery RFunctor engages in.

John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://projects.haskell.org/pipermail/iteratee/attachments/20100823/54f83074/attachment.htm