我正在尋找一種將 [m [a]] 型別轉換為 m [[a]] 的方法,其中 m 是某種型別的 Monad。
uj5u.com熱心網友回復:
您正在尋找Control.Monad.sequence
λ> import Control.Monad (sequence)
λ> sequence [Just [1,2,3], Just [4,5,6], Just [7,8,9]]
Just [[1,2,3],[4,5,6],[7,8,9]]
它的型別是(Traversable t, Monad m) => t (m a) -> m (t a).
專門化t到[]和a到[a],我們得到
sequence :: [m [a]] -> m [[a]]
轉載請註明出處,本文鏈接:https://www.uj5u.com/shujuku/427303.html
