एक अनंत सूची

Question

मैं एक नंबर जोड़कर जब तक मैं एक ऐसा नाम है जो अभी तक नहीं है पाया द्वारा एक निर्देशिका का नाम खोजने की कोशिश कर रहा था के साथ filterM का उपयोग कैसे करें मौजूद हैं:

head <$> filterM (fmap not . fexists_) [ getDatedDir t d n | n <- [0..] ] 

इस के साथ समस्या यह है कि कभी नहीं है रिटर्न। मुझे लगता है कि समस्या यह है कि हालांकि आईओ एक फंक्टर है, फिल्टरएम को सिर प्रभाव से पहले सभी आईओ करना है; यानी, यह प्रत्येक एन के लिए fexists का मूल्यांकन करना है - और यह निश्चित रूप से अनंत है।

अब, मैं इस का समाधान कर सकते हैं:

go t d 0 
where go t d n = do 
    let dir = getDatedDir t d n 
    fexists_ dir >>= \case 
     False -> return dir 
     True -> go t d (n+1) 

लेकिन मुझे लगता है कि वहाँ एक और अधिक सुरुचिपूर्ण दृष्टिकोण होने के लिए filterM या कुछ इसी तरह का उपयोग कर चाहिए।

यह एक सामान्य पर्याप्त पैटर्न की तरह लगता है कि शायद नियंत्रण में एक मौजूदा कार्य है। मोनाड, मैं इसे देख नहीं रहा हूं।

Answer 1

वहाँ Control.Monad.Loops से firstM है: एक सूची से

firstM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a) 

वापसी पहले मूल्य, यदि कोई हो, यह देखते हुए विधेय को संतोषजनक।

Answer 2

मोनैड के बिना समकक्ष, find :: Foldable t => (a -> Bool) -> t a -> Maybe a होगा। लेकिन मुझे इसे मोनाड्स के साथ काम करने के लिए एक संस्करण नहीं मिल रहा है।

एक विचार findM खुद को लागू करने की हो सकती है:

import Data.Bool(bool) 

findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a) 
findM f [] = return Nothing 
findM f (x:xs) = f x >>= bool (findM f xs) (return (Just x)) 

फिर आप इसे पसंद का उपयोग कर सकते हैं:

import System.Directory(doesFileExist) 

main = do 
    Just fln <- findM (not . doesDirectoryExist) (map (getDatedDir t d) [0..]) 
    putStrLn fln 

पहले फ़ाइल नाम ऐसा है कि फ़ाइल मौजूद नहीं है मुद्रित करने के लिए। बेशक आप fln को एक अलग तरीके से संसाधित भी कर सकते हैं।