(Bitraversable s, Traversable f, Traversable g) => Bitraversable (Biff * * * * s f g) Source # | |
|
(Bifoldable s, Foldable f, Foldable g) => Bifoldable (Biff * * * * s f g) Source # | |
|
(Bifunctor s, Functor f, Functor g) => Bifunctor (Biff * * * * s f g) Source # | |
|
(Eq2 s, Eq1 f, Eq1 g) => Eq2 (Biff * * * * s f g) Source # | |
|
(Ord2 s, Ord1 f, Ord1 g) => Ord2 (Biff * * * * s f g) Source # | |
|
(Read2 s, Read1 f, Read1 g) => Read2 (Biff * * * * s f g) Source # | |
|
(Show2 s, Show1 f, Show1 g) => Show2 (Biff * * * * s f g) Source # | |
|
(Bicotraversable s, Cotraversable f, Cotraversable g) => Bicotraversable (Biff * * * * s f g) Source # | |
|
(Functor (s (f a)), Functor g) => Functor (Biff k1 * k2 * s f g a) Source # | |
|
(Foldable (s (f a)), Foldable g) => Foldable (Biff k1 * k2 * s f g a) Source # | |
|
(Traversable (s (f a)), Traversable g) => Traversable (Biff k2 * k1 * s f g a) Source # | |
|
(Eq2 s, Eq1 f, Eq1 g, Eq a, Eq b) => Eq (Biff * * * * s f g a b) Source # | |
|
(Ord2 s, Ord1 f, Ord1 g, Ord a, Ord b) => Ord (Biff * * * * s f g a b) Source # | |
|
(Read2 s, Read1 f, Read1 g, Read a, Read b) => Read (Biff * * * * s f g a b) Source # | |
|
(Show2 s, Show1 f, Show1 g, Show a, Show b) => Show (Biff * * * * s f g a b) Source # | |
|