[Haskell-cafe] Reifying case expressions [was: Re: On stream processing, and a new release of timeplot coming]
wren ng thornton
wren at freegeek.org
Mon Jan 9 09:49:17 CET 2012
On 12/28/11 10:14 AM, Brent Yorgey wrote:
> On Mon, Dec 26, 2011 at 12:32:13PM +0400, Eugene Kirpichov wrote:
>> Actually it's not a bifunctor - it's a functor in one argument and
>> contrafunctor in the other.
>> Is there a name for such a structure?
> "Bifunctor" is usually used for such things as well. Data.Bifunctor
> only covers bifunctors which are covariant in both arguments.
I'd just call them (contra(variant)) bifunctors. Or, more likely, I'd
call them hom-(bi)functors since chances are the bifunctor supports the
full structure of a category.
More information about the Haskell-Cafe