Data.Bifunctor.Joker · rerebase-1.21.2

newtypenewtype Joker (g :: k -> Type) (a :: k1) (b :: k)

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
- runJoker :: g b

Instances32Generic1, Bifoldable, Bifoldable1, Bifunctor, Bitraversable, Eq2, …

Generic1 (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Foldable g => Bifoldable (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Foldable1 g => Bifoldable1 (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Functor g => Bifunctor (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Traversable g => Bitraversable (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Eq1 g => Eq2 (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Ord1 g => Ord2 (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Read1 g => Read2 (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Show1 g => Show2 (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Applicative g => Biapplicative (Joker g)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Apply g => Biapply (Joker g)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
Traversable1 g => Bitraversable1 (Joker g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Functor f => Choice (Joker f)Defined in profunctors-5.6.3 · Data.Profunctor.Choice
Functor f => Profunctor (Joker f)Defined in profunctors-5.6.3 · Data.Profunctor.Unsafe
Invariant g => Invariant2 (Joker g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Functor g => Functor (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Foldable g => Foldable (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Traversable g => Traversable (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Foldable1 g => Foldable1 (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Eq1 g => Eq1 (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Ord1 g => Ord1 (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Read1 g => Read1 (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Show1 g => Show1 (Joker g a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Traversable1 g => Traversable1 (Joker g a)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Invariant g => Invariant (Joker g a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Eq (g b) => Eq (Joker g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Ord (g b) => Ord (Joker g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Read (g b) => Read (Joker g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Show (g b) => Show (Joker g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
Generic (Joker g a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
type Rep (Joker g a b) = D1 ('MetaData "Joker" "Data.Bifunctor.Joker" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "Joker" 'PrefixI 'True) (S1 ('MetaSel ('Just "runJoker") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g b))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker
type Rep1 (Joker g a) = D1 ('MetaData "Joker" "Data.Bifunctor.Joker" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "Joker" 'PrefixI 'True) (S1 ('MetaSel ('Just "runJoker") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)))Defined in bifunctors-5.6.2 · Data.Bifunctor.Joker