iteratee LooseMap

[Antoine Latter]

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.

Antoine