Control.Bifunctor

Documentation

class Bifunctor f where

Methods

bimap :: (a -> c) -> (b -> d) -> f a b -> f c d

first :: (a -> c) -> f a b -> f c b

second :: (b -> d) -> f a b -> f a d

Instances

Bifunctor Either

Bifunctor (,)

Bifunctor SndB

Bifunctor FstB

Bifunctor ReaderC

Bifunctor p => Bifunctor (SwapB p)

Bifunctor (ConstB t)

Functor f => Bifunctor (ReaderCT f)

Bifunctor (IxState i)

ContravariantFunctor h => Bifunctor (HyperB h)

(Functor f, Bifunctor p) => Bifunctor (FunctorB f p)

Monad m => Bifunctor (IxStateT m i)

(Bifunctor p, Bifunctor f, Bifunctor g) => Bifunctor (CompB p f g)

(Functor f, Bifunctor p, Functor g) => Bifunctor (BiffB p f g)