Haskell "do nothing" IO, ou if sans else

Question

Je veux faire quelque chose en Haskell qui ressemble à ça :

main1 = do s <- getLine
           if s == "foo" then putStr "You entered foo"

Évidemment, ce n'est pas légal puisqu'il n'y a pas else . Une alternative à laquelle j'ai pensé :

nop :: IO ()
nop = sequence_ []

main2 = do s <- getLine
           if s == "foo" then putStr "You entered foo" else nop

C'est un peu verbeux, mais je m'en contenterai si nécessaire. Je serais surpris s'il n'y avait pas une version intégrée de nop mais

Alternativement :

doIf :: Bool -> IO () -> IO ()
doIf b m = if b then m else nop

main3 = do s <- getLine
           doIf (s == "foo") (putStr "You entered foo")

C'est plus concis, mais la syntaxe n'est pas particulièrement agréable. Encore une fois, je ne serais pas surpris de trouver quelque chose d'intégré qui existe déjà.

Quelle est la meilleure façon de procéder ?

Answer 1

La façon la plus simple de faire un no-op dans une monade est :

return ()

De manière équivalente :

pure ()

Cependant, pour l'idiome particulier que vous faites, il y a un combinateur déjà fait pour vous :

import Control.Monad
main = do s <- getLine
          when (s == "foo") $ putStr "You entered foo"

Este when se comporte exactement comme votre doIf combinateur :)

Answer 2

Vous pouvez utiliser Hoogle pour trouver des fonctions, dans ce cas : when .

Dans Hoogle, vous pouvez entrer la signature du type, et il essaiera de trouver les fonctions correspondantes dans les bibliothèques standard en unifiant les types et en réordonnant les arguments.

Dans votre cas, vous pouvez simplement entrer le type de votre doIf fonction : [Bool -> IO () -> IO ()](http://haskell.org/hoogle/?hoogle=Bool%20-%3E%20IO%20()%20-%3E%20IO%20()) . when est la troisième réponse ici, son inverse unless est là aussi.