| Bifoldable p => Bifoldable (WrappedBifunctor p) | |
| (Bifoldable (WrappedBifunctor p), Bifoldable1 p) => Bifoldable1 (WrappedBifunctor p) | |
| Bifunctor p => Bifunctor (WrappedBifunctor p) | |
| (Bifunctor (WrappedBifunctor p), Biapply p) => Biapply (WrappedBifunctor p) | |
| (Bifunctor (WrappedBifunctor p), Bifoldable (WrappedBifunctor p), Bitraversable p) => Bitraversable (WrappedBifunctor p) | |
| (Bifoldable1 (WrappedBifunctor p), Bitraversable (WrappedBifunctor p), Bitraversable1 p) => Bitraversable1 (WrappedBifunctor p) | |
| (Bifunctor (WrappedBifunctor p), Biapplicative p) => Biapplicative (WrappedBifunctor p) | |
| Bifunctor p => Functor (WrappedBifunctor p a) | |
| Bifoldable p => Foldable (WrappedBifunctor p a) | |
| (Functor (WrappedBifunctor p a), Foldable (WrappedBifunctor p a), Bitraversable p) => Traversable (WrappedBifunctor p a) | |
| Eq (p a b) => Eq (WrappedBifunctor p a b) | |
| (Eq (WrappedBifunctor p a b), Ord (p a b)) => Ord (WrappedBifunctor p a b) | |
| Read (p a b) => Read (WrappedBifunctor p a b) | |
| Show (p a b) => Show (WrappedBifunctor p a b) | |