Verallgemeinern der "Sequenz" für alle Funktoren?

Question

Ich habe diesen Code:

fmapM :: Monad m => (a -> m b) -> (t, a) -> m (t, b) 
fmapM f (id, e) = do 
    ev <- f e 
    return (id, ev) 

, die im Grunde die Funktion in dem Tupel dem zweiten Element gilt und dann „Extrakte“ die Monade. Da das Tupel ein Funktor ist, gibt es eine Möglichkeit, dies für alle Funktoren zu verallgemeinern? Ich kann eine Implementierung nicht denken, aber die Art Unterschrift sein sollte:

fmapM :: (Monad m, Functor f) => (a -> m b) -> f a -> m f b 

es wie der zweite Schritt scheinen würde eine „Sequenz“ Operation wäre, der die Monade Auszüge aus einem anderen Funktors (die Liste). Aber die Reihenfolge ist nicht für alle Funktoren verallgemeinert. Können Sie eine generische Implementierung von fmapM erstellen?

Bearbeiten: Ich habe festgestellt, dass eine alte Version von Umarmungen diese Funktion implementiert hatte. Ich kann den Code jedoch nicht finden. Jetzt wird vorgeschlagen, dass ich faltbar/traversable benutze, um dasselbe zu erreichen.

Answer 1

Die Funktion, die Sie suchen ist traverse, von Data.Traversable:

traverse :: (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b) 

Beachten Sie, dass Sie nicht traverse jede Functor - zum Beispiel, (r ->) - so gibt es eine separate Unterklasse von Traversable functors ist. Beachten Sie auch, dass Sie nicht benötigen Monad - nur Applicative (diese Generalisierung ist nützlich).