地図k [v] - >多分（地図k v）を行う良い方法はありますか？

Question

Map k [v]（Data.Map.Strict）をMaybe (Map k v)に変換する関数を作成したいとします。それは何

はこれです：リストのいずれかが正確に一つの要素を持っていない場合は

• 、機能はNothingを返します。
• すべてのリストにちょうど1つの要素がある場合は、Justにラップされた予想マップを返します。

私は考えることができる唯一のことは、foldrWithKey'またはfoldlWithKey'を使って手動でこれを行うことです。より良い方法がありますか？

Answer 1

あなたはtraverse :: (Traverseable t, Applicative f) => (a -> f b) -> t a -> f (t b)をData.Traversable（ただし、プレリュード）から探しています。

justOne :: [a] -> Maybe a 
justOne [x] = Just x 
justOne _ = Nothing 

allJustOne :: Map k [v] -> Maybe (Map k v) 
allJustOne = traverse justOne 

traverse fはおそらく最高sequenceA . fmap fとして理解されています。他方、sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)は、Traversable構造から適用的な「効果」を引き出す方法です。たとえば、sequenceA :: [IO a] -> IO [a]でIOのアクションのリストを実行するとします。あるいは、Maybeの場合、結果はTraversableのすべての要素がJustであり、いずれかの要素がNothingであれば、の結果もNothingとなります。

sequenceまたはmapMをご存知の場合は、sequenceAとtraverseはそれらの一般化です。