catMaybes 좋아 하스켈 함수이지만 갖는 형태 [아마] -> 아마 [A]

Question

I는 타입 함수 싶은 :

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

예를 내 f이 Nothing에 대한 매우 심각한 상태에서 그 catMaybes이 Nothing 무시를 제외하고

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

그것은 Data.Maybe에서 catMaybes :: [Maybe a] -> [a] 유사하다.

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

또는

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

Answer 1

당신이 검색하는 기능은 순서라고 :

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

당신은 hoogle 사용하여이 기능을 찾을 수 있습니다 link.

예 :

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

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

주 :이 약간 일반화이다 Data.Traversable에서 sequenceA도하지만, Control.Monad에서 사용 사례 시퀀스에 대한 충분하다.

Answer 2

당신은 Control.Monad에서 sequence를 원하는 : ("실용적 펑"와 같은) 더 관용적 인 방법이 있다면 나는 (아래 그림 참조) 순진하게 f을 구현하지만 궁금 수 .

(이것은 또한 Data.Traversable에 유용한 방법으로 일반화되어있다.)