Documentation
newtype Biff p f g a b Source
Instances
(Functor f, Symmetric Hask p) => Symmetric Hask (Biff p f f) | |
(Functor f, Braided Hask p) => Braided Hask (Biff p f f) | |
(Bizip p, Zip f, Zip g) => Bizip (Biff p f g) | |
(QFunctor q Hask Hask, Functor g) => QFunctor (Biff q f g) Hask Hask | |
(Functor f, PFunctor p Hask Hask) => PFunctor (Biff p f g) Hask Hask | |
(Functor f, Bifunctor p Hask Hask Hask, Functor g) => Bifunctor (Biff p f g) Hask Hask Hask | |
(Bizap p q, Zap f g, Zap i j) => Bizap (Biff p f i) (Biff q g j) | |
(Functor f, Bifunctor p Hask Hask Hask, Functor g) => Functor (Biff p f g a) | |