Funkcja Haskell, który jak catMaybes, ale uwzględniając typ [Może] -> Może [a]

Question

ja jak do funkcji z rodzaju:

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

np

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

Jest ona podobna do catMaybes :: [Maybe a] -> [a] w Data.Maybe, chyba że catMaybes ignoruje Nothing, podczas gdy mój f jest bardzo poważny temat Nothing. mogłaby wdrożyć f w naiwny sposób (jak pokazano poniżej), ale zastanawiam się, czy istnieje bardziej idiomatycznych sposób (na przykład „aplikacyjnej funktora”):

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

lub

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

Answer 1

Funkcja szukasz nazywa się sekwencja:

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

Można znaleźć tej funkcji za pomocą hoogle: link.

Przykład:

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

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

Uwaga: Istnieje również sequenceA w Data.Traversable który jest nieco uogólnić, ale do wykorzystania sekwencji przypadku od Control.Monad wystarczy.

Answer 2

chcesz sequence z Control.Monad .

(Jest to również uogólnić w użyteczny sposób Data.Traversable).