Data.Bifunctor

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

Формально, класс 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

С тех пор как: 4.8.0.0

bimap f g ≡ first f . second g

first f ≡ bimap f id

second ≡ bimap id