(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) | |