category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Bifunctor Portability non-portable (functional-dependencies) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class Bifunctor f where Source

Methods bimap :: (a -> c) -> (b -> d) -> f a b -> f c d Source first :: (a -> c) -> f a b -> f c b Source second :: (b -> d) -> f a b -> f a d Source Instances Bifunctor Either Bifunctor FstB Bifunctor SndB Bifunctor ReaderC Bifunctor (ConstB t) Bifunctor p => Bifunctor (SwapB p) Functor f => Bifunctor (ReaderCT f) ContravariantFunctor h => Bifunctor (HyperB h) (Functor f, Bifunctor p) => Bifunctor (FunctorB f p) (Functor f, Bifunctor p, Functor g) => Bifunctor (BiffB p f g) (Bifunctor p, Bifunctor f, Bifunctor g) => Bifunctor (CompB p f g)

Produced by Haddock version 2.1.0