Karmienie jednowartościowy wyraz w chyba albo gdy

Question

często znaleźć samodzielnie pisania kodu, który wygląda tak:

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

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

Być może lepszym sposobem jest:

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

Co to jest najlepszym podejściem tutaj?

Answer 1

mogę zdefiniować funkcję pomocniczą:

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

Wydaje się unlessM byłby bardzo przydatny. Ale fakt, że nie widzę czegoś takiego jak unlessM (lub z tym typem podpisu) w Hackage, pozwala mi sądzić, że istnieje lepszy sposób na rozwiązanie tej sytuacji, której jeszcze nie odkryłem. Co robią te fajne dzieciaki?

Answer 2

Do takich przypadków użyłem flip unless, ale tego typu kombinatory mogą być trochę hałaśliwe. Z rozszerzeniem LambdaCase możesz przynajmniej unikać używania nazwy dla wyniku doesFileExist, ale może to skutkować koniecznością dopasowania wzorców na True i False, co może wyglądać trochę dziwnie (w zależności od tego, czy uważasz, że if jest niepotrzebne czy nie).

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