Data.Bifunctor.Biff · bifunctors-5.6.3

newtypenewtype Biff (p :: k -> k1 -> Type) (f :: k2 -> k) (g :: k3 -> k1) (a :: k2) (b :: k3)

Source#

Compose two Functors on the inside of a Bifunctor.

Constructors

Biff
- runBiff :: p (f a) (g b)

Instances25Generic1, Bifoldable, Bifoldable1, Bifunctor, Bitraversable, Eq2, …

Functor (p (f a)) => Generic1 (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Bifoldable p, Foldable f, Foldable g) => Bifoldable (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Bifoldable1 p, Foldable1 f, Foldable1 g) => Bifoldable1 (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Bifunctor p, Functor f, Functor g) => Bifunctor (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Bitraversable p, Traversable f, Traversable g) => Bitraversable (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Eq2 p, Eq1 f, Eq1 g) => Eq2 (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Ord2 p, Ord1 f, Ord1 g) => Ord2 (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Read2 p, Read1 f, Read1 g) => Read2 (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Show2 p, Show1 f, Show1 g) => Show2 (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(f ~ g, Functor f, Swap p) => Swap (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Biapplicative p, Applicative f, Applicative g) => Biapplicative (Biff p f g)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Bifunctor p, Functor g) => Functor (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Bifoldable p, Foldable g) => Foldable (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Bitraversable p, Traversable g) => Traversable (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Eq2 p, Eq1 f, Eq1 g, Eq a) => Eq1 (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Ord2 p, Ord1 f, Ord1 g, Ord a) => Ord1 (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Read2 p, Read1 f, Read1 g, Read a) => Read1 (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
(Show2 p, Show1 f, Show1 g, Show a) => Show1 (Biff p f g a)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
Eq (p (f a) (g b)) => Eq (Biff p f g a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
Ord (p (f a) (g b)) => Ord (Biff p f g a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
Read (p (f a) (g b)) => Read (Biff p f g a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
Show (p (f a) (g b)) => Show (Biff p f g a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
Generic (Biff p f g a b)Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
type Rep (Biff p f g a b) = D1 ('MetaData "Biff" "Data.Bifunctor.Biff" "bifunctors-5.6.3-DtuKh4Hx1S9EIe5zKyN5eJ" 'True) (C1 ('MetaCons "Biff" 'PrefixI 'True) (S1 ('MetaSel ('Just "runBiff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (p (f a) (g b)))))Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff
type Rep1 (Biff p f g a) = D1 ('MetaData "Biff" "Data.Bifunctor.Biff" "bifunctors-5.6.3-DtuKh4Hx1S9EIe5zKyN5eJ" 'True) (C1 ('MetaCons "Biff" 'PrefixI 'True) (S1 ('MetaSel ('Just "runBiff") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (p (f a) :.: Rec1 g)))Defined in bifunctors-5.6.3 · Data.Bifunctor.Biff