PureScript'te bir not değerinin bir nottan nasıl döndürebilirim?

Question

Notu kullanan bir işlevden bir Belki değeri döndürmeye çalışıyorum, ancak çalışmayı başaramıyorum. Bu fonksiyon, bir dize ("filename") ve aramak için Path ...

findIn :: String -> Path -> Maybe Path 
findIn search start = do 
    file <- ls start 
    if ((filename file) == search) 
     then Just file 
     else Nothing 

...

ls :: Path -> Array Path 
filename :: Path -> String 

alır Ama Tip Diziyi eşleşmiyor Kont" hata almaya devam Belki de "ile" derleyicinin bir diziyi döndürmek için notasyon yapmasını beklediğine benziyor. Belki bir değeri nasıl iade edebilirim?

Answer 1

Monad'ları böyle karıştırmazsınız.

Eğer yazarken:

file <- ls start 

biraz demek gibi "dizisindeki her değer file için ..." Birden olası değerleri bağlamında bu yüzden.

Ancak kodun geri kalanı yalnızca bir (veya sıfır) değeri kaldırabilen Maybe bağlamındadır.

Data.Foldable modülünde, bazı ölçütlerle eşleşen tek bir öğeyi arayarak, ana işlevinizin çalışmasını toplu olarak yapan bir find işlevi vardır. Onun gerçek tip daha genel olmakla dizilere kısıtlı zaman bu gibi:

find :: forall a. (a -> Boolean) -> Array a -> Maybe a 

Sonra sadece yazabilirsiniz:

findIn search start = find (\x => x == search) $ ls start 

Answer 2

Tamam, işe yarayan bir şey buldum, ancak ideal olup olmadığından emin değilim. do-notasyonu tipi Array (Belki Yolu) değerini döndürür gibi

findIn :: String -> Path -> Maybe Path 
findIn search start = if (length r == 1) 
         then head r 
         else Nothing 
    where 
    r = do 
     file <- ls start 
     guard $ (filename file) == search 
     [file] 

Yani görünüyor.