Data.Bifunctor.Clown · bifunctors-5.6.2

newtypenewtype Clown (f :: k -> Type) (a :: k) (b :: k1)

Make a Functor over the first argument of a Bifunctor.

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

Constructors

Clown
- runClown :: f a

Instances24Generic1, Bifoldable, Bifoldable1, Bifunctor, Bitraversable, Eq2, …

Generic1 (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Foldable f => Bifoldable (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Foldable1 f => Bifoldable1 (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Functor f => Bifunctor (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Traversable f => Bitraversable (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Eq1 f => Eq2 (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Ord1 f => Ord2 (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Read1 f => Read2 (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Show1 f => Show2 (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Applicative f => Biapplicative (Clown f)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Functor (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Foldable (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Traversable (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
(Eq1 f, Eq a) => Eq1 (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
(Ord1 f, Ord a) => Ord1 (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
(Read1 f, Read a) => Read1 (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
(Show1 f, Show a) => Show1 (Clown f a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Eq (f a) => Eq (Clown f a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Ord (f a) => Ord (Clown f a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Read (f a) => Read (Clown f a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Show (f a) => Show (Clown f a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
Generic (Clown f a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
type Rep (Clown f a b) = D1 ('MetaData "Clown" "Data.Bifunctor.Clown" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "Clown" 'PrefixI 'True) (S1 ('MetaSel ('Just "runClown") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown
type Rep1 (Clown f a) = D1 ('MetaData "Clown" "Data.Bifunctor.Clown" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "Clown" 'PrefixI 'True) (S1 ('MetaSel ('Just "runClown") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Clown