Chức năng trong Haskell rằng thích catMaybes, nhưng có loại [Có lẽ a] -> Có lẽ [a]

Question

Tôi muốn có một chức năng với các loại:

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

ví dụ

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

Nó tương tự như catMaybes :: [Maybe a] -> [a] trong Data.Maybe, ngoại trừ việc catMaybes bỏ qua Nothing, trong khi f của tôi là rất nghiêm túc về Nothing. Tôi có thể thực hiện f một cách ngây thơ (như hình dưới đây), nhưng tự hỏi nếu có cách nhiều thành ngữ (như "functor applicative"):

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

hoặc

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

Answer 1

Chức năng bạn đang tìm kiếm được gọi là trình tự:

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

Bạn có thể tìm thấy chức năng này sử dụng hoogle: link.

Ví dụ:

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

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

Lưu ý: Ngoài ra còn có sequenceA trong Data.Traversable đó là một chút khái quát hóa, nhưng để sử dụng trường hợp chuỗi của bạn từ Control.Monad là đủ.

Answer 2

Bạn muốn sequence từ Control.Monad .

(Điều này cũng được khái quát hóa một cách hữu ích trong Data.Traversable.)