Looking for haskell Keywords? Try Ask4Keywords

Haskell LanguageBifunctor


Syntax

  • bimap :: (a -> b) -> (c -> d) -> pac -> pbd
  • zuerst :: (a -> b) -> pac -> pbc
  • zweite :: (b -> c) -> pab -> pac

Bemerkungen

Ein Lauf der Mühle Functor ist in einem einzigen Typparameter kovariant. Wenn beispielsweise f ein Functor , dann ein fa und eine Funktion der Form a -> b , kann man ein fb (durch Verwendung von fmap ).

Ein Bifunctor ist in zwei Typparametern kovariant. Wenn f ein Bifunctor , dann eine fab und zwei Funktionen, eine von a -> c und eine andere von b -> d , dann kann man eine fcd (mit bimap ) erhalten.

first sollte man sich eine fmap über den ersten Typparameter fmap , second eine fmap über den zweiten, und bimap sollte so konzipiert werden, dass zwei Funktionen kovariant über den ersten bzw. den zweiten Typparameter bimap werden.

Bifunctor Verwandte Beispiele