| Copyright | (C) 2008-2016 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
Data.Bifunctor.Clown
Description
From the Functional Pearl "Clowns to the Left of me, Jokers to the Right: Dissecting Data Structures" by Conor McBride.
Documentation
Make a Functor over the first argument of a Bifunctor.
Mnemonic: Clowns to the left (parameter of the Bifunctor), jokers to the right.
Instances
| Functor f => Bifunctor (Clown * * f) Source | |
| Foldable f => Bifoldable (Clown * * f) Source | |
| Traversable f => Bitraversable (Clown * * f) Source | |
| Applicative f => Biapplicative (Clown * * f) Source | |
| Functor (Clown * k f a) Source | |
| Foldable (Clown * k f a) Source | |
| Traversable (Clown * k f a) Source | |
| Generic1 (Clown * k f a) Source | |
| Eq (f a) => Eq (Clown k k f a b) Source | |
| Ord (f a) => Ord (Clown k k f a b) Source | |
| Read (f a) => Read (Clown k k f a b) Source | |
| Show (f a) => Show (Clown k k f a b) Source | |
| Generic (Clown k k f a b) Source | |
| type Rep1 (Clown k k1 f a) Source | |
| type Rep (Clown k k1 f a b) Source |