Portability	portable
Stability	provisional
Maintainer	Edward Kmett <ekmett@gmail.com>
Safe Haskell	None

Data.Bifunctor.Clown

Description

From the Functional Pearl "Clowns to the Left of me, Jokers to the Right: Dissecting Data Structures" by Conor McBride.

Synopsis

Documentation

newtype Clown f a b Source

Make a Functor over the first argument of a Bifunctor.

Constructors

Clown
Fields runClown :: f a

Instances

Foldable f => Bifoldable (Clown f)
(Bifoldable (Clown f), Foldable1 f) => Bifoldable1 (Clown f)
Functor f => Bifunctor (Clown f)
(Bifunctor (Clown f), Apply f) => Biapply (Clown f)
(Bifunctor (Clown f), Bifoldable (Clown f), Traversable f) => Bitraversable (Clown f)
(Bifoldable1 (Clown f), Bitraversable (Clown f), Traversable1 f) => Bitraversable1 (Clown f)
(Bifunctor (Clown f), Applicative f) => Biapplicative (Clown f)
Functor (Clown f a)
Foldable (Clown f a)
(Functor (Clown f a), Foldable (Clown f a)) => Traversable (Clown f a)
Eq (f a) => Eq (Clown f a b)
(Eq (Clown f a b), Ord (f a)) => Ord (Clown f a b)
Read (f a) => Read (Clown f a b)
Show (f a) => Show (Clown f a b)