Data.Bifunctor.Biff

Documentation

newtype Biff p f g a b

Compose two Functors on the inside of a Bifunctor.

Constructors

Biff

Fields

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

Instances

(Bifunctor p, Functor f, Functor g) => Bifunctor (Biff p f g)

(Bifoldable p, Foldable f, Foldable g) => Bifoldable (Biff p f g)

(Bitraversable p, Traversable f, Traversable g) => Bitraversable (Biff p f g)

(Biapplicative p, Applicative f, Applicative g) => Biapplicative (Biff p f g)

(Bifunctor p, Functor g) => Functor (Biff p f g a)

(Bifoldable p, Foldable g) => Foldable (Biff p f g a)

(Bitraversable p, Traversable g) => Traversable (Biff p f g a)

Eq (p (f a) (g b)) => Eq (Biff p f g a b)

Ord (p (f a) (g b)) => Ord (Biff p f g a b)

Read (p (f a) (g b)) => Read (Biff p f g a b)

Show (p (f a) (g b)) => Show (Biff p f g a b)