हास्केल "कुछ भी नहीं" आईओ, या यदि बिना किसी

Question

मैं हास्केल में कुछ ऐसा है जो इस तरह दिखता है क्या करना चाहते हैं:

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

यह अधिक संक्षिप्त है, लेकिन विशेष रूप से वाक्य रचना अच्छा नहीं है। दोबारा, मैं कुछ ऐसा अंतर्दृष्टि खोजने में आश्चर्यचकित नहीं हूं जो पहले से मौजूद है।

ऐसा करने का पसंदीदा तरीका क्या है?

Answer 1

एक इकाई में नो-सेशन करने के लिए सबसे आसान तरीका है:

return() 

हालांकि, विशेष मुहावरा आप कर रहे हैं के लिए, वहाँ एक Combinator पहले से ही आपके लिए बनाया गया है:

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

यह when Combinator वास्तव में अपने doIf Combinator तरह बर्ताव करता है :)

Answer 2

इस मामले में आपको Hoogle का उपयोग कार्यों को खोजने के लिए कर सकते हैं,: when ।

होगल में, आप प्रकार हस्ताक्षर दर्ज कर सकते हैं, और यह प्रकारों को एकजुट करके और तर्कों को पुन: व्यवस्थित करके मानक पुस्तकालयों में मिलान करने वाले कार्यों को खोजने का प्रयास करेगा।

अपने मामले में, आप बस अपने doIf फ़ंक्शन का प्रकार दर्ज कर सकते हैं: Bool -> IO() -> IO() । when यहां तीसरा जवाब है, इसके विपरीत unless भी है।