./math/hs-bifunctors, Bifunctors

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2021Q2, Version: 5.5.10nb1, Package name: hs-bifunctors-5.5.10nb1, Maintainer: szptvlfn

A bifunctor is a type constructor that takes two type arguments and is
a functor in both arguments. That is, unlike with Functor, a type
constructor such as Either does not need to be partially applied for a
Bifunctor instance, and the methods in this class permit mapping
functions over the Left value or the Right value, or both at the same
time.

Formally, the class Bifunctor represents a bifunctor from Hask ->
Hask.

Intuitively it is a bifunctor where both the first and second
arguments are covariant.

You can define a Bifunctor by either defining bimap or by defining
both first and second.


Master sites:

SHA1: ed4f6b665c19f8c13bfee0eb40966f87dd20aea9
RMD160: 8b8084cd50c0866cb2b88675a0e7705492294f80
Filesize: 44.736 KB

Version history: (Expand)