catMaybesのようなHaskellでは関数が、型を有するが、[たぶん] - >たぶん、[A]

Question

私はタイプと機能を持っているしたいと思います：

例えば

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

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

それはそのcatMaybes除き、Data.MaybeでcatMaybes :: [Maybe a] -> [a]に似ている私のfはNothingについて非常に深刻でありながら、Nothingを無視します。私は素朴な方法（下記のように）でfを実装しますが、（「応用的ファンクタ」のように）より多くの慣用的な方法があるかどうか不思議でした：

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をしたいです。

（これも Data.Traversableに便利な方法で一般化されています。）