[Haskell-cafe] Reifying case expressions [was: Re: On stream processing, and a new release of timeplot coming]

[wren ng thornton]

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.

-- 
Live well,
~wren