newtype Clown f a b
Make a Functor over the first argument of a Bifunctor.
Mnemonic: Clowns to the left (parameter of the Bifunctor), jokers to the right.
From the Functional Pearl "Clowns to the Left of me, Jokers to the Right: Dissecting Data Structures" by Conor McBride.
newtype Clown f a bMake a Functor over the first argument of a Bifunctor.
Mnemonic: Clowns to the left (parameter of the Bifunctor), jokers to the right.
Clown :: f a -> Clown f a brunClown :: Clown f a b -> f ainstance (Eq f, Eq a, Eq b) => Eq (Clown f a b)instance (Ord f, Ord a, Ord b) => Ord (Clown f a b)instance (Show f, Show a, Show b) => Show (Clown f a b)instance (Read f, Read a, Read b) => Read (Clown f a b)instance (Generic f, Generic a, Generic b) => Generic (Clown f a b)instance (Generic1 f, Generic1 a, Generic1 b) => Generic1 (Clown f a b)instance (Eq1 f, Eq a) => Eq1 (Clown f a)instance Eq1 f => Eq2 (Clown f)instance (Ord1 f, Ord a) => Ord1 (Clown f a)instance Ord1 f => Ord2 (Clown f)instance (Read1 f, Read a) => Read1 (Clown f a)instance Read1 f => Read2 (Clown f)instance (Show1 f, Show a) => Show1 (Clown f a)instance Show1 f => Show2 (Clown f)instance Functor f => Bifunctor (Clown f)instance Functor (Clown f a)instance Applicative f => Biapplicative (Clown f)instance Foldable f => Bifoldable (Clown f)instance Foldable1 f => Bifoldable1 (Clown f)instance Foldable (Clown f a)instance Traversable f => Bitraversable (Clown f)instance Traversable (Clown f a)Community contribution. The service has not verified this documentation. The generator reported 2 diagnostics.
Target: Linux on x86-64. Some inferred types and resolved links are not available.
Generator: aihc-haddock-aa6debbd-web-3
Metadata snapshot: 09b82df928e064b0f451e3d0573302709a7badfc69fe1ca8110c8d45f2c2865f
Open the dependency plan · Download the documentation model