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 |
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.
Generic1 k1 (Clown k2 k1 f a) Source # | |
Traversable f => Bitraversable (Clown * * f) Source # | |
Foldable f => Bifoldable (Clown * * f) Source # | |
Functor f => Bifunctor (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 # | |
Eq (f a) => Eq (Clown k1 k2 f a b) Source # | |
Ord (f a) => Ord (Clown k1 k2 f a b) Source # | |
Read (f a) => Read (Clown k1 k2 f a b) Source # | |
Show (f a) => Show (Clown k1 k2 f a b) Source # | |
Generic (Clown k1 k2 f a b) Source # | |
type Rep1 k1 (Clown k2 k1 f a) Source # | |
type Rep (Clown k1 k2 f a b) Source # | |