Y at-il une fonction standard pour "faire ceci si juste x"?

Question

J'ai le code suivant:

doIf :: (a -> IO()) -> Maybe a -> IO() 
doIf f x = case x of 
    Just i -> f i 
    Nothing -> return() 

main = do 
    mapM_ (doIf print) [Just 3, Nothing, Just 4] 

qui sorties:

3 
4 

En d'autres termes, les valeurs Just sont imprimées, mais Nothing valeurs provoquent aucune action. (Et n'interrompez pas le calcul.)

Existe-t-il une fonction standard comme celle-ci dans les bibliothèques Haskell? Aussi, cela peut-il être rendu plus générique? J'ai essayé de remplacer IO() avec m b mais alors return() ne fonctionne pas. Comment générez-vous généralement return() pour une monade? (Si possible ..) Peut-on généraliser le Maybe ici?

Enfin, puis-je supprimer complètement la fonction doIf? Puis-je avoir un opérateur < #> qui applique un argument sauf si Nothing?

print <#> Just 3 
print <#> Nothing 

génèrerait

3 

Mais je ne sais pas si cela est possible.

Answer 1

Votre doIf est un cas particulier de Data.Foldable.traverse_.

Vous pouvez généralement trouver ce genre de chose à travers Hoogle, mais il semble être un peu cassé pour le moment. La version de ligne de commande que j'ai installée sur mon système donne Data.Foldable.traverse_ comme premier résultat pour la requête (a -> IO()) -> Maybe a -> IO().

---

Et bien sûr, vous pouvez définir cet opérateur, il est juste (<#>) = doIf (ou (<#>) = Data.Foldable.traverse_).

Answer 2

Jetez un oeil à la fonction:

maybe :: b -> (a -> b) -> Maybe a -> b 

Vous avez presque écrit dans doIf sauf pour le fixe return()

Answer 3

Pourriez-vous faire somthing le long des lignes de:

main = do 
    mapM_ print $ catMaybes [Just 3, Nothing, Just 4] 

Voir la documentation catMaybes.

(NB: code non testé)