Haskell "нічого не робить" IO, або навіть без іншого

Я хочу зробити щось у Haskell, що виглядає так:

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

Очевидно, що це не є законним, оскільки немає else. Я думав про одну альтернативу:

nop :: IO ()
nop = sequence_ []

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

Це трохи багатослівно, але я б погодився на це, якщо потрібно. Я був би здивований, якби не було вбудованої версії nop.

Або:

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

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

Це більш стисло, але синтаксис не особливо приємний. Знову ж таки, я не здивувався б, знайшовши щось вбудоване, що вже існує.

Який найкращий спосіб це зробити?

Найпростіший спосіб зробити відмову в монаді - це:

return ()

Еквівалентно:

pure ()

Однак для конкретної ідіоми, яку ви робите, для вас вже створений комбінатор:

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

Цей whenкомбінатор поводиться точно так само, як ваш doIfкомбінатор :)

Ви можете використовувати Hoogle знайти функції, в даному випадку: when.

У Hoogle ви можете ввести підпис типу, і він спробує знайти відповідні функції в стандартних бібліотеках, об'єднуючи типи та впорядковуючи аргументи.

У вашому випадку ви можете просто ввести тип своєї doIfфункції: Bool -> IO () -> IO () . whenце третя відповідь тут, unlessтам є і її зворотний бік .