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.Joker

Description

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

Synopsis

Documentation

newtype Joker g a b Source

Make a Functor over the second argument of a Bifunctor.

Mnemonic: Clowns to the left (parameter of the Bifunctor), jokers to the right.

Constructors

Joker
Fields runJoker :: g b

Instances

Functor g => Bifunctor (Joker * * g) Source
Foldable g => Bifoldable (Joker * * g) Source
Traversable g => Bitraversable (Joker * * g) Source
Applicative g => Biapplicative (Joker * * g) Source
Functor g => Functor (Joker k * g a) Source
Foldable g => Foldable (Joker k * g a) Source
Traversable g => Traversable (Joker k * g a) Source
Generic1 (Joker k * g a) Source
Eq (g b) => Eq (Joker k k g a b) Source
Ord (g b) => Ord (Joker k k g a b) Source
Read (g b) => Read (Joker k k g a b) Source
Show (g b) => Show (Joker k k g a b) Source
Generic (Joker k k g a b) Source
type Rep1 (Joker k k1 g a) Source
type Rep (Joker k k1 g a b) Source