Comment utiliser une instance monoid d'une fonction?

Question

Aujourd'hui, j'ai essayé de réduire une liste de fonctions à l'aide de la classe de types monoid, mais la fonction résultante attend que son argument soit une instance de Monoid pour une raison quelconque.

GHCi me dit que le type de mconcat [id, id, id, id] est Monoid a => a -> a. Pourtant, je m'attendrais à ce que ce soit a -> a.

Que se passe-t-il?

Answer 1

Vous utilisez cette instance:

instance Monoid b => Monoid (a -> b) where 
    mempty _ = mempty 
    mappend f g x = f x `mappend` g x 

qui est plus générale, car elle ne nécessite pas endomorphismes (à savoir a -> a). Pour obtenir l'instance que vous attendiez, vous pouvez envelopper vos fonctions Endo:

appEndo (mconcat [Endo id, Endo id, Endo id, Endo id]) 

ou

appEndo $ mconcat $ fmap Endo [id, id, id, id]