有沒有更好的方法來做Map k [v] - > Maybe（Map k v）？

Question

我想創建一個將Map k [v]（Data.Map.Strict）轉換爲Maybe (Map k v)的函數。

它的作用是這樣的：

• 如果任何名單中沒有一個元素，則函數返回Nothing。
• 如果所有列表都只有一個元素，它將返回包含在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並且如果任何元素是NothingsequenceA的結果也將是Nothing，則結果將是Just。

如果您知道sequence或mapM，sequenceA和traverse只是其中的一般性說明。