Data.Bifunctor.Clown · rerebase-1.21.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

Instances30Generic1, 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
Apply f => Biapply (Clown f)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
Traversable1 f => Bitraversable1 (Clown f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Contravariant f => Strong (Clown f)Defined in profunctors-5.6.3 · Data.Profunctor.Strong
Contravariant f => Profunctor (Clown f)Defined in profunctors-5.6.3 · Data.Profunctor.Unsafe
Invariant f => Invariant2 (Clown f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
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
Invariant (Clown f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
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