sequence関数
Traversable型クラスのmethodの1つ
sequenceAのMonad版
定義
hssequence :: (Traversable t, Monad m) => t (m a) -> m (t a)
sequence = mapM idtraverseを2段階で具体化したような関数
mapMを1段階具体化して、sequenceになっている
だから、traverseの意味がわかれば、sequeceの意味は自動的にわかる
「かなり単純化したtraverse」ぐらいに解釈すれば良い
データ構造
t と計算コンテナ m を入れ替えているだけ使用例
[[a]] を [[a]] へhssequence [[1], [2], [3]] -- [[1,2,3]] [Maybe a] を Maybe [a] へhssequence [Just 5, Just 100] -- Just [5,100]
sequence [Just 5, Nothing, Just 100] -- Nothing