Data.Bifunctor.Tannen

Documentation

newtype Tannen f p a b

Compose a Functor on the outside of a Bifunctor.

Constructors

Tannen

Fields

runTannen :: f (p a b)

Instances

(Foldable f, Bifoldable p) => Bifoldable (Tannen f p)

(Functor f, Bifunctor p) => Bifunctor (Tannen f p)

(Traversable f, Bitraversable p) => Bitraversable (Tannen f p)

(Applicative f, Biapplicative p) => Biapplicative (Tannen f p)

(Functor f, Bifunctor p) => Functor (Tannen f p a)

(Foldable f, Bifoldable p) => Foldable (Tannen f p a)

(Traversable f, Bitraversable p) => Traversable (Tannen f p a)

Eq (f (p a b)) => Eq (Tannen f p a b)

Ord (f (p a b)) => Ord (Tannen f p a b)

Read (f (p a b)) => Read (Tannen f p a b)

Show (f (p a b)) => Show (Tannen f p a b)