| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Bifunctor.Biff
Description
Documentation
newtype BiffB p f g a b Source
Instances
| (Functor f, Bifunctor p, Functor g) => Bifunctor (BiffB p f g) | |
| Functor f => PCopointed (BiffB (,) Identity f) | |
| Functor f => PPointed (BiffB Either Identity f) | |
| FunctorPlus f => PPointed (BiffB (,) Identity f) | |
| (Functor f, Symmetric p) => Symmetric (BiffB p f f) | |
| (Functor f, Braided p) => Braided (BiffB p f f) | |
| Functor f => PComonad (BiffB (,) Identity f) | |
| Functor f => PApplicative (BiffB Either Identity f) | |
| FunctorPlus f => PApplicative (BiffB (,) Identity f) | |
| Functor f => PMonad (BiffB Either Identity f) | |
| FunctorPlus f => PMonad (BiffB (,) Identity f) | |
| (Bizip p, Zip f, Zip g) => Bizip (BiffB p f g) | |
| (BiZap p q, Zap f g, Zap i j) => BiZap (BiffB p f i) (BiffB q g j) | |
| (Functor f, Bifunctor p, Functor g) => Functor (BiffB p f g a) |