Speicherung eines monadischen Ausdruck in, es sei denn, oder wenn

Question

ich finde mich oft das Schreiben von Code, der wie folgt aussieht:

import System.Directory (doesFileExist) 
import Control.Monad (unless) 

example = do 
    fileExists <- doesFileExist "wombat.txt" 
    unless fileExists $ putStrLn "Guess I should create the file, huh?" 

Vielleicht ein besserer Weg ist:

example2 = 
    doesFileExist "wombat.txt" >>= 
    (\b -> unless b $ putStrLn "Guess I should create the file, huh?") 

Was hier der beste Ansatz ist?

Answer 1

Ich konnte eine Hilfsfunktion definieren:

unlessM :: Monad m => m Bool -> m() -> m() 
unlessM b s = b >>= (\t -> unless t s) 

example3 = unlessM (doesFileExist "wombat.txt") $ 
    putStrLn "Guess I should create the file, huh?" 

Es scheint wie unlessM sehr nützlich wäre. Aber die Tatsache, dass ich nichts wie unlessM (oder mit dieser Art Signatur) auf Hackage sehe, lässt mich denken, dass es einen besseren Weg gibt, mit dieser Situation umzugehen, eine, die ich noch nicht entdeckt habe. Was machen die coolen Kids?

Answer 2

Ich habe flip unless für solche Fälle verwendet, aber diese Arten von Kombinatoren können ein wenig laut werden. Mit der Erweiterung LambdaCase könnten Sie zumindest vermeiden, einen Namen für das Ergebnis doesFileExist zu verwenden, obwohl dies dazu führen würde, dass das Muster auf True und False gemustert werden müsste, was ein wenig seltsam aussehen könnte (abhängig davon, ob Sie glauben, dass if unnötig ist oder nicht)).

{-# LANGUAGE LambdaCase #-} 
import System.Directory (doesFileExist) 
import Control.Monad (unless) 

example' = 
    doesFileExist "wombat.txt" >>= 
    flip unless (putStrLn "Guess I should create the file, huh?") 

example'' = 
    doesFileExist "wombat.txt" >>= \ case 
    True -> return() 
    False -> putStrLn "Guess I should create the file, huh?"