Data.Bifunctor.Joker

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

Documentation

newtype Joker g a b

Make a Functor over the first argument of a Bifunctor.

Constructors

Joker

Fields

runJoker :: g b

Instances

Foldable g => Bifoldable (Joker g)

(Bifoldable (Joker g), Foldable1 g) => Bifoldable1 (Joker g)

Functor g => Bifunctor (Joker g)

(Bifunctor (Joker g), Apply g) => Biapply (Joker g)

(Bifunctor (Joker g), Bifoldable (Joker g), Traversable g) => Bitraversable (Joker g)

(Bifoldable1 (Joker g), Bitraversable (Joker g), Traversable1 g) => Bitraversable1 (Joker g)

(Bifunctor (Joker g), Applicative g) => Biapplicative (Joker g)

Functor g => Functor (Joker g a)

Foldable g => Foldable (Joker g a)

(Functor (Joker g a), Foldable (Joker g a), Traversable g) => Traversable (Joker g a)

(Foldable1 (Joker g a), Traversable (Joker g a), Traversable1 g) => Traversable1 (Joker g a)

(Foldable (Joker g a), Foldable1 g) => Foldable1 (Joker g a)

Eq (g b) => Eq (Joker g a b)

(Eq (Joker g a b), Ord (g b)) => Ord (Joker g a b)

Read (g b) => Read (Joker g a b)

Show (g b) => Show (Joker g a b)