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