catMaybes gibi Haskell işlev ancak sahip olan tip [Belki] -> Belki [a]

Question

I tip bir işlev gibi olacaktır:

f :: [Maybe a] -> Maybe [a] 

ör Benim fNothing hakkında çok ciddi iken bu catMaybes, Nothing görmezden hariç

f [Just 3, Just 5] == Just [3, 5] 
f [Just 3, Nothing] == Nothing 
f [] == Just [] 

Bu Data.Maybe içinde catMaybes :: [Maybe a] -> [a] benzer.

f :: [Maybe a] -> Maybe [a] 
f xs = let ys = catMaybes xs 
     in if length ys == length xs 
      then Just ys 
      else Nothing 

veya

f :: [Maybe a] -> Maybe [a] 
f xs = if all isJust xs 
     then catMaybes xs 
     else Nothing 

Answer 1

aradığınız işlev dizisi denir:

sequence :: (Monad m) => [m a] -> m [a] 

Sen hoogle kullanarak bu işlevi bulabilirsiniz: link.

Örnek:

>>> sequence [Just 3, Just 5] 
Just [3,5] 

>>> sequence [] :: Maybe [Int] 
Just [] 

Not: Orada biraz genelleştirilmiş olduğu Data.Traversable yılında sequenceA da, ancak Control.Monad adresinin kullanım durumu dizisi için yeterlidir.

Answer 2

Sen Control.Monad den sequence istiyorum: ("uygulamalı funktor" gibi) daha deyimsel yolu olup olmadığını (aşağıda gösterildiği gibi) bir naif bir şekilde f uygulamak, fakat merak olabilir .

(Bu ayrıca Data.Traversable yararlı bir şekilde genelleştirilmiş edilir.)