Instances30Generic1, Bifoldable, Bifoldable1, Bifunctor, Bitraversable, Eq2, …
Functor (p (f a)) => Generic1 (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Bifoldable p, Foldable f, Foldable g) => Bifoldable (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Bifoldable1 p, Foldable1 f, Foldable1 g) => Bifoldable1 (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Bifunctor p, Functor f, Functor g) => Bifunctor (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Bitraversable p, Traversable f, Traversable g) => Bitraversable (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Eq2 p, Eq1 f, Eq1 g) => Eq2 (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Ord2 p, Ord1 f, Ord1 g) => Ord2 (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Read2 p, Read1 f, Read1 g) => Read2 (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Show2 p, Show1 f, Show1 g) => Show2 (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(f ~ g, Functor f, Swap p) => Swap (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Biapplicative p, Applicative f, Applicative g) => Biapplicative (Biff p f g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Biapply p, Apply f, Apply g) => Biapply (Biff p f g)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class(Bitraversable1 p, Traversable1 f, Traversable1 g) => Bitraversable1 (Biff p f g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class(Profunctor p, Functor f, Functor g) => Profunctor (Biff p f g)Defined in profunctors-5.6.3 · Data.Profunctor.Unsafe(Invariant2 p, Invariant f, Invariant g) => Invariant2 (Biff p f g)Defined in invariant-0.6.4 · Data.Functor.Invariantfrom the
bifunctorspackage(Bifunctor p, Functor g) => Functor (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Bifoldable p, Foldable g) => Foldable (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Bitraversable p, Traversable g) => Traversable (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Eq2 p, Eq1 f, Eq1 g, Eq a) => Eq1 (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Ord2 p, Ord1 f, Ord1 g, Ord a) => Ord1 (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Read2 p, Read1 f, Read1 g, Read a) => Read1 (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Show2 p, Show1 f, Show1 g, Show a) => Show1 (Biff p f g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Biff(Invariant2 p, Invariant g) => Invariant (Biff p f g a)Defined in invariant-0.6.4 · Data.Functor.Invariantfrom the
bifunctorspackageEq (p (f a) (g b)) => Eq (Biff p f g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.BiffOrd (p (f a) (g b)) => Ord (Biff p f g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.BiffRead (p (f a) (g b)) => Read (Biff p f g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.BiffShow (p (f a) (g b)) => Show (Biff p f g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.BiffGeneric (Biff p f g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Bifftype Rep (Biff p f g a b) = D1 ('MetaDataDefined in bifunctors-5.6.2 · Data.Bifunctor.Biff"Biff"
"Data.Bifunctor.Biff"
"bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT"
'True) (C1 ('MetaCons"Biff"
'PrefixI 'True) (S1 ('MetaSel ('Just"runBiff"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (p (f a) (g b)))))type Rep1 (Biff p f g a) = D1 ('MetaDataDefined in bifunctors-5.6.2 · Data.Bifunctor.Biff"Biff"
"Data.Bifunctor.Biff"
"bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT"
'True) (C1 ('MetaCons"Biff"
'PrefixI 'True) (S1 ('MetaSel ('Just"runBiff"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (p (f a) :.: Rec1 g)))