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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
