Кормление монадическое выражение в, если или когда

Question

я часто пишу код, который выглядит следующим образом:

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

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

Возможно, лучший способ это:

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

Какой самый лучший подход здесь?

Answer 1

Я мог бы определить вспомогательную функцию:

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?" 

Похоже unlessM было бы очень полезно. Но тот факт, что я не вижу ничего подобного unlessM (или с этим типом подписи) в Hackage, заставляет меня думать, что есть какой-то лучший способ справиться с этой ситуацией, которую я еще не обнаружил. Что делают крутые дети?

Answer 2

Для таких случаев я использовал flip unless, но эти комбинации комбинаторов могут немного шуметь. С расширением LambdaCase вы могли бы, по крайней мере, избегать использования имени для результата doesFileExist, хотя это привело бы к необходимости сопоставления рисунков на True и False, что может показаться немного странным (в зависимости от того, считаете ли вы, что if не нужно или нет).

{-# 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?"