./math/hs-bifunctors, Bifunctors

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


Branch: CURRENT, Version: 5.5.6, Package name: hs-bifunctors-5.5.6, 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.


Required to run:
[lang/ghc7] [devel/hs-tagged] [devel/hs-transformers-compat] [math/hs-semigroups] [devel/hs-base-orphans] [devel/hs-th-abstraction] [math/hs-comonad]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: e69258273335874c755c95784790309455124402
RMD160: 1f119cd4de7bbec44f353cd420b7b739208389dd
Filesize: 43.673 KB

Version history: (Expand)


CVS history: (Expand)


   2020-01-03 05:45:31 by Masatake Daimon | Files touched by this commit (4)
Log message:
Import bifunctors-5.5.6 from wip

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.