[Hs-Generics] RE: Traversible Functor Data, or: X marks the spot (Re: Haddock version during build)

Simon Peyton-Jones simonpj at microsoft.com
Tue Jun 24 12:10:32 EDT 2008


| I was surprised to see Data instances for (a->b) and IO a,
| since for such non-algebraic types, there isn't anything to
| gfoldl or gmap over. And those instances do indeed seem
| to offer very little functionality (not to mention the runtime
| errors..).

I'm surprised too.  I thought Data meant, well, data.

Does anyone out there *want* functions and IO in Data?

| ps. What is the right list for this topic?

Possibly generics at haskell.org

Simon


More information about the Generics mailing list