Mélange de lift et de composition

Existe-t-il une méthode dans l’une des nombreuses bibliothèques standards d’Haskell qui fait ça ?

Code:

---

1 2	compose :: Monad m => (b -> c) -> (a -> m b) -> (a -> m c) compose f g x = liftM f (g x)

---

Ce n’est pas le code du siècle, mais je l’utilise relativement souvent et, en règle générale, chaque fois que je ressens le besoin d’une fonction utilitaire en Haskell, je la découvre rapidement dans le standard. Comme ce n’est pas le cas ici, il est possible que mon code soit inutilement alambiqué.

Ta fonction correspond aussi à

Code:

---

(.) . fmap

---

mais je ne pense pas qu'il y ait une fonction toute faite pour ça. Au pire, tu peux te créer un opérateur infixe pour ça et t'en servir à la place pour rendre le code plus clair. Ou alors à coups de

Code:

---

f `compose` g

---

Cela est possible via l'utilisation de la structure de donnée Kleisli:

Code:

---

1 2	newtype Kleisli m a b = Kleisli {runKleisli :: a -> m b}

---

où tu n'auras pas besoin de créer une fonction spécifique vu que Kleisli est un Arrow qui te fourni donc l'opérateur (>>>) qui lui même permet la composition.

Ce bout de code est équivalent à ta fonction compose.

Code:

---

1 2	Kleisli g >>> arr f

---