Data.Bifunctor

class Bifunctor p where Исходный код

Бифунктор — это конструктор типа, который принимает два аргумента типа и является функтором в обоих аргументах. То есть, в отличие от Functor, конструктор типа, такой как Either, не требует частичного применения для экземпляра Bifunctor, и методы в этом классе позволяют применять функции к отображению над Left значением или Right значением, или к обоим одновременно.

Формально, класс Bifunctor представляет бифунктор из Hask -> Hask.

Интуитивно это бифунктор, где и первый, и второй аргументы являются ковариантными.

Вы можете определить Bifunctor, определив bimap или определив как first, так и second.

Если вы предоставите bimap, вы должны убедиться, что:

bimap id id ≡ id

Если вы предоставите first и second, убедитесь в следующем:

first id ≡ id
second id ≡ id

Если вы предоставите оба, вы также должны убедиться, что:

bimap f g ≡ first f . second g

Это гарантируется параметричностью:

bimap  (f . g) (h . i) ≡ bimap f h . bimap g i
first  (f . g) ≡ first  f . first  g
second (f . g) ≡ second f . second g

С момента: base-4.8.0.0

bimap f g ≡ first f . second g

>>> bimap toUpper (+1) ('j', 3)
('J',4)

>>> bimap toUpper (+1) (Left 'j')
Left 'J'

>>> bimap toUpper (+1) (Right 3)
Right 4

first f ≡ bimap f id

>>> first toUpper ('j', 3)
('J',3)

>>> first toUpper (Left 'j')
Left 'J'

second ≡ bimap id

>>> second (+1) ('j', 3)
('j',4)

>>> second (+1) (Right 3)
Right 4